about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2017-02-11coqPackages.interval: 2.2.1 -> 3.1.1Vincent Laporte1-3/+3
2017-02-11coqPackages.coquelicot: 2.1.1 -> 2.1.2Vincent Laporte1-3/+18
2017-02-11coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1Vincent Laporte3-25/+4
2017-01-27coqPackages.math-classes: init at 2016-06-08Langston Barrett1-0/+23
2017-01-25coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6Vincent Laporte4-65/+31
2017-01-14coqPackages.flocq: 2.5.1 -> 2.5.2Vincent Laporte1-4/+4
2017-01-14coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}Vincent Laporte1-1/+2
2017-01-12coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte1-5/+17
2016-12-22coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley4-21/+48
2016-10-31coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2John Wiegley1-0/+35
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen3-3/+3
2016-05-03coq-dpdgraph: init at 0.5Vincent Laporte1-0/+31
2016-04-12coq-ext-lib: 0.9.0-beta3 -> 0.9.3Vincent Laporte1-3/+4
2016-02-08coqPackages.contribs.Bertrand: fix hashRobin Gloster1-1/+1
2016-01-24Remove no longer (or never) referenced patchesTobias Geerinckx-Rice1-16/+0
2016-01-06coq-interval: 2.1.0 -> 2.2.1Vincent Laporte1-5/+5
2016-01-06coqPackages.coquelicot: init at 2.1.1Vincent Laporte1-0/+25
2016-01-04coq-flocq: 2.5.0 -> 2.5.1Vincent Laporte1-3/+3
2016-01-04Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"Vincent Laporte1-1/+1
2016-01-04ssreflect, mathcomp: fix buildVincent Laporte2-0/+2
2015-12-20coqPackages.mathcomp,ssreflect: 1.5 -> 1.6John Wiegley4-34/+39
2015-12-16coqPackages.flocq: 2.4.0 -> 2.5.0John Wiegley1-1/+1
2015-12-03coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0Vincent Laporte2-6/+6
2015-11-21coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3Vincent Laporte1-1/+1
2015-10-31coqPackages.ssreflect: add ncurses as a dependencyJohn Wiegley1-2/+2
2015-09-27coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2Vincent Laporte1-7/+14
2015-08-18coq-QuickChick: 21f50a02 -> 20150605Vincent Laporte1-5/+7
2015-07-09coq-fiat: do not run tests on i686Vincent Laporte1-1/+1
2015-06-19ssreflect, mathcomp: better package namesVincent Laporte2-2/+2
2015-06-19coq-mathcomp: refactorVincent Laporte3-53/+49
2015-06-19coq-ssreflect: refactorVincent Laporte2-43/+26
2015-06-19coq-mathcomp: also build and install the documentationVincent Laporte1-1/+10
2015-06-19coq-ssreflect: also build and install the documentationVincent Laporte1-1/+9
2015-06-10coqPackages.fiat: disable parallel build to fix buildPascal Wittmann1-1/+1
2015-06-02coq-tlc: fix packageVincent Laporte1-0/+9
2015-05-29coq-coqeal: fix installationVincent Laporte1-4/+9
2015-05-21bedrock: Change build to use "src native"John Wiegley1-0/+3
2015-05-08coqPackages.QuickChick: New expressionJohn Wiegley1-0/+28
2015-04-30meta.description fixupsJoachim Fasting6-6/+6
2015-04-28Fixed some descriptionsPascal Wittmann1-1/+1
2015-04-26coq_8_5: New expressionJohn Wiegley3-0/+84
2015-04-10bedrock: Don't bulid Cito without the platformJohn Wiegley1-2/+5
2015-03-01coq-contribs: fix various packagesVincent Laporte2-5/+58
2015-01-25coqPackages: add contribs (close #5242)Vincent Laporte3-0/+401
2015-01-25coq-containers: removeVincent Laporte1-24/+0
2015-01-09coqPackages.fiat: enable building the examples as a testJohn Wiegley1-3/+3
2015-01-09coqPackages.fiat: correct installation directoryJohn Wiegley1-1/+1
2015-01-09coqPackages.fiat: new expressionJohn Wiegley1-0/+41
2014-12-08Adds coq-intervalVincent Laporte1-0/+26
2014-12-07coq-flocq: licenseVincent Laporte1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-05 11:23:29 +0000