summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq
Commit message (Expand)AuthorAge
* Fix many package descriptionsBjørn Forsman2014-08-24
* coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley2014-08-16
* Add an expression for building Coq HEADJohn Wiegley2014-08-08
* Merge pull request #2514 from jwiegley/coqAustin Seipp2014-05-17
|\
| * Make Coq buildable on any UnixJohn Wiegley2014-05-05
* | Bump coq version to 8.4pl4.Russell O'Connor2014-05-12
|/
* coq: add myself to maintainer list.Austin Seipp2014-03-07
* coq: 8.4pl2 -> 8.4pl3Austin Seipp2014-03-07
* Add platforms to coq, so it's built on HydraGergely Risko2013-08-28
* Update Coq to version 8.4pl2.Russell O'Connor2013-06-14
* Fixing configure patch for coq 8.3.Russell O'Connor2012-08-19
* Correcting filename.Russell O'Connor2012-08-19
* Update coq to 8.4Russell O'Connor2012-08-19
* Updatings ssreflect to depend on camlp5 version 6.Russell O'Connor2012-05-28
* Updating coq and ssreflect to patch level 4.Russell O'Connor2012-05-16
* Fix building of Coq and update to version 8.3pl3. (Forgot to save files)Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3.Marco Maggesi2012-03-17
* Merge from trunk up through r28790Shea Levy2011-08-24
|\
| * update coq to 8.3pl1Russell O'Connor2011-04-05
| * * Coq: fix compilation of coqide (path to lablgkt)Marco Maggesi2011-01-03
| * Fix lablgtk referenceMichael Raskin2011-01-02
|/
* * Sync with the trunk.Eelco Dolstra2010-12-21
|\
| * * Update camlp5Marco Maggesi2010-12-20
* | Use a patch to fix make 3.82 build of CoqMichael Raskin2010-11-23
|/
* Update CoqMarco Maggesi2010-11-04
* Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi2010-09-15
* Add coq-8.3rc1Marco Maggesi2010-09-14
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
* pkgs/applications/science/logic/coq: install coqide librariesPeter Simons2010-05-18
* Add expression for Coq 8.3 betaMarco Maggesi2010-05-11
* Updated Coq to version 8.2pl1Marco Maggesi2009-11-02
* Added a preliminary expression for Coq (no IDE support yet).Andres Löh2008-06-04
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 20:34:08 +0000