summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
AgeCommit message (Expand)Author
2022-08-22gentoo auto-resync : 22:08:2022 - 02:42:13V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2021-03-20gentoo resync : 20.03.2021V3n3RiX
2021-01-01gentoo new year resync : 01.01.2021V3n3RiX
2020-12-18gentoo resync : 18.12.2020V3n3RiX
2020-11-25gentoo resync : 25.11.2020V3n3RiX
2020-05-30gentoo resync : 30.05.2020V3n3RiX
2020-01-15gentoo resync : 15.01.2020V3n3RiX
2019-11-18gentoo resync : 18.11.2019V3n3RiX
2017-12-15gentoo resync : 15.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX