about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2022-09-08coqPackages.addition-chains: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.autosubst: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.coq-bits: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.coqeal: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.extructures: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.deriving: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.gaia-hydras: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.goedel: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.graph-theory: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.itauto: init at 8.16.0Vincent Laporte1-0/+2
2022-09-08coqPackages.coquelicot: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-tarjan: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-word: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.mathcomp-zify: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.reglang: enable for Coq 8.16Vincent Laporte1-1/+1
2022-09-08coqPackages.trakt: enable for Coq 8.16Vincent Laporte1-1/+1
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi8-13/+24
2022-08-31coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3Vincent Laporte1-0/+2
2022-08-27coqPackages.stdpp: 1.7.0 → 1.8.0Vincent Laporte2-2/+4
2022-08-18coqPackages.coq-record-update: 0.3.0 → 0.3.1Vincent Laporte1-2/+3
2022-08-17coqPackages.coq-ext-lib: 0.11.6 → 0.11.7Vincent Laporte1-0/+2
2022-08-02coqPackages_8_13.smtcoq: build cvc4 with gcc10Vincent Laporte2-7/+8
2022-07-28coqPackages_8_16.dpdgraph: init at 1.0+8.16Vincent Laporte1-0/+2
2022-07-26coqPackages.mathcomp-abel: 1.2.0 → 1.2.1Vincent Laporte1-1/+3
2022-07-26coqPackages.hierarchy-builder: enable for Coq 8.16Vincent Laporte1-1/+1
2022-07-25coqPackages.hydra-battles: enable for Coq 8.16Vincent Laporte1-1/+1
2022-07-25coqPackages_8_16.equations: init at 1.3+8.16Vincent Laporte1-3/+7
2022-07-20first release of MetacoqKenji Maillard1-0/+4
2022-07-20Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5Ben Siraphob1-3/+5
2022-07-20Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15Aaron L. Zeng2-1/+85
2022-07-19coqPackages.coq-elpi 1.14.0 -> 1.15.1Pierre Roux1-0/+3
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte3-1/+7
2022-07-17coqPackages.fourcolor: 1.2.4 → 1.2.5Vincent Laporte1-3/+5
2022-07-17coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2Vincent Laporte1-0/+2
2022-07-16Merge pull request #176321 from siraben/smtcoq-fixBen Siraphob3-7/+126
2022-07-16coqPackages.gaia: 1.13 → 1.14Vincent Laporte1-1/+2
2022-07-13coqPackages.coqeal: 1.1.0 → 1.1.1Vincent Laporte1-0/+2
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann1-0/+61
2022-07-08Do not rely on coq-version when coq.version works just fine.Théo Zimmermann4-4/+4
2022-06-23coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16Vincent Laporte1-1/+2
2022-06-18mkCoqDerivation: do not set DESTDIRVincent Laporte1-0/+3
2022-06-13coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16Vincent Laporte2-2/+2
2022-06-13coqPackages.mathcomp: disable for Coq ≥ 8.16Vincent Laporte7-8/+8
2022-06-13coqPackages.simple-io: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.StructTact: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.coqprime: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.coq-record-update: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.LibHyps: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.ITree: enable for Coq 8.16Vincent Laporte1-1/+1
2022-06-13coqPackages.math-classes: enable for Coq 8.16Vincent Laporte1-1/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-21 01:12:21 +0000