summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/reglang
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: fix formatting fixPierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.reglang: 1.2.1 -> 1.2.2Pierre Roux
2025-05-10coqPackages.mathcomp: 2.3.0 -> 2.4.0Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-02-14coqPackages.mathcomp: remove Stdlib dependencyPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-08-01reglang 1.2.1 compiles with Coq 8.20Pierre Roux
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-01-26coqPackages_8_19.reglangPierre Roux
2023-10-31Add various mathcomp 2.1 versionsPierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-06-15coqPackages.reglang: 1.1.2 → 1.1.3Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-08coqPackages.reglang: enable for Coq 8.16Vincent Laporte
2022-01-25coqPackages.reglang: mark as compatible with Coq 8.15Théo Zimmermann
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-06-08coqPackages.reglang: init at 1.1.2Ben Siraphob
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 21:41:27 +0000