aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* coqPackages.Verdi: fix buildVincent Laporte2018-12-211-28/+8
* coqPackages.InfSeqExt: fix buildVincent Laporte2018-12-211-34/+7
* coqPackages.Cheerios: fix buildVincent Laporte2018-12-211-27/+7
* coqPackages.StructTact: fix buildVincent Laporte2018-12-211-33/+6
* coqPackages.coqprime: enable for Coq 8.9Vincent Laporte2018-12-201-4/+7
* coqPackages.simple-io: init at 0.2Vincent Laporte2018-12-101-0/+32
* coqPackages_8_9.coq-ext-lib: init at 0.10.0Vincent Laporte2018-12-101-0/+1
* coqPackages.corn: init at 8.8.1Vincent Laporte2018-12-101-0/+38
* coqPackages.math-classes: 1.0.7 -> 8.8.1Vincent Laporte2018-12-031-3/+3
* coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, VerdiJohn Wiegley2018-11-204-0/+220
* coqPackages.bignums: enable for Coq version 8.9Vincent Laporte2018-11-191-4/+7
* Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflectJörg Thalheim2018-11-062-66/+32
|\
| * coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim2018-11-062-39/+15
| * coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim2018-11-061-5/+7
| * coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann2018-11-052-34/+22
* | coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte2018-11-061-2/+3
|/
* coqPackages.autosubst: fix buildVincent Laporte2018-11-051-0/+1
* coqPackages.ssreflect: refactorVincent Laporte2018-11-042-54/+42
* coqPackages.mathcomp: refactorVincent Laporte2018-11-042-47/+41
* coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte2018-11-021-1/+1
* coqPackages.category-theory: fix buildVincent Laporte2018-10-241-15/+19
* coqPackages.Velisarios: New expressionJohn Wiegley2018-10-231-0/+50
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-1915-17/+17
* Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley2018-10-101-8/+7
* Merge pull request #47589 from vbgl/coq-coqprime-initMatthew Bauer2018-10-051-0/+46
|\
| * coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte2018-10-011-0/+46
* | coqPackages.coq-haskell: Support building with Coq 8.8John Wiegley2018-10-041-0/+6
|/
* treewide: Use http/https for homepagesJanne Heß2018-09-083-3/+3
* Merge branch 'master' into staging-nextVladimír Čunát2018-08-131-1/+2
|\
| * coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}Vincent Laporte2018-08-081-1/+2
* | treewide: Make configureFlags listsJohn Ericson2018-08-031-1/+1
|/
* coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons2018-07-281-1/+1
* coqPackages.category-theory: Add equations as a buildInputJohn Wiegley2018-07-271-1/+1
* coqPackages.category-theory: Update to Git version as of 20180709John Wiegley2018-07-271-6/+6
* pkgs/*: remove unreferenced function argumentsvolth2018-07-212-2/+2
* coqPackages.equations: enable for Coq 8.8Vincent Laporte2018-07-081-7/+7
* coqPackages.equations: Add support for Coq 8.8John Wiegley2018-07-051-0/+6
* coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte2018-06-011-5/+12
* coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte2018-05-221-2/+2
* coqPackages.iris: init at 3.1.0 (#40909)Vincent Laporte2018-05-221-0/+30
* coqPackages.stdpp: init at 1.1Vincent Laporte2018-05-151-0/+28
* coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte2018-05-091-0/+5
* Merge pull request #39469 from vbgl/coq-contribs-containers-8.8Matthew Justin Bauer2018-05-011-1/+6
|\
| * coqPackages.contribs.containers: make available for Coq 8.8Vincent Laporte2018-04-251-1/+6
* | coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte2018-05-017-33/+41
|/
* coqPackages.bignums: make it available for Coq 8.8Vincent Laporte2018-03-271-3/+4
* Merge pull request #37591 from vbgl/coq-88beta1John Wiegley2018-03-2313-13/+58
|\
| * coq: init at 8.8+beta1Vincent Laporte2018-03-2113-13/+58
* | coqPackages.contribs.containers: make available for Coq 8.7Vincent Laporte2018-03-211-5/+12
|/
* coqPackages.bignums: Change expression to match other Coq packagesJohn Wiegley2018-03-061-16/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 01:26:00 +0000