[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-05-07 Thread Francois-Xavier Carton
commit: 6e6f034d42c2c67173ad1eb8bff08ca60404b7e6 Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 17:45:17 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat May 7 17:46:34 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

2022-01-13 Thread Francois-Xavier Carton
commit: e721c2b1bd9307c122c1f4f4bcc730bcfdcc Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 19:37:41 2022 + Commit: Francois-Xavier Carton gmail com> CommitDate: Thu Jan 13 20:35:57 2022 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/