summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/InfSeqExt
AgeCommit message (Expand)Author
2026-02-11rocqPackages.stdlib: 9.1.0 -> 9.2.0Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux
2023-11-25treewide: remove unnecessary patching of configure scriptArtturin
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-06-12coqPackages.InfSeqExt: 20200131 → 20230107Vincent Laporte
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux
2022-12-24coqPackages.InfSeqExt: preemptive fix for removal of configure in future vers...Théo Zimmermann
2022-07-08Do not rely on coq-version when coq.version works just fine.Théo Zimmermann
2021-01-09coqPackages: refactorCyril Cohen
2020-09-10coqPackages.Verdi: enable for Coq 8.12Vincent Laporte
2020-06-02coqPackages.InfSeqExt: 20180918 → 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
2018-12-21coqPackages.InfSeqExt: 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-22 20:48:34 +0000