summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-181-1/+12
| | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add filemanip for sci-mathematics/agda-stdlib-0.7_pre20121118Mark Wright2012-11-184-0/+50
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)