Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
* | coqPackages_8_13.smtcoq: fix build by using older make | Vincent Laporte | 2023-01-11 |
* | coqPackages_8_13.smtcoq.cvc4: fix build by using older make | Vincent Laporte | 2023-01-11 |
* | coqPackages_8_13.smtcoq: build cvc4 with gcc10 | Vincent Laporte | 2022-08-02 |
* | smtcoq: fix cvc4 dependency | Ben Siraphob | 2022-06-06 |
* | coqPackages.smtcoq: itp22 -> 2021-09-17 | Ben Siraphob | 2022-06-05 |
* | coqPackages: etc | Cyril Cohen | 2022-05-25 |
* | Revert "coqPackages: etc" | Vincent Laporte | 2022-05-13 |
* | coqPackages: etc | Cyril Cohen | 2022-05-12 |
* | coqPackages.smtcoq: disable for Coq > 8.13 | Vincent Laporte | 2022-05-07 |
* | coqPackages.smtcoq: init at itp22 | Ben Siraphob | 2022-04-13 |