Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add sci-mathematics/sha1-polyml for sci-mathematics/isabelle | Mark Wright | 2012-12-08 | 4 | -0/+115 |
Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F |
index : repo/gentoo/historical.git | ||
Gentoo ebuild repository HISTORICAL read-only tree | Infrastructure team <infrastructure@gentoo.org> |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add sci-mathematics/sha1-polyml for sci-mathematics/isabelle | Mark Wright | 2012-12-08 | 4 | -0/+115 |
Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F |