nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-20 15:41:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.charon: 2026.07.01 -> 2026.07.16

Browse Source
This commit is contained in:
R. Ryantm
2026-07-10 21:55:48 +00:00
committed by Gaetan Lepage
parent 413a619344
commit 5349cbc9bb
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/charon/default.nix
View File

@@ -16,14 +16,14 @@
buildDunePackage (finalAttrs: {
pname = "charon";
version = "2026.07.01";
version = "2026.07.16";
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "AeneasVerif";
repo = "charon";
tag = "nightly-${finalAttrs.version}";
hash = "sha256-luHH/Bj5MfeIrjkxBP4sCNa4mQZwJLcFhsuWaJQP5E0=";
hash = "sha256-n0dY7T8HMbNPTibD53Vpd4ZS/0KNqEfazPJJxy4Uk3g=";
};
propagatedBuildInputs = [