diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-15 19:52:16 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:36 +0000 |
commit | d9f41a5bcee2f81c851bb060d287f6bc80986973 (patch) | |
tree | 298fea7df66cf32fa1255dab1af6d40ede11e435 /pkgs/development/coq-modules/fiat | |
parent | 3b367119ee2fbdc63abfab1047bd5bafdcaafb20 (diff) | |
download | nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.gz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.bz2 nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.lz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.xz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.zst nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.zip |
coqPackages: move to a separate file and filter the package set
Diffstat (limited to 'pkgs/development/coq-modules/fiat')
-rw-r--r-- | pkgs/development/coq-modules/fiat/HEAD.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/fiat/HEAD.nix b/pkgs/development/coq-modules/fiat/HEAD.nix index dc411763da5c..b970747c7726 100644 --- a/pkgs/development/coq-modules/fiat/HEAD.nix +++ b/pkgs/development/coq-modules/fiat/HEAD.nix @@ -30,7 +30,9 @@ stdenv.mkDerivation rec { description = "A library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications"; maintainers = with maintainers; [ jwiegley ]; platforms = coq.meta.platforms; - broken = stdenv.lib.versionAtLeast coq.coq-version "8.6"; }; + passthru = { + compatibleCoqVersions = v: v == "8.5"; + }; } |