summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
AgeCommit message (Expand)Author
2023-10-04gentoo auto-resync : 04:10:2023 - 11:51:15V3n3RiX
2023-02-14gentoo auto-resync : 14:02:2023 - 07:56:50V3n3RiX
2023-02-02gentoo auto-resync : 02:02:2023 - 21:08:25V3n3RiX
2022-11-01gentoo auto-resync : 01:11:2022 - 09:06:59V3n3RiX
2022-09-21gentoo auto-resync : 21:09:2022 - 05:25:18V3n3RiX
2022-05-12gentoo resync : 12.05.2022V3n3RiX
2022-03-20gentoo resync : 20.03.2022V3n3RiX
2022-02-02gentoo resync : 02.02.2022V3n3RiX
2022-01-04gentoo resync : 04.01.2022V3n3RiX
2021-12-05gentoo resync : 05.12.2021V3n3RiX