easycrypt: 2022.04 → 2023.09
This commit is contained in:
parent
fcc436430f
commit
368f95104b
@ -1,25 +1,16 @@
|
|||||||
{ lib, stdenv, fetchFromGitHub, fetchpatch, ocamlPackages, why3 }:
|
{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3 }:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "easycrypt";
|
pname = "easycrypt";
|
||||||
version = "2022.04";
|
version = "2023.09";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = pname;
|
owner = pname;
|
||||||
repo = pname;
|
repo = pname;
|
||||||
rev = "r${version}";
|
rev = "r${version}";
|
||||||
sha256 = "sha256:09rdwcj70lkamkhd895p284rfpz4bcnsf55mcimhiqncd2a21ml7";
|
hash = "sha256-9xavU9jRisZekPqC87EyiLXtZCGu/9QeGzq6BJGt1+Y=";
|
||||||
};
|
};
|
||||||
|
|
||||||
patches = lib.lists.map fetchpatch [
|
|
||||||
# Fix build with Why3 1.5
|
|
||||||
{ url = "https://github.com/EasyCrypt/easycrypt/commit/d226387432deb7f22738e1d5579346a2cbc9be7a.patch";
|
|
||||||
hash = "sha256:1zvxij35fnr3h9b5wdl8ml17aqfx3a39rd4mgwmdvkapbg3pa4lm"; }
|
|
||||||
# Fix build with Why3 1.6
|
|
||||||
{ url = "https://github.com/EasyCrypt/easycrypt/commit/876f2ed50a0434afdf2fb20e7c50b8a3e26bb06e.patch";
|
|
||||||
hash = "sha256-UycfLZWYHNsppb7qHSRaAF4Y0UnwoFueEG0wUcBUPYE="; }
|
|
||||||
];
|
|
||||||
|
|
||||||
nativeBuildInputs = with ocamlPackages; [
|
nativeBuildInputs = with ocamlPackages; [
|
||||||
dune_3
|
dune_3
|
||||||
findlib
|
findlib
|
||||||
|
Loading…
Reference in New Issue
Block a user