about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/Cheerios
Commit message (Expand)AuthorAge
* Bump a few things compiling with Coq 8.19Pierre Roux2023-12-19
* treewide: remove unnecessary patching of configure scriptArtturin2023-11-25
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.Cheerios: 20200201 → 20230107Vincent Laporte2023-06-12
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux2023-01-06
* coqPackages.Cheerios: preemptive fix for removal of configure in future versionsThéo Zimmermann2022-12-24
* Do not rely on coq-version when coq.version works just fine.Théo Zimmermann2022-07-08
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.Verdi: enable for Coq 8.12Vincent Laporte2020-09-10
* coqPackages.Cheerios: 20181102 → 20200201Vincent Laporte2020-06-02
* treewide: installFlags is a listRobin Gloster2019-12-30
* treewide: remove redundant recvolth2019-08-28
* coq: init at 8.10+β1Vincent Laporte2019-05-15
* coqPackages.Cheerios: fix buildVincent Laporte2018-12-21
* coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, VerdiJohn Wiegley2018-11-20
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 16:11:03 +0000