summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/ITree
AgeCommit message (Expand)Author
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-03-14treewide: remove unused rec expressionsSigmanificient
2025-03-13coqPackages.paco: 4.2.2 → 4.2.3Vincent Laporte
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2025-01-16coqPackages.paco: 4.2.0 → 4.2.2Vincent Laporte
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-07coqPackages.ExtLib: 0.12.1 → 0.12.2Vincent Laporte
2024-08-16coqPackages.ITree: 5.1.2 -> 5.2.0damhiya
2024-08-16coqPackages.ITree: add 3.2.0 hashdamhiya
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-01-26coqPackages_8_19.ITreePierre Roux
2023-11-17coqPackages.ITree: 5.1.1 → 5.1.2Vincent Laporte
2023-07-11coqPackages.ITree: 5.1.0 → 5.1.1Vincent Laporte
2023-03-15coqPackages.ITree: 4.0.0 → 5.1.0Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-07-08Do not rely on coq-version when coq.version works just fine.Théo Zimmermann
2022-06-13coqPackages.ITree: enable for Coq 8.16Vincent Laporte
2022-02-16coqPackages.ITree: enable for Coq 8.15Vincent Laporte
2021-12-22coqPackages.ITree: enable for Coq 8.14Vincent Laporte
2021-04-14coqPackages.ITree: changed pname to InteractionTreesLars Rasmusson
2021-04-14ITree: init at 4.0.0Lars Rasmusson
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 03:09:04 +0000