summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_compare/metadata.xml
AgeCommit message (Expand)Author
2024-02-14gentoo auto-resync : 14:02:2024 - 11:36:23V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2021-01-29gentoo resync : 29.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
2017-10-09reinit the tree, so we can have metadataV3n3RiX