public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6

Browse Source
This commit is contained in:
Vincent Laporte 2017-10-22 20:48:18 +00:00
parent 6a44365573
commit 4ace0daa21
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/coq-modules/fiat/HEAD.nix
View File

@ -30,6 +30,7 @@ stdenv.mkDerivation rec {
description = "A library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications"; description = "A library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications";
maintainers = with maintainers; [ jwiegley ]; maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms; platforms = coq.meta.platforms;
broken = stdenv.lib.versionAtLeast coq.coq-version "8.6";
}; };
} }