about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-2/+4
2023-02-03Merge pull request #213855 from vbgl/coq-coquelicot-3.3Nick Cao1-0/+2
2023-02-02coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17Vincent Laporte1-1/+2
2023-02-01coqPackages_8_17.equations: init at 1.3+8.17Vincent Laporte1-0/+3
2023-01-31coqPackages.coquelicot: 3.2.0 → 3.3.0Vincent Laporte1-0/+2
2023-01-24Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang77-242/+209
2023-01-22Merge pull request #212002 from mothsART/feature/replace_http_by_httpsWeijia Wang2-2/+2
2023-01-22treewide: replace http by https when https is a permanent redirectionFerry Jérémie2-2/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn890177-242/+209
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2023-01-11coqPackages_8_13.smtcoq: fix build by using older makeVincent Laporte1-1/+1
2023-01-11coqPackages_8_13.smtcoq.cvc4: fix build by using older makeVincent Laporte2-2/+6
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux7-6/+7
2022-12-24coqPackages.Verdi: preemptive fix for removal of configure in future versionsThéo Zimmermann1-1/+5
2022-12-24coqPackages.StructTact: preemptive fix for removal of configure in future ver...Théo Zimmermann1-1/+5
2022-12-24coqPackages.InfSeqExt: preemptive fix for removal of configure in future vers...Théo Zimmermann1-1/+5
2022-12-24coqPackages.Cheerios: preemptive fix for removal of configure in future versionsThéo Zimmermann1-1/+5
2022-12-22coqPackages.VST: 2.10 → 2.11.1Vincent Laporte1-0/+2
2022-12-05coqPackages.VST: add support for Coq 8.16.1Vincent Laporte1-1/+1
2022-12-05compcert: add support for Coq 8.16.1Vincent Laporte1-0/+5
2022-11-29Update HoTT and drop archaic 8.6 specific installCyril Cohen1-31/+8
2022-11-24coqPackages.mathcomp-algebra-tactics: init at 1.0.0Cyril Cohen1-0/+23
2022-11-13coqPackages.interval: 4.5.2 → 4.6.0Vincent Laporte1-0/+2
2022-10-13Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt1-0/+2
2022-10-13coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16Vincent Laporte1-0/+2
2022-10-13Merge branch 'master' into stagingVladimír Čunát2-10/+16
2022-10-13Merge pull request #194256 from Artturin/treewides2Artturi1-1/+1
2022-10-12coqPackages.coq-elpi: disable OCaml warningsVincent Laporte1-0/+2
2022-10-11Adding mathcomp-analysis singlePierre Roux1-10/+14
2022-10-11coqPackages.VST: enable for Coq 8.16Vincent Laporte1-2/+2
2022-10-11coqPackages.compcert: enable for Coq 8.16Vincent Laporte1-1/+10
2022-10-10treewide: *Flags convert to list from strArtturin1-1/+1
2022-10-07coqPackages.simple-io: fix & add testsVincent Laporte2-2/+26
2022-10-05Merge pull request #194539 from vbgl/coq-category-theory-1.0.0John Wiegley1-0/+2
2022-10-05coqPackages.mathcomp-word: 1.1 → 2.0Vincent Laporte1-1/+2
2022-10-05coqPackages.category-theory: 20211213 → 1.0.0Vincent Laporte1-0/+2
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann9-11/+11
2022-09-29coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0Cyril Cohen2-2/+4
2022-09-27Merge pull request #192437 from kyoDralliam/metacoq-fix-devVincent Laporte1-8/+14
2022-09-27Add metacoq 1.1 releaseKenji Maillard1-3/+6
2022-09-26Split coqPackages.mathcomp-analysisPierre Roux1-27/+60
2022-09-25coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16Vincent Laporte1-1/+11
2022-09-22fix dev metacoq builds for coq >= 8.16Kenji Maillard1-5/+8
2022-09-22Support dev version of equationsMatthieu Sozeau1-1/+1
2022-09-20coqPackages.QuickChick: 1.6.2 → 1.6.4Vincent Laporte1-1/+2
2022-09-19coqPackages.corn: 8.13.0 → 8.16.0Vincent Laporte1-2/+4
2022-09-18coqPackages.interval: 4.5.1 → 4.5.2Vincent Laporte1-1/+2
2022-09-14Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16Théo Zimmermann1-2/+8
2022-09-10coqPackages.gappalib: 1.5.1 → 1.5.2Vincent Laporte1-1/+2
2022-09-08coqPackages.Verdi: enable for Coq 8.16Vincent Laporte1-1/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 00:19:07 +0000