summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/psmt2-frontend: ignore CFLAGS warningAlfredo Tupone2020-05-271-1/+10
* sci-mathematics/psmt2-frontend: RedundantLongDescriptionTupone Alfredo2020-02-021-4/+0
* sci-mathematics/psmt2-frontend: fix make installTupone Alfredo2019-10-291-0/+3
* sci-mathematics/psmt2-frontend: rename configure.in to acTupone Alfredo2019-10-281-0/+6
* sci-mathematics/psmt2-frontend: Stable versionTupone Alfredo2019-10-211-1/+1
* sci-mathematics/psmt2-frontend: add psmt2-frontendTupone Alfredo2019-07-264-0/+60