diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-07-29 06:40:34 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-05 09:21:02 +0000 |
commit | bc1417c5578002a8349f04329a9510f643b24500 (patch) | |
tree | ea9cad7af765e4fe1068ceaa3870bf4b1bf4dd83 /pkgs/development/coq-modules/flocq | |
parent | c4d3c5e3d59079c05ae38a59ba2d1240ab4f73a4 (diff) | |
download | nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.gz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.bz2 nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.lz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.xz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.zst nixlib-bc1417c5578002a8349f04329a9510f643b24500.zip |
coqPackages.flocq: 3.1.0 -> 3.2.0
Ensures compatibility with Coq 8.10
Diffstat (limited to 'pkgs/development/coq-modules/flocq')
-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 09fbd5808459..6e2ec3626fb9 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.1.0"; - uid = "37901"; - sha256 = "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"; + version = "3.2.0"; + uid = "38103"; + sha256 = "1snvzyyj6l1fv7nb70x5w8rjnhk483g9x8gszl9ls8qn2gd35fs0"; } 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" "8.9" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" ]; }; } |