]> git.pld-linux.org Git - packages/pluto.git/history - pluto-updates.patch
- adjusted updated patch to cover deprecated isl_int removal in 0.19
[packages/pluto.git] / pluto-updates.patch
2018-04-02 Jakub Bogusz- adjusted updated patch to cover deprecated isl_int...
2015-12-03 Jakub Bogusz- updated to 0.11.4 auto/th/pluto-0.11.4-1
2014-10-05 Jakub Bogusz- new
This page took 0.193015 seconds and 10 git commands to generate.