Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/twelf: mark as LTO-unsafeEli Schwartz2024-09-091-1/+7
* sci-mathematics/twelf: update HOMEPAGE for httpsEli Schwartz2024-09-091-1/+1
* sci-mathematics/twelf: update SRC_URI to new mirrorEli Schwartz2024-09-091-2/+2
* sci-mathematics/twelf: add github upstream metadataEli Schwartz2024-09-091-0/+3
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+1
* sci-mathematics/twelf: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
* sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.Mark Wright2022-03-291-4/+19
* sci-mathematics/twelf: emake -j1 is sufficient to fix doc buildMark Wright2022-03-291-6/+2
* sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotesMark Wright2022-03-276-16/+131
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/twelf: eutils--Sam James2021-04-181-2/+2
* sci-mathematics/twelf: Remove oldJakov Smolic2021-01-201-113/+0
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.Mark Wright2018-03-113-5/+132
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
* 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-2/+2
* sci-mathematics/twelf: Fix doc generationVikraman Choudhury2016-02-111-0/+1
* sci-mathematics/twelf: Fix typoVikraman Choudhury2016-02-111-2/+2
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0810-0/+641