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

ocamlPackages.hacl-star: 0.7.1 → 0.7.2

Browse Source
This commit is contained in:
Vincent Laporte 2024-10-10 06:48:52 +02:00
parent 513edfea64
commit 2ef8b07228
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/ocaml-modules/hacl-star/raw.nix
View File

@ -10,11 +10,11 @@
}:
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-hacl-star-raw";
version = "0.7.1";
version = "0.7.2";
src = fetchzip {
url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
hash = "sha256-TcAEaJou4BOVXSz5DYewzKfvIpjXmhLAlgF0hlq3ToQ=";
hash = "sha256-6WPbdkT9IsX0Q8mF2vLBJMktEES8tU45JztOPepAL0o=";
stripRoot = false;
};
@ -25,10 +25,7 @@ stdenv.mkDerivation rec {
# strictoverflow is disabled because it breaks aarch64-darwin
hardeningDisable = [ "strictoverflow" ];
# Compatibility with ctypes ≥ 0.21
# see: https://github.com/cryspen/hacl-packages/commit/81303b83a54a92d3b5f54f1b8ddbea60438cc2bf
postPatch = ''
substituteInPlace hacl-star-raw/META --replace-warn 'requires="ctypes"' 'requires="ctypes ctypes.stubs"'
patchShebangs ./
'';