about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq
Commit message (Expand)AuthorAge
* coq: nix-buffer: Inherit variables to PG shellShea Levy2017-05-22
* coq: Add emacs buffer setupShea Levy2017-05-20
* coq_HEAD: Update once morerht2017-03-18
* Fold in specific ocaml version choice into letrht2017-03-18
* coq_HEAD: Update to the latest commitrht2017-03-18
* coq-8.4: fix build of ssreflect and mathcompVincent Laporte2017-01-25
* 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_8_6: 8.6rc1 -> 8.6John Wiegley2016-12-14
* coq_HEAD: Update to the latest commit as of 2016-12-13John Wiegley2016-12-13
* coq_8_6: new package, based on Coq 8.6rc1John Wiegley2016-12-13
* coq: Improve emacs buffer handlingShea Levy2016-11-13
* coq-8.5: ease the selection of an older (patch level) versionVincent Laporte2016-11-02
* coq: build and install the votour utilityVincent Laporte2016-11-02
* coq: 8.5pl2 -> 8.5pl3Vincent Laporte2016-11-02
* nix-buffer support improvements.Shea Levy2016-10-07
* treewide: move to ocaml-ng systemKirill Boltaev2016-09-26
* treewide: Add lots of meta.platformsTuomas Tynkkynen2016-08-02
* coq: 8.5pl1 -> 8.5pl2 (#16863)vbgl2016-07-18
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq: 8.5 -> 8.5pl1Vincent Laporte2016-04-12
* coq_8_5: 8.5rc1 -> 8.5John Wiegley2016-01-25
* coqPackages_8_5.coq: 8.5b2 -> 8.5rc1John Wiegley2015-12-21
* Revert "coq: 8.5b2 -> 8.5b3"John Wiegley2015-11-25
* coq: 8.5b2 -> 8.5b3Russell O'Connor2015-11-19
* coq: Add csdp dependencyRussell O'Connor2015-09-10
* coq-8.3: fix (needs make 3)Vincent Laporte2015-06-25
* coq_8_5: New expressionJohn Wiegley2015-04-26
* coq: update from 8.4pl5 to 8.4pl6Vincent Laporte2015-04-15
* coq_HEAD: update to latest Git versionJohn Wiegley2014-12-19
* coq_HEAD: updateJohn Wiegley2014-11-17
* Adds some “branch” meta-dataVincent Laporte2014-11-06
* coq_HEAD: update to latest commitJohn Wiegley2014-11-03
* coq: 8.4pl4 -> 8.4pl5John Wiegley2014-11-03
* coq_HEAD: UpdateJohn Wiegley2014-10-09
* coq: setup-hook for librariesVincent Laporte2014-09-28
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-09-23
* coq_HEAD: Revert "update to latest Git version"Peter Simons2014-09-19
* coq_HEAD: update to latest Git versionJohn Wiegley2014-09-09
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-08-26
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 02:49:14 +0000