summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
9 daysBump version to 2.10.0Carlos Aznarán
2023-12-17Bump version to 2.9.1Carlos Aznarán
2022-12-10Remove verbose outputCarlos Aznarán Laos
2022-12-09Fix dune.moduleCarlos Aznarán Laos
2022-12-09Fix checksumCarlos Aznarán Laos
2022-12-09Bump version to 2.9.0Carlos Aznarán Laos
2022-12-05Bump version to 2.9Carlos Aznarán Laos
2021-09-29Fix DCMAKE_INSTALL_LIBDIR flagCarlos Aznarán Laos
2021-09-29Add contributor and remove verbose outputCarlos Aznarán Laos
2021-09-29Version bump to 2.8.0Carlos Aznarán Laos
2019-02-06added git makedependhoffer.joshua
2019-02-06updated to dune 2.6.0hoffer.joshua
2017-08-02Initial pkgbuild and .SRCINFOhoffer.joshua
2016-07-21initial commitLukas Böger