diff options
author | Alyssa Ross <hi@alyssa.is> | 2019-03-22 23:34:04 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2019-04-13 17:34:23 +0000 |
commit | 41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e (patch) | |
tree | 28aa38e222bc0ace9be6440cd66255b65690fb88 /nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix | |
parent | 9b7e3c15392a628ca748f9452016e4a6b02fe98f (diff) | |
parent | 373488e6f4c3dc3bb51cabcb959e4a70eb5d7b2c (diff) | |
download | nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar.gz nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar.bz2 nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar.lz nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar.xz nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.tar.zst nixlib-41bbe979b4dbb8a67f2d4f8c0e4975debb90dd6e.zip |
Merge commit '373488e6f4c3dc3bb51cabcb959e4a70eb5d7b2c'
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix b/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix index 96954eb43ace..ee1aeb1503e0 100644 --- a/nixpkgs/pkgs/development/coq-modules/QuickChick/default.nix +++ b/nixpkgs/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 ]; }; |