summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild
AgeCommit message (Expand)Author
2017-10-09reinit the tree, so we can have metadataV3n3RiX