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

ocamlPackages.charon: 2026.06.22 -> 2026.07.01

Browse Source
This commit is contained in:
R. Ryantm
2026-07-01 18:39:28 +00:00
committed by Gaetan Lepage
parent c7d02e13a3
commit acf7edcb2d
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.22";
version = "2026.07.01";
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "AeneasVerif";
repo = "charon";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-Wz2iVkHZLHwgIycHTNCmST5gizupU3xGTo0scfdq8T0=";
hash = "sha256-luHH/Bj5MfeIrjkxBP4sCNa4mQZwJLcFhsuWaJQP5E0=";
};
propagatedBuildInputs = [