summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_deriving
AgeCommit message (Expand)Author
2024-10-19gentoo auto-resync : 19:10:2024 - 04:04:35V3n3RiX
2024-07-01gentoo auto-resync : 01:07:2024 - 08:00:50V3n3RiX
2024-02-14gentoo auto-resync : 14:02:2024 - 11:36:23V3n3RiX
2023-12-30gentoo auto-resync : 30:12:2023 - 01:36:49V3n3RiX
2023-09-19gentoo auto-resync : 19:09:2023 - 23:10:29V3n3RiX
2022-10-19gentoo auto-resync : 19:10:2022 - 13:58:24V3n3RiX
2022-08-05gentoo auto-resync : 05:08:2022 - 02:06:51V3n3RiX
2021-09-25gentoo resync : 25.09.2021V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2021-07-17gentoo resync : 17.07.2021V3n3RiX
2021-03-20gentoo resync : 20.03.2021V3n3RiX
2021-01-22gentoo resync : 22.01.2021V3n3RiX
2020-11-25gentoo resync : 25.11.2020V3n3RiX
2019-12-15gentoo resync : 15.12.2019V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-02-15gentoo resync : 15.02.2018V3n3RiX
2017-12-10gentoo resync : 10.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX