summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
Commit message (Expand)AuthorAge
* coqPackages.graph-theory: init at 0.9Ben Siraphob2021-07-29
* coqPackages.itauto: init at 8.13+noBen Siraphob2021-07-01
* coqPackages.semantics: initBen Siraphob2021-06-29
* Move CompCert into coqPackages. (#126214)Théo Zimmermann2021-06-14
* coqPackages.reglang: init at 1.1.2Ben Siraphob2021-06-08
* compcert: 3.8 → 3.9Vincent Laporte2021-06-04
* coqPackages.topology: initBen Siraphob2021-06-01
* coqPackages.zorns-lemma: initBen Siraphob2021-06-01
* coqPackages.relation-algebra: initBen Siraphob2021-05-17
* coqPackages.aac-tactics: initBen Siraphob2021-05-17
* coq: default to version 8.13Vincent Laporte2021-05-10
* coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13Cyril Cohen2021-05-10
* coqPackages.goedel: init at 8.12.0Ben Siraphob2021-05-10
* coqPackages.pocklington: init at 8.12.0Ben Siraphob2021-05-10
* coqPackages.hydra-battles: init at 0.3Ben Siraphob2021-05-10
* coqPackages.VST: 2.6 → 2.7.1Vincent Laporte2021-05-07
* top-level/coq-packages: remove dontDistributeBen Siraphob2021-05-03
* ITree: init at 4.0.0Lars Rasmusson2021-04-14
* coqtail-math: init at 20201124Ben Siraphob2021-04-09
* coqPackages.odd-order: init at 1.12.0Ben Siraphob2021-03-31
* coqPackages.fourcolor: init at 1.2.3Ben Siraphob2021-03-26
* coqPackages.mathcomp-abel: init at 1.0.0Cyril Cohen2021-01-14
* coqPackages: refactorCyril Cohen2021-01-09
* coq_8_12: 8.12.1 → 8.12.2Vincent Laporte2020-12-16
* coq_8_13: init at 8.13+β1Vincent Laporte2020-12-15
* compcert: 3.7 → 3.8Vincent Laporte2020-12-09
* coq_8_12: 8.12.0 → 8.12.1Vincent Laporte2020-11-15
* coqPackages.VST: init at 2.6Vincent Laporte2020-10-05
* coq: default to version 8.11Vincent Laporte2020-08-23
* coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte2020-08-08
* coqPackages.coq-extensible-records: remove at 1.2.0Vincent Laporte2020-07-10
* coq_8_12: init at 8.12+β1Vincent Laporte2020-06-19
* coq: use OCaml 4.09Vincent Laporte2020-05-27
* coq_8_11: 8.11.1 → 8.11.2Vincent Laporte2020-05-20
* Coq: refactoring of mathcomp packages (#86088)Cyril Cohen2020-05-09
* coq_8_11: 8.11.0 → 8.11.1Vincent Laporte2020-04-05
* coqPackages.hierarchy-builder: init at 0.9.0Cyril Cohen2020-03-11
* coqPackages.mathcomp_1_10: init at 1.10.0Vincent Laporte2020-02-24
* coqPackages_8_11.coq: 8.11+β1 → 8.11.0Vincent Laporte2020-01-31
* coq_8_11: init at 8.11+β1Vincent Laporte2019-12-07
* coq_8_10: 8.10.1 → 8.10.2Vincent Laporte2019-12-03
* coq_8_10: 8.10.0 → 8.10.1Vincent Laporte2019-10-25
* coqPackages.coq-bits: init at 20190812Valentin Robert2019-10-24
* coq_8_10: 8.10+β3 → 8.10.0Vincent Laporte2019-10-16
* coq_8_10: 8.10+β2 → 8.10+β3Vincent Laporte2019-09-16
* coq: make version 8.9 the default oneVincent Laporte2019-08-21
* elpi: 1.4.1 -> 1.6.0, and coq-elpiCyril Cohen2019-08-09
* coq: 8.10+beta1 -> 8.10+beta2Théo Zimmermann2019-07-14
* coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0Cyril Cohen2019-07-02
* coqPackages.gappalib: init at 1.4.1Vincent Laporte2019-06-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 09:33:39 +0000