summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/corn
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-03-14treewide: remove unused rec expressionsSigmanificient
2025-02-12coqPackages.corn: 8.19 -> 8.20Pierre Roux
2025-01-18coqPackages.corn: missing coq-elpi dependency for master (> 8.19.0)Pierre Roux
2025-01-18Add missing mlPluginPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-04-26coqPackages.math-classes: 8.18.0 → 8.19.0Vincent Laporte
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux
2023-11-25treewide: remove unnecessary patching of configure scriptArtturin
2023-10-25coqPackages.corn: 8.16.0 → 8.18.0Vincent Laporte
2023-05-31coqPackages.corn: enable for Coq 8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-19coqPackages.corn: 8.13.0 → 8.16.0Vincent Laporte
2022-01-25coqPackages.corn: mark as compatible with Coq 8.15Théo Zimmermann
2021-09-08coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0Théo Zimmermann
2021-07-28coqPackages.corn: 8.12.0 → 8.13.0Lars Rasmusson
2021-01-28coqPackages.corn: 8.8.1 → 8.12.0Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-12-30treewide: installFlags is a listRobin Gloster
2019-05-15coq: init at 8.10+β1Vincent Laporte
2018-12-10coqPackages.corn: init at 8.8.1Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:49:04 +0000