summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen2019-05-23
* coqPackages.ltac2: init at 0.1Vincent Laporte2019-05-23
* several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen2019-05-21
* coqPackages: refactor mathcomp packagesCyril Cohen2019-05-15
* coq: init at 8.10+β1Vincent Laporte2019-05-15
* coqPackages.Verdi: 20181102 -> 20190202Vincent Laporte2019-04-25
* coqPackages.tlc: 20180316 -> 20181116Vincent Laporte2019-04-24
* coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte2019-04-23
* coqPackages.coqhammer: init at 1.1Vincent Laporte2019-03-29
* coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte2019-03-18
* coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte2019-03-18
* coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1Vincent Laporte2019-03-15
* coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann2019-03-12
* coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte2019-02-18
* coqPackages.paramcoq: init at 1.1.1Vincent Laporte2019-02-17
* coqPackages.flocq: 3.0.0 -> 3.1.0Vincent Laporte2019-02-15
* coqPackages.interval: 3.3.0 -> 3.4.0Vincent Laporte2019-02-15
* coqPackages.coquelicot: 3.0.1 -> 3.0.2Vincent Laporte2019-02-15
* coqPackages.mathcomp-analysis: init at 0.1.0Vincent Laporte2019-02-09
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-18 13:55:33 +0000