summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/prover9: fix tests; bump to EAPI 8Maciej Barć2024-02-141-25/+23
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
* sci-mathematics/prover9: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/prover9: eutils--Sam James2021-04-161-2/+2
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-221-1/+1
* sci-mathematics/prover9: eapi=7, add src_testMark Wright2020-01-071-6/+13
* sci-mathematics/prover9: use HTTPSMichael Mair-Keimberger2019-05-021-3/+3
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* fix quoting to a lot of patch callsMike Frysinger2017-01-201-1/+1
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-242-2/+2
* proj/gentoo: Initial commitRobin H. Johnson2015-08-084-0/+603