Austin Seipp
|
c0f779ceee
|
coq: add myself to maintainer list.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2014-03-07 20:52:33 -06:00 |
|
Austin Seipp
|
fa118fc677
|
coq: 8.4pl2 -> 8.4pl3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2014-03-07 20:52:26 -06:00 |
|
Gergely Risko
|
b43347342b
|
Add platforms to coq, so it's built on Hydra
|
2013-08-28 21:35:07 +02:00 |
|
Russell O'Connor
|
c9f5959285
|
Update Coq to version 8.4pl2.
|
2013-06-14 12:16:52 -04:00 |
|
Russell O'Connor
|
706cbc9318
|
Update coq to 8.4
|
2012-08-19 01:01:30 -04:00 |
|
Russell O'Connor
|
417a07a0e9
|
Updatings ssreflect to depend on camlp5 version 6.
svn path=/nixpkgs/trunk/; revision=34263
|
2012-05-28 20:53:17 +00:00 |
|
Russell O'Connor
|
cfc8538326
|
Updating coq and ssreflect to patch level 4.
svn path=/nixpkgs/trunk/; revision=34146
|
2012-05-16 22:04:02 +00:00 |
|
Marco Maggesi
|
699de0f3f9
|
Fix building of Coq and update to version 8.3pl3. (Forgot to save files)
svn path=/nixpkgs/trunk/; revision=33195
|
2012-03-17 16:30:23 +00:00 |
|
Marco Maggesi
|
af37461b11
|
Fix building of Coq and update to version 8.3pl3.
svn path=/nixpkgs/trunk/; revision=33194
|
2012-03-17 16:26:20 +00:00 |
|
Shea Levy
|
4d70ba6cc9
|
Merge from trunk up through r28790
svn path=/nixpkgs/branches/stdenv-updates/; revision=28792
|
2011-08-24 19:16:43 +00:00 |
|
Russell O'Connor
|
bec1a9c44f
|
update coq to 8.3pl1
update ssreflect to 1.3pl1
svn path=/nixpkgs/trunk/; revision=26692
|
2011-04-05 11:59:25 +00:00 |
|
Marco Maggesi
|
436e1d72a7
|
* Coq: fix compilation of coqide (path to lablgkt)
svn path=/nixpkgs/trunk/; revision=25360
|
2011-01-03 13:49:15 +00:00 |
|
Michael Raskin
|
e55aa52856
|
Fix lablgtk reference
svn path=/nixpkgs/trunk/; revision=25341
|
2011-01-02 17:25:18 +00:00 |
|
Eelco Dolstra
|
c14382cb45
|
* Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
|
2010-12-21 15:14:33 +00:00 |
|
Marco Maggesi
|
e7accaf8d3
|
* Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
|
2010-12-20 10:32:22 +00:00 |
|
Michael Raskin
|
3c452363ce
|
Use a patch to fix make 3.82 build of Coq
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
|
2010-11-23 05:54:58 +00:00 |
|
Marco Maggesi
|
0430167083
|
Update Coq
svn path=/nixpkgs/trunk/; revision=24597
|
2010-11-04 11:24:27 +00:00 |
|
Marco Maggesi
|
c0f343b752
|
Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
|
2010-08-05 18:44:42 +00:00 |
|
Peter Simons
|
1295493b18
|
pkgs/applications/science/logic/coq: install coqide libraries
Patch courtesy of Russell O'Connor.
svn path=/nixpkgs/trunk/; revision=21838
|
2010-05-18 13:40:19 +00:00 |
|
Marco Maggesi
|
a0207b3dc7
|
Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
|
2009-11-02 11:44:27 +00:00 |
|
Andres Löh
|
12ca68d114
|
Added a preliminary expression for Coq (no IDE support yet).
svn path=/nixpkgs/trunk/; revision=11983
|
2008-06-04 15:10:05 +00:00 |
|