summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
* sci-mathematics/alt-ergo: use HTTPsMichael Mair-Keimberger2018-06-021-2/+2
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-143-0/+51