summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq
Commit message (Expand)AuthorAge
* coq: 8.7.1 -> 8.7.2John Wiegley2018-02-15
* Merge pull request #26805 from obsidiansystems/cross-elegantJohn Ericson2017-12-30
|\
| * treewide: Don't use envHook anymoreJohn Ericson2017-12-30
* | coq: lablgtk is only needed for coqideVincent Laporte2017-12-23
* | Specify the coq version in a more consistent locationJohn Wiegley2017-12-21
|/
* coq: minor cleaningVincent Laporte2017-12-18
* coq_8_7: 8.7.0 -> 8.7.1John Wiegley2017-12-15
* coq_HEAD: removeVincent Laporte2017-12-02
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* coq: 8.7+beta1 -> 8.7+beta2Maxime Dénès2017-10-11
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* coq_8_7: init at 8.7+beta1Théo Zimmermann2017-09-06
* coq: fetch source from GitHubThéo Zimmermann2017-09-06
* coq: adding myself to the maintainersThéo Zimmermann2017-08-04
* coq: use camlp5_strictThéo Zimmermann2017-08-04
* coq: 8.6 -> 8.6.1Théo Zimmermann2017-08-04
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-06 10:57:05 +0000