about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
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
2014-12-04coqPackages.coqeal: new expressionJohn Wiegley1-0/+28
2014-11-12coqPackages.unimath: new expressionJohn Wiegley1-0/+26
2014-10-21coqPackages.flocq: new expressionJohn Wiegley1-0/+33
2014-10-13coqPackages.ssreflect, more: build ssrcoq binary, add maintainerJohn Wiegley4-4/+22
2014-10-11coqPackages.domains: new expressionJohn Wiegley4-2/+837
2014-10-11coqPackages.ynot: remove broken tagJohn Wiegley1-1/+0
2014-10-11coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley6-2/+119
2014-10-11coqPackages.bedrock: new expressionJohn Wiegley1-0/+33
2014-10-11coqPackages.tlc: new expressionJohn Wiegley1-0/+29
2014-10-11coqPackages.containers: set broken to falseJohn Wiegley1-1/+0
2014-10-11coqPackages.containers: correct sha256 for the tarballJohn Wiegley1-1/+1
2014-10-01coq-containers: package is brokenVincent Laporte1-0/+1
2014-09-28Adds three coq libraries: containers, mathcomp, ssreflectVincent Laporte3-0/+74
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 18:07:33 +0000