summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
...
* coqPackages.mathcomp-finmap: init at 1.1.0Vincent Laporte2019-02-09
* coqPackages.mathcomp-bigenough: init at 1.0.0Vincent Laporte2019-02-09
* coqPackages_8_9: disable a few packages that do not buildVincent Laporte2019-02-08
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-01
* coqPackages.equations: 1.2-beta-8.9 for coq_8_9John Wiegley2019-01-31
* coqPackages.coq-extensible-records: init at 1.2.0Valentin Robert2019-01-30
* coq-modules: add default to fix evalMatthew Bauer2019-01-28
* coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}Vincent Laporte2019-01-23
* coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte2019-01-18
* coqPackages.category-theory: bound build parallelismVincent Laporte2019-01-11
* coqPackages.Verdi: fix buildVincent Laporte2018-12-21
* coqPackages.InfSeqExt: fix buildVincent Laporte2018-12-21
* coqPackages.Cheerios: fix buildVincent Laporte2018-12-21
* coqPackages.StructTact: fix buildVincent Laporte2018-12-21
* coqPackages.coqprime: enable for Coq 8.9Vincent Laporte2018-12-20
* coqPackages.simple-io: init at 0.2Vincent Laporte2018-12-10
* coqPackages_8_9.coq-ext-lib: init at 0.10.0Vincent Laporte2018-12-10
* coqPackages.corn: init at 8.8.1Vincent Laporte2018-12-10
* coqPackages.math-classes: 1.0.7 -> 8.8.1Vincent Laporte2018-12-03
* coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, VerdiJohn Wiegley2018-11-20
* coqPackages.bignums: enable for Coq version 8.9Vincent Laporte2018-11-19
* Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflectJörg Thalheim2018-11-06
|\
| * coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim2018-11-06
| * coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim2018-11-06
| * coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann2018-11-05
* | coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte2018-11-06
|/
* coqPackages.autosubst: fix buildVincent Laporte2018-11-05
* coqPackages.ssreflect: refactorVincent Laporte2018-11-04
* coqPackages.mathcomp: refactorVincent Laporte2018-11-04
* coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte2018-11-02
* coqPackages.category-theory: fix buildVincent Laporte2018-10-24
* coqPackages.Velisarios: New expressionJohn Wiegley2018-10-23
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley2018-10-10
* Merge pull request #47589 from vbgl/coq-coqprime-initMatthew Bauer2018-10-05
|\
| * coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte2018-10-01
* | coqPackages.coq-haskell: Support building with Coq 8.8John Wiegley2018-10-04
|/
* treewide: Use http/https for homepagesJanne Heß2018-09-08
* Merge branch 'master' into staging-nextVladimír Čunát2018-08-13
|\
| * coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}Vincent Laporte2018-08-08
* | treewide: Make configureFlags listsJohn Ericson2018-08-03
|/
* coqPackages.category-theory: revert "Add equations as a buildInput"Peter Simons2018-07-28
* coqPackages.category-theory: Add equations as a buildInputJohn Wiegley2018-07-27
* coqPackages.category-theory: Update to Git version as of 20180709John Wiegley2018-07-27
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* coqPackages.equations: enable for Coq 8.8Vincent Laporte2018-07-08
* coqPackages.equations: Add support for Coq 8.8John Wiegley2018-07-05
* coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)Vincent Laporte2018-06-01
* coqPackages.tlc: 20171206 -> 20180316 (#40927)Vincent Laporte2018-05-22
* coqPackages.iris: init at 3.1.0 (#40909)Vincent Laporte2018-05-22
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-30 03:27:21 +0000