ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-26 12:53:59 +03:00
Code Issues Projects Releases Wiki Activity
e006c2fd49
nixpkgs/pkgs/applications/science/logic/coq
History
Russell O'Connor c9f5959285 Update Coq to version 8.4pl2.
2013-06-14 12:16:52 -04:00
..
8.3.nix Fixing configure patch for coq 8.3. 2012-08-19 01:11:11 -04:00
configure.8.3.patch Update coq to 8.4 2012-08-19 01:01:30 -04:00
configure.patch Update coq to 8.4 2012-08-19 01:01:30 -04:00
default.nix Update Coq to version 8.4pl2. 2013-06-14 12:16:52 -04:00