about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/corn/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-26coqPackages.math-classes: 8.18.0 → 8.19.0Vincent Laporte1-0/+2
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux1-1/+1
2023-11-25treewide: remove unnecessary patching of configure scriptArtturin1-1/+0
2023-10-25coqPackages.corn: 8.16.0 → 8.18.0Vincent Laporte1-0/+2
2023-05-31coqPackages.corn: enable for Coq 8.17Vincent Laporte1-1/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-09-19coqPackages.corn: 8.13.0 → 8.16.0Vincent Laporte1-2/+4
2022-01-25coqPackages.corn: mark as compatible with Coq 8.15Théo Zimmermann1-1/+1
2021-09-08coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0Théo Zimmermann1-3/+2
2021-07-28coqPackages.corn: 8.12.0 → 8.13.0Lars Rasmusson1-0/+2
2021-01-28coqPackages.corn: 8.8.1 → 8.12.0Vincent Laporte1-2/+8
2021-01-09coqPackages: refactorCyril Cohen1-24/+7
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2019-05-15coq: init at 8.10+β1Vincent Laporte1-1/+1
2018-12-10coqPackages.corn: init at 8.8.1Vincent Laporte1-0/+38
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-22 22:31:31 +0000