John Wiegley 1ba4d23c3a Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27" ... This reverts commit f5f71c08cd, due to insufficient testing.		2018-10-10 10:00:23 -07:00
..
HEAD.nix	Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"	2018-10-10 10:00:23 -07:00