[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-12-15 Thread Andrew Ammerlaan
commit: d6f443bcf23ca2f4f6e583bd02a79fadcb1c1875 Author: Andrew Ammerlaan gentoo org> AuthorDate: Wed Dec 15 10:32:13 2021 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Wed Dec 15 10:35:02 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d6f443

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-10-01 Thread Francois-Xavier Carton
commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton gmail com> AuthorDate: Fri Oct 1 13:07:43 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Fri Oct 1 13:07:43 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-09-04 Thread Francois-Xavier Carton
commit: 6bd2366827c2e9dbd72d601651bb8348bdb7b04c Author: François-Xavier Carton gmail com> AuthorDate: Sat Sep 4 12:53:29 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Sep 4 13:07:40 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

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

2021-05-01 Thread Anna Vyalkova
commit: 673dc2eb7385a3583a72f665bbf26298fbdc0649 Author: Anna Vyalkova sysrq in> AuthorDate: Sun May 2 01:14:55 2021 + Commit: Anna Vyalkova sysrq in> CommitDate: Sun May 2 02:19:40 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=673dc2eb sci-ma

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-04-18 Thread Francois-Xavier Carton
commit: 556d223d1e4531cb91e44a21bba602ac92f2a25d Author: François-Xavier Carton gmail com> AuthorDate: Mon Apr 19 01:03:43 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Mon Apr 19 01:15:31 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-03-30 Thread Francois-Xavier Carton
commit: 42c0da6a668a33653427f8b8ff93073a189819c7 Author: François-Xavier Carton gmail com> AuthorDate: Tue Mar 30 19:32:21 2021 + Commit: Francois-Xavier Carton gmail com> CommitDate: Tue Mar 30 19:32:21 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

2021-01-09 Thread Francois-Xavier Carton
commit: 8774c3bacb82b878b97365d5c3c9764c1d38ae8a Author: François-Xavier Carton gmail com> AuthorDate: Fri Nov 27 18:16:28 2020 + Commit: Francois-Xavier Carton gmail com> CommitDate: Sat Jan 9 16:44:42 2021 + URL:https://gitweb.gentoo.org/repo/proj/guru.git/commit/