about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
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-25 07:44:43 +0000