Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.ITree: 5.1.1 → 5.1.2 | Vincent Laporte | 2023-11-17 |
* | coqPackages.ITree: 5.1.0 → 5.1.1 | Vincent Laporte | 2023-07-11 |
* | coqPackages.ITree: 4.0.0 → 5.1.0 | Vincent Laporte | 2023-03-15 |
* | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
* | Do not rely on coq-version when coq.version works just fine. | Théo Zimmermann | 2022-07-08 |
* | coqPackages.ITree: enable for Coq 8.16 | Vincent Laporte | 2022-06-13 |
* | coqPackages.ITree: enable for Coq 8.15 | Vincent Laporte | 2022-02-16 |
* | coqPackages.ITree: enable for Coq 8.14 | Vincent Laporte | 2021-12-22 |
* | coqPackages.ITree: changed pname to InteractionTrees | Lars Rasmusson | 2021-04-14 |
* | ITree: init at 4.0.0 | Lars Rasmusson | 2021-04-14 |