[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/

2022-04-15 Thread Alessandro Barbieri
commit: f3851a7d96994af358f02eed999309cb1d813090 Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 21:35:52 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 21:36:18 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/

2022-04-04 Thread Alessandro Barbieri
commit: c520e2c00225581421ac7b3cb9a9b4884e2d92df Author: Alessandro Barbieri gmail com> AuthorDate: Mon Apr 4 19:31:26 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Mon Apr 4 19:32:04 2022 + URL:

[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/mirage-profile/

2022-04-03 Thread Alessandro Barbieri
commit: 2af0b71b5b88f92fe10289f6d75e2628e5c60daa Author: Alessandro Barbieri gmail com> AuthorDate: Sun Apr 3 07:55:42 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Sun Apr 3 23:46:08 2022 + URL: