summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
AgeCommit message (Expand)Author
2023-08-16gentoo auto-resync : 16:08:2023 - 09:29:11V3n3RiX
2023-07-18gentoo auto-resync : 18:07:2023 - 00:58:24V3n3RiX
2023-07-16gentoo auto-resync : 16:07:2023 - 04:41:57V3n3RiX
2023-07-11gentoo auto-resync : 11:07:2023 - 10:29:18V3n3RiX
2023-06-28gentoo auto-resync : 28:06:2023 - 07:37:01V3n3RiX
2023-06-09gentoo auto-resync : 09:06:2023 - 21:49:23V3n3RiX
2023-05-27gentoo auto-resync : 27:05:2023 - 03:10:45V3n3RiX
2023-04-12gentoo auto-resync : 12:04:2023 - 17:41:40V3n3RiX
2023-04-11gentoo auto-resync : 11:04:2023 - 23:39:54V3n3RiX
2023-04-11gentoo auto-resync : 11:04:2023 - 17:39:25V3n3RiX
2023-04-10gentoo auto-resync : 10:04:2023 - 23:37:47V3n3RiX
2023-02-14gentoo auto-resync : 14:02:2023 - 07:56:50V3n3RiX
2022-11-26gentoo auto-resync : 26:11:2022 - 19:15:12V3n3RiX
2022-11-26gentoo auto-resync : 26:11:2022 - 07:14:17V3n3RiX
2022-09-06gentoo auto-resync : 06:09:2022 - 04:25:47V3n3RiX
2022-06-29gentoo resync : 29.12.2022V3n3RiX
2022-03-24gentoo resync : 25.03.2022V3n3RiX
2022-03-20gentoo resync : 20.03.2022V3n3RiX
2022-02-02gentoo resync : 02.02.2022V3n3RiX
2021-12-22gentoo resync : 22.12.2021V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2021-07-28gentoo resync : 28.07.2021V3n3RiX
2021-04-28gentoo resync : 28.04.2021V3n3RiX
2021-03-20gentoo resync : 20.03.2021V3n3RiX
2021-02-13gentoo (valentine's day) resync : 14.02.2021V3n3RiX
2021-01-22gentoo resync : 22.01.2021V3n3RiX
2020-11-25gentoo resync : 25.11.2020V3n3RiX
2020-01-15gentoo resync : 15.01.2020V3n3RiX
2019-12-15gentoo resync : 15.12.2019V3n3RiX
2019-11-10gentoo resync : 10.11.2019V3n3RiX
2019-09-28gentoo resync : 25.09.2019V3n3RiX
2018-04-10gentoo resync : 10.04.2018V3n3RiX
2017-12-15gentoo resync : 15.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX