about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/HEAD.nix
Commit message (Expand)AuthorAge
* 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_HEAD: Update to the latest commit as of 2016-12-13John Wiegley2016-12-13
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq: Add csdp dependencyRussell O'Connor2015-09-10
* 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_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
* coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley2014-08-16
* Add an expression for building Coq HEADJohn Wiegley2014-08-08
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-26 06:07:27 +0000