summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
AgeCommit message (Expand)Author
2020-12-18gentoo resync : 18.12.2020V3n3RiX