Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-03-01 | coqPackages.smtcoq.cvc4: fix build with bash 5.2 | Vincent Laporte | 1 | -0/+4 |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+2 |
2023-01-11 | coqPackages_8_13.smtcoq: fix build by using older make | Vincent Laporte | 1 | -1/+1 |
2023-01-11 | coqPackages_8_13.smtcoq.cvc4: fix build by using older make | Vincent Laporte | 2 | -2/+6 |
2022-08-02 | coqPackages_8_13.smtcoq: build cvc4 with gcc10 | Vincent Laporte | 2 | -7/+8 |
2022-06-06 | smtcoq: fix cvc4 dependency | Ben Siraphob | 3 | -1/+111 |
2022-06-05 | coqPackages.smtcoq: itp22 -> 2021-09-17 | Ben Siraphob | 1 | -7/+16 |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -3/+5 |
2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -5/+3 |
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -3/+5 |
2022-05-07 | coqPackages.smtcoq: disable for Coq > 8.13 | Vincent Laporte | 1 | -2/+2 |
2022-04-13 | coqPackages.smtcoq: init at itp22 | Ben Siraphob | 1 | -0/+26 |