summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coqPackages.iris: 3.5.0 → 3.6.0Vincent Laporte2022-02-23
* coqPackages_8_15.coqhammer: enable at 1.3.2Vincent Laporte2022-02-23
* coqPackages.hydra-battles: fix version checking logicThéo Zimmermann2022-02-21
* coqPackages_8_14.gaia-hydras: 0.5 -> 0.6Théo Zimmermann2022-02-20
* coqPackages.addition-chains: 0.5 -> 0.6Théo Zimmermann2022-02-20
* coqPackages.hydra-battles: 0.5 -> 0.6Théo Zimmermann2022-02-20
* coqPackages.LibHyps: init at 2.0.4.1Théo Zimmermann2022-02-20
* coq-elpi: 1.12.1 -> 1.13.0Enrico Tassi2022-02-16
* coqPackages.VST: 2.8 → 2.9Vincent Laporte2022-02-16
* coqPackages.ITree: enable for Coq 8.15Vincent Laporte2022-02-16
* coqPackages.compcert: enable for Coq 8.15Vincent Laporte2022-02-16
* coqPackages_8_15.dpdgraph: init at 1.0+8.15Vincent Laporte2022-02-06
* Add odd-order 1.13.0Pierre Roux2022-02-02
* Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux2022-02-02
* mathcomp-abel compiles with Coq 8.15Pierre Roux2022-02-02
* coqPackages.mathcomp: 1.13.0 -> 1.14.0Cyril Cohen2022-02-02
* coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15Théo Zimmermann2022-01-27
* coqPackages.gaia: mark as compatible with Coq 8.15Théo Zimmermann2022-01-27
* coqPackages.mathcomp-zify: mark as compatible with Coq 8.15Théo Zimmermann2022-01-27
* coqPackages_8_15.serapi: init at 8.15.0+0.15.0Théo Zimmermann2022-01-27
* ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)José Romildo Malaquias2022-01-26
* coqPackages.reglang: mark as compatible with Coq 8.15Théo Zimmermann2022-01-25
* coqPackages_8_15.equations: init at 1.3+8.15Théo Zimmermann2022-01-25
* coqPackages.deriving: mark as compatible with Coq 8.15Théo Zimmermann2022-01-25
* coqPackages.coq-record-update: mark as compatible with Coq 8.15Théo Zimmermann2022-01-25
* coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6Théo Zimmermann2022-01-25
* coqPackages.corn: mark as compatible with Coq 8.15Théo Zimmermann2022-01-25
* coqPackages.math-classes: 8.13.0 -> 8.15.0Théo Zimmermann2022-01-25
* coqPackages.CoLoR: update homepageBen Siraphob2022-01-07
* coqPackages.semantics: add 8.14.0Ben Siraphob2021-12-29
* coqPackages.mathcomp-word: init at 1.0Vincent Laporte2021-12-24
* coqPackages.ITree: enable for Coq 8.14Vincent Laporte2021-12-22
* coqPackages.paco: 4.1.1 → 4.1.2Vincent Laporte2021-12-22
* Merge pull request #147386 from ineol/update-coq-pacoBobby Rong2021-12-17
|\
| * coqPackages.paco: 4.0.2 -> 4.1.1Léo Stefanesco2021-11-25
* | coqPackages.category-theory: Set highest compatibility to coq 8.14 (#150559)John Wiegley2021-12-16
* | coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)Vincent Laporte2021-12-12
* | coqPackages.iris: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.stdpp: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.interval: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.graph-theory: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.gappalib: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.coqeal: disable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.bignums: enable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.StructTac: enable for Coq 8.15Vincent Laporte2021-12-09
* | coqPackages.mathcomp-bigenough: 1.0.0 → 1.0.1Vincent Laporte2021-12-08
* | coqPackages.equations: 1.2.4 → 1.3 (for Coq 8.13)Vincent Laporte2021-12-03
* | coqPackages.coqprime: 8.12 → 8.14.1Vincent Laporte2021-12-02
* | compcert: fix for Coq 8.14.1Vincent Laporte2021-12-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-28 22:18:50 +0000