about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/default.nix
Commit message (Expand)AuthorAge
* coq: nix-buffer: Inherit variables to PG shellShea Levy2017-05-22
* coq: Add emacs buffer setupShea Levy2017-05-20
* Coq: propagates the findlib packageVincent Laporte2017-01-25
* coq: minor refactoringVincent Laporte2017-01-25
* coq: merge files 8.5.nix and 8.6.nix into default.nixVincent Laporte2017-01-25
* coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley2016-12-22
* coq: Improve emacs buffer handlingShea Levy2016-11-13
* nix-buffer support improvements.Shea Levy2016-10-07
* coq: Add csdp dependencyRussell O'Connor2015-09-10
* coq: update from 8.4pl5 to 8.4pl6Vincent Laporte2015-04-15
* Adds some “branch” meta-dataVincent Laporte2014-11-06
* coq: 8.4pl4 -> 8.4pl5John Wiegley2014-11-03
* coq: setup-hook for librariesVincent Laporte2014-09-28
* Fix many package descriptionsBjørn Forsman2014-08-24
* 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
* 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
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
* pkgs/applications/science/logic/coq: install coqide librariesPeter Simons2010-05-18
* 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-07-26 04:35:08 +0000