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