about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/smtcoq
AgeCommit message (Expand)AuthorFilesLines
2024-02-12coqPackages.smtcoq: expand to more supported versionsBen Siraphob3-126/+14
2024-01-18coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenvVincent Laporte1-1/+3
2023-03-01coqPackages.smtcoq.cvc4: fix build with bash 5.2Vincent Laporte1-0/+4
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+2
2023-01-11coqPackages_8_13.smtcoq: fix build by using older makeVincent Laporte1-1/+1
2023-01-11coqPackages_8_13.smtcoq.cvc4: fix build by using older makeVincent Laporte2-2/+6
2022-08-02coqPackages_8_13.smtcoq: build cvc4 with gcc10Vincent Laporte2-7/+8
2022-06-06smtcoq: fix cvc4 dependencyBen Siraphob3-1/+111
2022-06-05coqPackages.smtcoq: itp22 -> 2021-09-17Ben Siraphob1-7/+16
2022-05-25coqPackages: etcCyril Cohen1-3/+5
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-5/+3
2022-05-12coqPackages: etcCyril Cohen1-3/+5
2022-05-07coqPackages.smtcoq: disable for Coq > 8.13Vincent Laporte1-2/+2
2022-04-13coqPackages.smtcoq: init at itp22Ben Siraphob1-0/+26
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 05:17:59 +0000