about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann2022-10-02
* coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0Cyril Cohen2022-09-29
* Merge pull request #192437 from kyoDralliam/metacoq-fix-devVincent Laporte2022-09-27
|\
| * Add metacoq 1.1 releaseKenji Maillard2022-09-27
| * fix dev metacoq builds for coq >= 8.16Kenji Maillard2022-09-22
* | Split coqPackages.mathcomp-analysisPierre Roux2022-09-26
* | coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16Vincent Laporte2022-09-25
* | Support dev version of equationsMatthieu Sozeau2022-09-22
|/
* coqPackages.QuickChick: 1.6.2 → 1.6.4Vincent Laporte2022-09-20
* coqPackages.corn: 8.13.0 → 8.16.0Vincent Laporte2022-09-19
* coqPackages.interval: 4.5.1 → 4.5.2Vincent Laporte2022-09-18
* Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16Théo Zimmermann2022-09-14
|\
| * add the release 1.0 of metacoq for coq 8.16Kenji Maillard2022-07-27
* | coqPackages.gappalib: 1.5.1 → 1.5.2Vincent Laporte2022-09-10
* | coqPackages.Verdi: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.aac-tactics: init at 8.16.0Vincent Laporte2022-09-08
* | coqPackages.addition-chains: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.autosubst: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.coq-bits: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.coqeal: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.extructures: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.deriving: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.gaia-hydras: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.goedel: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.graph-theory: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.itauto: init at 8.16.0Vincent Laporte2022-09-08
* | coqPackages.coquelicot: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.mathcomp-tarjan: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.mathcomp-word: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.mathcomp-zify: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.reglang: enable for Coq 8.16Vincent Laporte2022-09-08
* | coqPackages.trakt: enable for Coq 8.16Vincent Laporte2022-09-08
* | mathcomp: 1.14.0 -> 1.15.0Enrico Tassi2022-08-31
* | coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3Vincent Laporte2022-08-31
* | coqPackages.stdpp: 1.7.0 → 1.8.0Vincent Laporte2022-08-27
* | coqPackages.coq-record-update: 0.3.0 → 0.3.1Vincent Laporte2022-08-18
* | coqPackages.coq-ext-lib: 0.11.6 → 0.11.7Vincent Laporte2022-08-17
* | coqPackages_8_13.smtcoq: build cvc4 with gcc10Vincent Laporte2022-08-02
* | coqPackages_8_16.dpdgraph: init at 1.0+8.16Vincent Laporte2022-07-28
* | coqPackages.mathcomp-abel: 1.2.0 → 1.2.1Vincent Laporte2022-07-26
* | coqPackages.hierarchy-builder: enable for Coq 8.16Vincent Laporte2022-07-26
|/
* coqPackages.hydra-battles: enable for Coq 8.16Vincent Laporte2022-07-25
* coqPackages_8_16.equations: init at 1.3+8.16Vincent Laporte2022-07-25
* first release of MetacoqKenji Maillard2022-07-20
* Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5Ben Siraphob2022-07-20
|\
| * coqPackages.fourcolor: 1.2.4 → 1.2.5Vincent Laporte2022-07-17
* | Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15Aaron L. Zeng2022-07-20
* | coqPackages.coq-elpi 1.14.0 -> 1.15.1Pierre Roux2022-07-19
* | coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte2022-07-19
|/
* coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2Vincent Laporte2022-07-17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 04:23:33 +0000