Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf
Commit message (Collapse)AuthorAgeFilesLines
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to ↵Justin Lecher2015-03-213-21/+40
| | | | | | | epatch Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-103-9/+12
| | | | | Package-Manager: portage-2.2.11_p9/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA
* Apply patch from upstream to fix twelf build with mlton-20130715. Add ↵Mark Wright2014-01-154-46/+453
| | | | | | | -fno-PIE to fix compile with mlton-20130715 on Gentoo hardened. Package-Manager: portage-2.2.8/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-064-45/+58
| | | | | Package-Manager: portage-2.2.8/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* fix bug 466776 - typo in email addressMark Wright2013-05-243-8/+12
| | | | | Package-Manager: portage-2.2.0_alpha176/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-123-10/+13
| | | | | | | depends on twelf. Package-Manager: portage-2.1.11.36/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Add twelf, ebuild by meMark Wright2012-12-0910-0/+260
Package-Manager: portage-2.1.11.34/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F