summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/Verdi
AgeCommit message (Expand)Author
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2023-11-25treewide: remove unnecessary patching of configure scriptArtturin
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-06-12coqPackages.Verdi: 20211026 → 20230503Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-12-24coqPackages.Verdi: preemptive fix for removal of configure in future versionsThéo Zimmermann
2022-09-08coqPackages.Verdi: enable for Coq 8.16Vincent Laporte
2022-04-19coqPackages.Verdi: 20210524 → 20211026Vincent Laporte
2021-10-05coqPackages.Verdi: 20200131 → 20210524Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-09-10coqPackages.Verdi: enable for Coq 8.12Vincent Laporte
2020-06-02coqPackages.Verdi: 20190202 → 20200131Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-08-28treewide: remove redundant recvolth
2019-05-15coq: init at 8.10+β1Vincent Laporte
2019-04-25coqPackages.Verdi: 20181102 -> 20190202Vincent Laporte
2018-12-21coqPackages.Verdi: fix buildVincent Laporte
2018-11-20coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, VerdiJohn Wiegley
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 02:29:36 +0000