[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2023-04-02 Thread Alfredo Tupone
commit: 8395f9bd24c6d239774bcc990eaaca63b9d77ef2 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 2 21:04:18 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 2 21:05:02 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8395f9bd

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2023-04-02 Thread Alfredo Tupone
commit: aea65604ea143ed47ffbb54c9628113ec26908c9 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 2 14:22:42 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 2 14:22:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aea65604

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2023-04-02 Thread Alfredo Tupone
commit: dd5f5eb5b4c7b6262816c4fcc5edee33abfd9261 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 2 12:48:09 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 2 12:48:09 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dd5f5eb5

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2021-06-29 Thread Alfredo Tupone
commit: 5047348a53133478c69ec7994c0dc81390e03dd3 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Jun 29 19:38:40 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jun 29 19:38:40 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5047348a

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2020-06-12 Thread Alfredo Tupone
commit: ea162b812cb64c737eba031c8fcb8bbef7a2084a Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jun 12 21:24:23 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jun 12 21:24:23 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea162b81

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2017-11-01 Thread Alfredo Tupone
commit: f7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd Author: Tupone Alfredo gentoo org> AuthorDate: Wed Nov 1 20:28:03 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Nov 1 20:30:29 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f7767454

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/

2017-10-19 Thread Alfredo Tupone
commit: eb5feee2d87d486910df3c8b3cb505f1eb0e47c3 Author: Tupone Alfredo gentoo org> AuthorDate: Thu Oct 19 19:43:39 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Oct 19 19:43:39 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb5feee2