summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* 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
* 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-20 14:44:22 +0000