aboutsummaryrefslogtreecommitdiff
path: root/math/apron
Commit message (Expand)AuthorAgeFilesLines
* math/apron: Update 0.9.11 -> 0.9.12Yuri Victorovich2020-02-092-4/+4
* math/apron: Rm stray lineYuri Victorovich2018-12-141-1/+0
* math/apron: Add forgotten patches that set SONAME on shared librariesYuri Victorovich2018-12-147-0/+102
* New port: math/apron: APRON numerical abstract domain libraryYuri Victorovich2018-12-144-0/+157