summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/equations
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-06coqPackages_9_1.equations: init at 1.3.1+9.1Vincent Laporte
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-01-31coqPackages.equations: 1.3.1+8.20 -> 1.3.1+9.0Pierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-07-23coqPackages.equations: 1.3.1 for Coq 8.20Vincent Laporte
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-03-18coqPackages_8_19.equations: init at 1.3+8.19Vincent Laporte
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-02-01coqPackages_8_17.equations: init at 1.3+8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-22Support dev version of equationsMatthieu Sozeau
2022-07-25coqPackages_8_16.equations: init at 1.3+8.16Vincent Laporte
2022-01-25coqPackages_8_15.equations: init at 1.3+8.15Théo Zimmermann
2021-12-03coqPackages.equations: 1.2.4 → 1.3 (for Coq 8.13)Vincent Laporte
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-04-14coqPackages.equations: 1.2.3 → 1.2.4Lars Rasmusson
2021-01-09coqPackages: refactorCyril Cohen
2020-08-08coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte
2020-06-30coqPackages.equations: 1.2.1 → 1.2.2Vincent Laporte
2020-04-23coqPackages.equations: 1.2 → 1.2.1Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-12-30treewide: installFlags is a listRobin Gloster
2019-09-08treewide: remove redundant quotesvolth
2019-08-26treewide: remove redundant quotesvolth
2019-07-23coqPackages.equations: 1.2beta2 -> 1.2 (#65281)Vincent Laporte
2019-05-23updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte
2019-01-31coqPackages.equations: 1.2-beta-8.9 for coq_8_9John Wiegley
2019-01-28coq-modules: add default to fix evalMatthew Bauer
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-07-08coqPackages.equations: enable for Coq 8.8Vincent Laporte
2018-07-05coqPackages.equations: Add support for Coq 8.8John Wiegley
2017-12-21coqPackages.equations: -> 1.0John Wiegley
2017-12-18coqPackages: move to a separate file and filter the package setVincent Laporte
2017-11-12Add missing default.nix for coqPackages.equationsJohn Wiegley
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:30:53 +0000