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/QuickChick/default.nix | |
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/QuickChick/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 6 |
1 files changed, 3 insertions, 3 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 ]; }; |