summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
...
* 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
* coqPackages.ynot: remove broken tagJohn Wiegley2014-10-11
* coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressionsJohn Wiegley2014-10-11
* coqPackages.bedrock: new expressionJohn Wiegley2014-10-11
* coqPackages.tlc: new expressionJohn Wiegley2014-10-11
* coqPackages.containers: set broken to falseJohn Wiegley2014-10-11
* coqPackages.containers: correct sha256 for the tarballJohn Wiegley2014-10-11
* coq-containers: package is brokenVincent Laporte2014-10-01
* Adds three coq libraries: containers, mathcomp, ssreflectVincent Laporte2014-09-28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-28 19:45:24 +0000