Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st... | Alexandre Buisse | 2007-03-18 | 2 | -3/+3 |
* | Initial commit | Alexandre Buisse | 2006-07-12 | 3 | -0/+27 |
index : archive/repo/gentoo-2.git | ||
Another conversion of the historical gentoo-x86 ebuild repository | Ulrich Müller <ulm@gentoo.org> |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st... | Alexandre Buisse | 2007-03-18 | 2 | -3/+3 |
* | Initial commit | Alexandre Buisse | 2006-07-12 | 3 | -0/+27 |