diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-02-08 08:05:31 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-02-15 10:03:39 +0100 |
| commit | 86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8 (patch) | |
| tree | 85b4135b22d7a05b20824ae8e7f5ff2c524e6acb /pkgs/development/coq-modules | |
| parent | 1613f3db274f76b1a9c850252f1f48449bbc5d34 (diff) | |
| download | nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar.gz nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar.bz2 nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar.lz nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar.xz nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.tar.zst nixpkgs-86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8.zip | |
coqPackages.flocq: 3.0.0 -> 3.1.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/flocq/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/flocq/default.nix b/pkgs/development/coq-modules/flocq/default.nix index 6c0be377bc0..09fbd580845 100644 --- a/pkgs/development/coq-modules/flocq/default.nix +++ b/pkgs/development/coq-modules/flocq/default.nix @@ -2,9 +2,9 @@ let params = if stdenv.lib.versionAtLeast coq.coq-version "8.7" then { - version = "3.0.0"; - uid = "37477"; - sha256 = "1h05ji5cmyqyv2i1l83xgkm7vfvcnl8r1dzvbp5yncm1jr9kf6nn"; + version = "3.1.0"; + uid = "37901"; + sha256 = "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"; } else { version = "2.6.1"; uid = "37454"; @@ -46,6 +46,6 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ]; }; } |