Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump agda-stdlib to 0.8 | Mark Wright | 2014-07-02 | 1 | -0/+67 |
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 agda-stdlib to 0.8 | Mark Wright | 2014-07-02 | 1 | -0/+67 |