gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.charon: 2026.06.12 -> 2026.06.14 (#531643)

Browse Source
This commit is contained in:
Gaétan Lepage
2026-06-14 13:02:26 +00:00
committed by GitHub
parent 71bc06116a 589c5f0938
commit ff1d209d7a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/charon/default.nix
+2 -2
View File
@@ -16,14 +16,14 @@
buildDunePackage (finalAttrs: {
pname = "charon";
version = "2026.06.12";
version = "2026.06.14";
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "AeneasVerif";
repo = "charon";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-XCNDFJ8HakRBQ68rWB29R5RF7zhmqmNMna098SvXDE0=";
hash = "sha256-EZ1Ueco4vK4mUKyOGXXHgToNLMp+1W7095HyU+1zQ2Q=";
};
propagatedBuildInputs = [