nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 02:03:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
d08ca1a88c
nixpkgs/pkgs/development/coq-modules/fiat
History
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