summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid2023-02-03
* Merge pull request #213855 from vbgl/coq-coquelicot-3.3Nick Cao2023-02-03
|\
| * coqPackages.coquelicot: 3.2.0 → 3.3.0Vincent Laporte2023-01-31
* | coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17Vincent Laporte2023-02-02
* | coqPackages_8_17.equations: init at 1.3+8.17Vincent Laporte2023-02-01
|/
* Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang2023-01-24
|\
| * treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* | Merge pull request #212002 from mothsART/feature/replace_http_by_httpsWeijia Wang2023-01-22
|\ \
| * | treewide: replace http by https when https is a permanent redirectionFerry Jérémie2023-01-22
| |/
* / treewide: switch to nativeCheckInputsGuillaume Girol2023-01-21
|/
* coqPackages_8_13.smtcoq: fix build by using older makeVincent Laporte2023-01-11
* coqPackages_8_13.smtcoq.cvc4: fix build by using older makeVincent Laporte2023-01-11
* coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux2023-01-06
* coqPackages.Verdi: preemptive fix for removal of configure in future versionsThéo Zimmermann2022-12-24
* coqPackages.StructTact: preemptive fix for removal of configure in future ver...Théo Zimmermann2022-12-24
* coqPackages.InfSeqExt: preemptive fix for removal of configure in future vers...Théo Zimmermann2022-12-24
* coqPackages.Cheerios: preemptive fix for removal of configure in future versionsThéo Zimmermann2022-12-24
* coqPackages.VST: 2.10 → 2.11.1Vincent Laporte2022-12-22
* coqPackages.VST: add support for Coq 8.16.1Vincent Laporte2022-12-05
* compcert: add support for Coq 8.16.1Vincent Laporte2022-12-05
* Update HoTT and drop archaic 8.6 specific installCyril Cohen2022-11-29
* coqPackages.mathcomp-algebra-tactics: init at 1.0.0Cyril Cohen2022-11-24
* coqPackages.interval: 4.5.2 → 4.6.0Vincent Laporte2022-11-13
* Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt2022-10-13
|\
| * coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16Vincent Laporte2022-10-13
* | Merge branch 'master' into stagingVladimír Čunát2022-10-13
|\|
| * coqPackages.coq-elpi: disable OCaml warningsVincent Laporte2022-10-12
| * Adding mathcomp-analysis singlePierre Roux2022-10-11
* | Merge pull request #194256 from Artturin/treewides2Artturi2022-10-13
|\ \ | |/ |/|
| * treewide: *Flags convert to list from strArtturin2022-10-10
* | coqPackages.VST: enable for Coq 8.16Vincent Laporte2022-10-11
* | coqPackages.compcert: enable for Coq 8.16Vincent Laporte2022-10-11
|/
* coqPackages.simple-io: fix & add testsVincent Laporte2022-10-07
* Merge pull request #194539 from vbgl/coq-category-theory-1.0.0John Wiegley2022-10-05
|\
| * coqPackages.category-theory: 20211213 → 1.0.0Vincent Laporte2022-10-05
* | coqPackages.mathcomp-word: 1.1 → 2.0Vincent Laporte2022-10-05
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-25 23:48:39 +0000