summaryrefslogtreecommitdiffstats
path: root/pkgs/top-level/coq-packages.nix
AgeCommit message (Expand)Author
2024-08-07coqPackages.coinduction: init at 1.9Pierre Roux
2024-08-07coqPackages.stalmarck: init at 8.20.0Pierre Roux
2024-07-31Merge pull request #329695 from definfo/coq-high-school-geometry-8.16Vincent Laporte
2024-07-26coqPackages: restor recurseIntoAttrsMartin Weinelt
2024-07-24coqPackages.high-school-geometry: init at 8.16definfo
2024-07-04coqPackages: allow one level of introspection before applying __attrsFailEval...Philip Taron
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-27coqPackages.coq-hammer: init at 1.3.2Vincent Laporte
2024-06-27coqPackages.coq-hammer-tactics: init at 1.3.2Vincent Laporte
2024-05-03compcert: 3.13.1 → 3.14 (#308752)Vincent Laporte
2024-05-03coqPackages.ssprove: init at 0.2.0 (#306981)Sebastian Ertel
2024-04-29coq: default to version 8.19Vincent Laporte
2024-04-02coqPackages.vcfloat: enable for Coq 8.18 & 8.19Vincent Laporte
2024-04-02coqPackages.interval: 4.9.0 → 4.10.0Vincent Laporte
2024-03-15coqPackages.VplTactic: init at 0.5Vincent Laporte
2024-03-15coqPackages.Vpl: init at 0.5Vincent Laporte
2024-02-01coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen
2024-01-22coqPackages.compcert: use OCaml 4.14Vincent Laporte
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux
2023-12-15treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobsAdam Joseph
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte
2023-11-10coqPackages.iris-named-props: new expression (#263100)ineol
2023-11-01coqPackages.VST: 2.11.1 → 2.12Vincent Laporte
2023-09-29coqPackages.vcfloat: init at 2.1.1Quinn Dougherty
2023-09-21coq: 8.17.1 -> 8.18.0Vincent Laporte
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-08-03coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte
2023-07-25coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte
2023-05-11mathcomp-infotheo: init at 0.5.1 (#231077)affeldt-aist
2023-04-13coq: default to version 8.17Vincent Laporte
2023-03-30Put mathcomp packages in alphabetical orderPierre Roux
2023-03-30Add coqPackages.mathcomp-aperyPierre Roux
2023-03-30coqPackages_8_13.VST: fix by using compatible version of ITreeThéo Zimmermann
2023-03-01compcert: 3.11 → 3.12Vincent Laporte
2023-02-21coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16Mario Rodas
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux
2022-11-24coqPackages.mathcomp-algebra-tactics: init at 1.0.0Cyril Cohen
2022-10-12coq: default to version 8.16Vincent Laporte
2022-10-12coq_8_16: use OCaml 4.14Vincent Laporte
2022-09-26Split coqPackages.mathcomp-analysisPierre Roux
2022-09-11Merge pull request #188766 from cdepillabout/overrideCoqDerivationDennis Gosnell
2022-09-06add attributes for metacoq subpackagesKenji Maillard
2022-08-29coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func...Dennis Gosnell
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-05-07coq: default to 8.15Vincent Laporte
2022-05-03coqPackages.metacoq: create package (#162639)Kenji Maillard
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-27 05:15:28 +0000