diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-15 14:12:42 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-03-18 09:52:01 +0100 |
| commit | 2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f (patch) | |
| tree | aa8e03228ffe544da0fee19a9b0daccd3837e2c3 /pkgs/development/coq-modules | |
| parent | ff43f0a7b51a21b06086cfc91de1c81512cfa0e1 (diff) | |
| download | nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar.gz nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar.bz2 nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar.lz nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar.xz nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.tar.zst nixpkgs-2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f.zip | |
coqPackages.coq-simple-io: 0.2 -> 1.0.0
coqPackages.QuickChick: 1.0.2 -> 20190311
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 6 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/simple-io/default.nix | 12 |
2 files changed, 10 insertions, 8 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 96954eb43ac..ee1aeb1503e 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -21,9 +21,9 @@ let params = }; "8.8" = rec { preConfigure = "substituteInPlace Makefile --replace quickChickTool.byte quickChickTool.native"; - version = "1.0.2"; - rev = "v${version}"; - sha256 = "1mcbsp07ra3gdcmir36pf27ig3xv8nagyfp7w5pwqi4gj9w81ffn"; + version = "20190311"; + rev = "22af9e9a223d0038f05638654422e637e863b355"; + sha256 = "00rnr19lg6lg0haq1sy4ld38p7imzand6fc52fvfq27gblxkp2aq"; buildInputs = with coq.ocamlPackages; [ ocamlbuild num ]; propagatedBuildInputs = [ coq-ext-lib simple-io ]; }; diff --git a/pkgs/development/coq-modules/simple-io/default.nix b/pkgs/development/coq-modules/simple-io/default.nix index b945e7c9a86..6ed343952f2 100644 --- a/pkgs/development/coq-modules/simple-io/default.nix +++ b/pkgs/development/coq-modules/simple-io/default.nix @@ -1,18 +1,20 @@ -{ stdenv, fetchFromGitHub, coq }: +{ stdenv, fetchFromGitHub, coq, coq-ext-lib }: stdenv.mkDerivation rec { - version = "0.2"; + version = "1.0.0"; name = "coq${coq.coq-version}-simple-io-${version}"; src = fetchFromGitHub { owner = "Lysxia"; repo = "coq-simple-io"; rev = version; - sha256 = "1sbcf57gn134risiicpbxsf4kbzdq7klfn4vn8525kahlr82l65f"; + sha256 = "06gnbl8chv6ig18rlxnp8gg0np6863kxd7j15h46q0v1cnpx84lp"; }; buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml ocamlbuild ]); - doCheck = !stdenv.lib.versionAtLeast coq.coq-version "8.9"; + propagatedBuildInputs = [ coq-ext-lib ]; + + doCheck = true; checkTarget = "test"; installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; @@ -26,7 +28,7 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.7"; }; } |