summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2024-09-24Update to 3.7 and build from sourceJonas Hvid
(Binary packages should have '-bin' suffix, cf. https://wiki.archlinux.org/title/AUR_submission_guidelines.) Modifications to LFLAGS are done to make 'namcap' happy.
2023-07-10Bump to Picat 3.5Alfredo Beaumont
2023-03-24Bump to Picat 3.4Alfredo Beaumont
2022-07-19Bump to Picat 3.2#6Alfredo Beaumont
2022-04-11Bump to Picat 3.2Alfredo Beaumont
2022-01-06Bump to Picat 3.1#6Alfredo Beaumont
2021-09-24Bump to Picat 3.1#2Alfredo Beaumont
2021-06-03Update the sha256sum of the package as it was updated.Alfredo Beaumont
I have confirmed with the author that the file was effectively changed on May 7th.
2021-05-07Bump to Picat 3.1Alfredo Beaumont
2021-02-19Bump to Picat 3.0#4 and add CVC4 optional dependency.Alfredo Beaumont
2020-10-12Bump to Picat 3.0#2Alfredo Beaumont
2020-04-22Bump to Picat 2.8#5.Alfredo Beaumont
2020-04-14Bump to Picat 2.8#4.Alfredo Beaumont
2020-01-05Bump to Picat 2.8.Alfredo Beaumont
Added CBC as a new optional dependency.
2019-04-08Bump to Picat 2.6#2Alfredo Beaumont
2018-12-28Update .SRCINFO accordingly.Alfredo Beaumont
2018-12-28Improve PKGBUILD's description and dependencies.Alfredo Beaumont
2018-12-26Initial package for Picat 2.5Alfredo Beaumont