summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* coqPackages.flocq: 2.5.1 -> 2.5.2Vincent Laporte2017-01-14
* coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}Vincent Laporte2017-01-14
* coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte2017-01-12
* coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley2016-12-22
* coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2John Wiegley2016-10-31
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq-dpdgraph: init at 0.5Vincent Laporte2016-05-03
* coq-ext-lib: 0.9.0-beta3 -> 0.9.3Vincent Laporte2016-04-12
* coqPackages.contribs.Bertrand: fix hashRobin Gloster2016-02-08
* Remove no longer (or never) referenced patchesTobias Geerinckx-Rice2016-01-24
* coq-interval: 2.1.0 -> 2.2.1Vincent Laporte2016-01-06
* coqPackages.coquelicot: init at 2.1.1Vincent Laporte2016-01-06
* coq-flocq: 2.5.0 -> 2.5.1Vincent Laporte2016-01-04
* Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"Vincent Laporte2016-01-04
* ssreflect, mathcomp: fix buildVincent Laporte2016-01-04
* coqPackages.mathcomp,ssreflect: 1.5 -> 1.6John Wiegley2015-12-20
* coqPackages.flocq: 2.4.0 -> 2.5.0John Wiegley2015-12-16
* coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0Vincent Laporte2015-12-03
* coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3Vincent Laporte2015-11-21
* coqPackages.ssreflect: add ncurses as a dependencyJohn Wiegley2015-10-31
* coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2Vincent Laporte2015-09-27
* coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte2015-08-18
* coq-fiat: do not run tests on i686Vincent Laporte2015-07-09
* ssreflect, mathcomp: better package namesVincent Laporte2015-06-19
* coq-mathcomp: refactorVincent Laporte2015-06-19
* coq-ssreflect: refactorVincent Laporte2015-06-19
* coq-mathcomp: also build and install the documentationVincent Laporte2015-06-19
* coq-ssreflect: also build and install the documentationVincent Laporte2015-06-19
* coqPackages.fiat: disable parallel build to fix buildPascal Wittmann2015-06-10
* coq-tlc: fix packageVincent Laporte2015-06-02
* coq-coqeal: fix installationVincent Laporte2015-05-29
* bedrock: Change build to use "src native"John Wiegley2015-05-21
* coqPackages.QuickChick: New expressionJohn Wiegley2015-05-08
* meta.description fixupsJoachim Fasting2015-04-30
* Fixed some descriptionsPascal Wittmann2015-04-28
* coq_8_5: New expressionJohn Wiegley2015-04-26
* bedrock: Don't bulid Cito without the platformJohn Wiegley2015-04-10
* coq-contribs: fix various packagesVincent Laporte2015-03-01
* coqPackages: add contribs (close #5242)Vincent Laporte2015-01-25
* coq-containers: removeVincent Laporte2015-01-25
* coqPackages.fiat: enable building the examples as a testJohn Wiegley2015-01-09
* coqPackages.fiat: correct installation directoryJohn Wiegley2015-01-09
* coqPackages.fiat: new expressionJohn Wiegley2015-01-09
* Adds coq-intervalVincent Laporte2014-12-08
* coq-flocq: licenseVincent Laporte2014-12-07
* coqPackages.coqeal: new expressionJohn Wiegley2014-12-04
* coqPackages.unimath: new expressionJohn Wiegley2014-11-12
* coqPackages.flocq: new expressionJohn Wiegley2014-10-21
* coqPackages.ssreflect, more: build ssrcoq binary, add maintainerJohn Wiegley2014-10-13
* coqPackages.domains: new expressionJohn Wiegley2014-10-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-15 19:40:42 +0000