Vincent Laporte 5a043e24da coqPackages_8_4.fiat: remove

2017-12-02 08:46:16 +00:00

..

HEAD.nix

coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6

2017-10-22 20:48:18 +00:00