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

2022-05-24 Thread Alessandro Barbieri
commit: b4c3ca2dffbdb053517339d48361269d2c9ebe9d Author: Alessandro Barbieri gmail com> AuthorDate: Tue May 24 17:11:47 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Tue May 24 17:36:40 2022 + URL:

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

2022-05-24 Thread Alessandro Barbieri
commit: 777661746dddac4558a83fe02d122d218b9aad4d Author: Alessandro Barbieri gmail com> AuthorDate: Tue May 24 17:11:58 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Tue May 24 17:36:40 2022 + URL:

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

2022-04-16 Thread Alessandro Barbieri
commit: 976f70627c30a417c0af794e0a16300e8b3a191b Author: Alessandro Barbieri gmail com> AuthorDate: Sat Apr 16 18:26:01 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Sat Apr 16 18:27:39 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: 8470521dbcb82ccd53c4607ded11a7c198a7586b Author: Alessandro Barbieri gmail com> AuthorDate: Sat Apr 16 00:23:18 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Sat Apr 16 00:29:42 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: e6eff67e37372de1ba447d90d36e571aabfe0c68 Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 22:12:10 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 22:46:50 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: ec7633d39b40a5ba10e1cc7038603d164e6457ff Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 21:47:08 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 22:46:49 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: d039061a00d3e41a7961b6a7a26da816a7ed6a58 Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 22:07:32 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 22:46:50 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: b37dacce30abe96144458e271e7755c8a1150b93 Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 21:51:16 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 22:46:49 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: 3254a5408d53a992b190c3f9f0a5152ab28507fd Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 21:56:00 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 22:46:49 2022 + URL:

[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/

2022-04-15 Thread Alessandro Barbieri
commit: c5d9372db7c8a7ff180ba44d624129c38c25b66a Author: Alessandro Barbieri gmail com> AuthorDate: Fri Apr 15 17:41:17 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 20:34:21 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: 4e244927bc9c83e18a63ceea9f61dbf058d32def Author: Alessandro Barbieri gmail com> AuthorDate: Sat Apr 9 14:00:03 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 20:34:20 2022 + URL:

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

2022-04-15 Thread Alessandro Barbieri
commit: d8328d544c04a407a5572a5d56d3bd8c159d3cd9 Author: Alessandro Barbieri gmail com> AuthorDate: Sat Apr 9 13:06:39 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Fri Apr 15 20:34:20 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/

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

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

2022-04-03 Thread Alessandro Barbieri
commit: bb6d985074c6387fb5ac2046346e55a87d433238 Author: Alessandro Barbieri gmail com> AuthorDate: Sun Apr 3 08:08:24 2022 + Commit: Alessandro Barbieri gmail com> CommitDate: Sun Apr 3 23:46:08 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: