summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2022-02-28add libisl to providesAndrew Sun
2021-11-02update url and sourceAndrew Sun
2021-10-02update source linkAndrew Sun
2021-05-080.24Andrew Sun
2020-11-14Update to version 0.23Theodoros Theodoridis
2020-01-27Update to version 0.22.1Theodoros Theodoridis
2019-11-17Update to version 0.22Theodoros
2019-03-28Update to version 0.21Theodoros Theodoridis
2018-12-30Switch back to the original sourceTheodoros Theodoridis
2018-08-08Add git in makedependsTheodoros Theodoridis
2018-08-08Use an alternative sourceTheodoros Theodoridis
Previously the source was downloaded from INRIA's website but it currently is down. Now the git repository is used instead and the approriate tag is checkout out.
2018-07-30Fix .SRCINFOTheodoros Theodoridis
2018-07-29Update to version 0.20Theodoros Theodoridis
2018-03-05New version releaseTheodoros Theodoridis
2017-05-12Fix conflicts arrayTheodoros Theodoridis
2017-05-04Update conflictsTheodor Theodoridis
2016-12-28Update to 0.18Theodoros Theodoridis
2016-12-12Update to 0.17.1Theodoros Theodoridis
2016-04-02Update to 0.16-1sudokode
2015-08-16.SRCINFOsudokode
2015-08-16PKGBUILDsudokode
2015-06-08initsudokode