summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2024-09-08Update packageNeferin
2024-06-22Update packageNeferin
2024-03-17Update packageNeferin
2024-01-28Update packageNeferin
2023-12-21Update packageNeferin
2023-09-01v1.0.8Julian Pollinger
2023-08-15Version 1.0.6Julian Pollinger
2023-04-23rename downloaded cvc5 file to avoid caching between versionsJulian Pollinger
2023-03-13version 1.0.5Julian Pollinger
2023-02-011.0.4Julian Pollinger
2023-01-29specify conflict with potential other package providing cvc5Julian Pollinger
2023-01-29add bash as makeDependencyJulian Pollinger
2022-12-15version 1.0.3Julian Pollinger
2022-10-17initial commit for cvc5-binJulian Pollinger