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

2021-10-01 Thread Haelwenn Monnier
commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton gmail com> AuthorDate: Fri Oct 1 13:07:43 2021 + Commit: Haelwenn Monnier hacktivis me> CommitDate: Fri Oct 1 13:07:43 2021 + URL:

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

2021-04-19 Thread Andrew Ammerlaan
commit: 556d223d1e4531cb91e44a21bba602ac92f2a25d Author: François-Xavier Carton gmail com> AuthorDate: Mon Apr 19 01:03:43 2021 + Commit: Andrew Ammerlaan riseup net> CommitDate: Mon Apr 19 01:15:31 2021 + URL:

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

2021-03-31 Thread Andrew Ammerlaan
commit: 42c0da6a668a33653427f8b8ff93073a189819c7 Author: François-Xavier Carton gmail com> AuthorDate: Tue Mar 30 19:32:21 2021 + Commit: Andrew Ammerlaan riseup net> CommitDate: Tue Mar 30 19:32:21 2021 + URL:

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

2021-01-10 Thread Andrew Ammerlaan
commit: 8774c3bacb82b878b97365d5c3c9764c1d38ae8a Author: François-Xavier Carton gmail com> AuthorDate: Fri Nov 27 18:16:28 2020 + Commit: Andrew Ammerlaan riseup net> CommitDate: Sat Jan 9 16:44:42 2021 + URL: