summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* 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
* Merge pull request #176321 from siraben/smtcoq-fixBen Siraphob2022-07-16
|\
| * smtcoq: fix cvc4 dependencyBen Siraphob2022-06-06
| * coqPackages.smtcoq: itp22 -> 2021-09-17Ben Siraphob2022-06-05
* | coqPackages.gaia: 1.13 → 1.14Vincent Laporte2022-07-16
* | coqPackages.coqeal: 1.1.0 → 1.1.1Vincent Laporte2022-07-13
* | Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann2022-07-10
* | Do not rely on coq-version when coq.version works just fine.Théo Zimmermann2022-07-08
* | coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16Vincent Laporte2022-06-23
* | mkCoqDerivation: do not set DESTDIRVincent Laporte2022-06-18
* | coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16Vincent Laporte2022-06-13
* | coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte2022-06-13
* | coqPackages.simple-io: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.StructTact: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.coqprime: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.coq-record-update: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.LibHyps: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.ITree: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.math-classes: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.metalib: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.parsec: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.semantics: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.iris: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.stdpp: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.CoLoR: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.tlc: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.paco: enable for Coq 8.16Vincent Laporte2022-06-13
* | coqPackages.coq-ext-lib: enable for Coq 8.16Vincent Laporte2022-06-13
* | coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
* | coqPackages.coq-elpi: 1.13.0 → 1.14.0Vincent Laporte2022-06-08
|/
* compcert: add support for Coq 8.15.2Vincent Laporte2022-06-03
* coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte2022-06-03
* coqPackages: etcCyril Cohen2022-05-25
* coqPackages.interval: 4.4.0 -> 4.5.1Ben Siraphob2022-05-16
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte2022-05-13
* moving findlib to propagedNativeBuildInputsCyril Cohen2022-05-12
* coqPackages: etcCyril Cohen2022-05-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-08 00:52:00 +0000