Files
nixpkgs/pkgs/applications
Pascal Wittmann 87e6b3b862 Merge pull request #7390 from vbgl/coq-84pl6
coq: update from 8.4pl5 to 8.4pl6
2015-04-16 17:39:50 +02:00
..
2015-04-07 11:01:01 -03:00
2015-04-15 21:36:06 +01:00
2015-01-19 16:18:01 +01:00
2015-04-16 05:44:23 +02:00
2015-04-15 18:20:50 -07:00
2015-04-15 07:18:08 +02:00
2015-02-07 20:29:28 -08:00
2015-03-04 22:15:46 +01:00