GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
archive/repo/gentoo-2.git
RELEASE-1_4
import-1.1.1
master
Another conversion of the historical gentoo-x86 ebuild repository
Ulrich Müller <ulm@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
twelf
Commit message (
Expand
)
Author
Age
Files
Lines
*
QA: drop trailing '.' from DESCRIPTION
Sergei Trofimovich
2014-08-10
1
-6
/
+6
*
QA: drop trailing '.' from DESCRIPTION
Sergei Trofimovich
2014-08-10
2
-3
/
+6
*
Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...
Mark Wright
2014-01-15
1
-16
/
+7
*
Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...
Mark Wright
2014-01-15
3
-30
/
+446
*
sci-mathematics/twelf: Punt base.eclass
Justin Lecher
2014-01-06
1
-8
/
+18
*
sci-mathematics/twelf: Punt base.eclass
Justin Lecher
2014-01-06
3
-37
/
+40
*
fix bug 466776 - typo in email address
Mark Wright
2013-05-24
1
-5
/
+5
*
fix bug 466776 - typo in email address
Mark Wright
2013-05-24
2
-3
/
+7
*
twelf does not depend on omake. subslot dep in case any future ebuild depends...
Mark Wright
2012-12-12
1
-5
/
+5
*
twelf does not depend on omake. subslot dep in case any future ebuild depends...
Mark Wright
2012-12-12
2
-5
/
+8
*
Add twelf, ebuild by me
Mark Wright
2012-12-09
1
-0
/
+20
*
Add twelf, ebuild by me
Mark Wright
2012-12-09
9
-0
/
+240