Files
nixpkgs/pkgs/development/coq-modules
Vincent Laporte 22bc910c1a coq-fiat: do not run tests on i686
as they require too much memory
2015-07-09 00:15:24 +02:00
..
2015-05-29 11:42:45 +02:00
2015-07-09 00:15:24 +02:00
2015-04-30 18:17:42 +02:00
2014-10-11 22:01:46 -05:00
2014-12-08 09:15:13 +01:00
2015-04-30 18:17:42 +02:00
2015-06-02 13:53:17 +02:00
2015-04-28 10:55:20 +02:00
2015-04-30 18:17:42 +02:00