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

commit: f26c248e743d5776b2ff05e28621acfdb6529e97 Author: Sam James gentoo org> AuthorDate: Tue Dec 31 16:59:31 2024 + Commit: Sam James gentoo org> CommitDate: Tue Dec 31 16:59:31 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f26c248e sci-mathemati

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

commit: 662149e4459da877c9f4262ed3d9138a494cf4f3 Author: Sam James gentoo org> AuthorDate: Tue Dec 31 16:49:38 2024 + Commit: Sam James gentoo org> CommitDate: Tue Dec 31 16:53:38 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=662149e4 sci-mathemati

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

commit: d1fd3ef71e050b12fa1023bb061fc5e14a549cc5 Author: Sam James gentoo org> AuthorDate: Tue Dec 31 16:49:58 2024 + Commit: Sam James gentoo org> CommitDate: Tue Dec 31 16:53:39 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1fd3ef7 sci-mathemati

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

commit: 8cd7407a5d3d0a3816d54d823ce730ce7f10348e Author: Alfredo Tupone gentoo org> AuthorDate: Sun Dec 15 07:36:13 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Dec 15 07:36:40 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8cd7407a sci

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

commit: 920389a3a3ffaad8194fab02688d0c2f32217e13 Author: Alfredo Tupone gentoo org> AuthorDate: Thu Nov 28 18:43:48 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Nov 28 18:47:52 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=920389a3 sci

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

commit: d58c273f2681691ec5eaf8101e35730a2b9bc2e8 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Dec 29 22:42:59 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Dec 29 22:43:55 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d58c273f sci

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

commit: 8a158de860dd20b8a4ac9f9b8adc6317ba8d738c Author: Alfredo Tupone gentoo org> AuthorDate: Mon Apr 3 06:20:30 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Apr 3 06:21:06 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8a158de8 sci

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

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 sci

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

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 sci

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

commit: 2dd73ad05b6f04585994edc2ff4b79638ab28850 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 2 13:20:59 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 2 13:21:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2dd73ad0 sci

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

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 sci

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

commit: e3e8e816e8945f661507f1235fd1779fe7039d35 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 2 11:24:42 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 2 11:25:32 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e3e8e816 sci

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

commit: e361aafd702c08c1f382bcfe2006331603d6f526 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Mar 31 13:12:01 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Mar 31 13:12:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e361aafd sci

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

commit: 132e6e560929e0b0f4df7d56fbc7d1fc223ac64a Author: Alfredo Tupone gentoo org> AuthorDate: Sat Nov 26 13:44:45 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Nov 26 13:46:56 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=132e6e56 sci

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

commit: e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Jul 26 19:39:39 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jul 26 19:54:20 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6

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

commit: 57ec03f6bd51b2909aa42a8d93f8acd0c544 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Jun 27 08:47:05 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Jun 27 08:47:05 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57ec03f6 sci

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

commit: 641255d69acd7ef55105d2032ffb42d889ed5902 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Jun 27 06:19:33 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Jun 27 06:19:33 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=641255d6 sci

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

commit: ed2328c4b86578b7b8f53c2c4a372718635f26f6 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Mar 11 21:00:38 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Mar 11 21:01:12 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed2328c4 sci

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

commit: d5e5640e5928b4e17ed5bdea1d1e0a999d36b0b9 Author: Michael Mair-Keimberger levelnine at> AuthorDate: Thu Feb 10 11:42:42 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Feb 10 12:35:41 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d5

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

commit: ddc4457e1404d8eafbb724d1fc77656f5c049d6e Author: Alfredo Tupone gentoo org> AuthorDate: Mon Feb 7 21:48:12 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Feb 7 21:48:12 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddc4457e sci

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

commit: 0dad6929d837bb643f4e260f9eb1ca16b6b6c0ba Author: Alfredo Tupone gentoo org> AuthorDate: Mon Feb 7 12:50:40 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Feb 7 12:50:40 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0dad6929 sci

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

commit: ee9179423d62240ec33f0bb32d24c640169afbf3 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Feb 7 09:57:19 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Feb 7 09:57:19 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee917942 sci

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

commit: c4284123349e1f898877a81d497bbaf1569cccfa Author: Alfredo Tupone gentoo org> AuthorDate: Mon Feb 7 09:54:50 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Feb 7 09:55:25 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c4284123 sci

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

commit: 6e412177eb38dfea270e9c6c8cf60375cc9ddd81 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Feb 6 15:52:17 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Feb 6 17:41:30 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e412177 sci

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

commit: cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Sep 18 16:48:56 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Sep 18 16:51:25 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf52b47b sci

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

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 sci

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

commit: 3daf7a4558c0902de667621d1b3c3224418a5007 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Jun 29 14:16:08 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jun 29 14:16:08 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3daf7a45 sci

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

commit: fa8a6b65b706ccd8cd58fe0d9d3bd0b6d00a610b Author: Alfredo Tupone gentoo org> AuthorDate: Sat Jun 12 18:51:19 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Jun 12 18:51:46 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fa8a6b65 sci

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

commit: 5aff1bfa73f6a17a8f9d6952315f80b2f84e9667 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Feb 10 17:25:02 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Feb 10 17:25:02 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5aff1bfa sci

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

commit: fb6c36404e813f6160eddede1e188cf643546e4c Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 9 17:49:37 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 9 17:49:37 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb6c3640 sci

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

commit: 13795972d83aa1591561d7e60c220c623538b5e2 Author: Sam James gentoo org> AuthorDate: Sun Jan 17 04:03:17 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:28 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13795972 sci-mathemati

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

commit: 8095292e91a60900fb257d373295d0052f883f46 Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:59:40 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:27 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8095292e sci-mathemati

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

commit: 0959f5c012916f832872f2d864fb06552e1d16d5 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Jun 15 17:19:49 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Jun 15 17:19:49 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0959f5c0 sci

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

commit: 74292be3bc80e701d8edc741daf55e7053583ced Author: Alfredo Tupone gentoo org> AuthorDate: Sun Jun 14 11:49:16 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jun 14 11:49:16 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=74292be3 sci

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

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 sci

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

commit: 80264f6226c82b6ae16c92c98cd7835e71a53680 Author: Alfredo Tupone gentoo org> AuthorDate: Wed May 27 19:24:39 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed May 27 19:24:39 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80264f62 sci

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

commit: 15f19de474ea4871f4284684f26b152ed2eff792 Author: Tupone Alfredo gentoo org> AuthorDate: Fri Jan 17 10:41:07 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jan 17 10:41:07 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15f19de4 sci

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

commit: 47cce5e3baa22474f4e67467d0a320adee35c8ad Author: Tupone Alfredo gentoo org> AuthorDate: Thu Jan 16 10:09:16 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jan 16 10:09:16 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=47cce5e3 sci

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

commit: 9e87df67d81653262595c6e816aea5326ec015e6 Author: Tupone Alfredo gentoo org> AuthorDate: Wed Jan 15 08:18:52 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Jan 15 08:18:52 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e87df67 sci

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

commit: d53b71f85b0a0eac777c476cb523c7bc30d3e5da Author: Tupone Alfredo gentoo org> AuthorDate: Tue Jan 14 07:51:42 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jan 14 07:51:42 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d53b71f8 sci

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

commit: 6c532ec926058d96e6d584075b63a32e4fb2c300 Author: Ulrich Müller gentoo org> AuthorDate: Fri Dec 20 16:31:12 2019 + Commit: Ulrich Müller gentoo org> CommitDate: Fri Dec 20 22:48:52 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c532ec9 sci-m

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

commit: 7db15954ce77fbeacba298e6a9b01fad1f37798a Author: Tupone Alfredo gentoo org> AuthorDate: Fri Oct 11 07:28:10 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 11 07:28:10 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7db15954 sci

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

commit: 1075f5c716518cebdef31cb080bceb6c2bb4f71b Author: Tupone Alfredo gentoo org> AuthorDate: Fri Mar 29 08:25:45 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Mar 29 08:25:45 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1075f5c7 sci

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

commit: f0437170eb42e30839073788456e18d5e695665b Author: Tupone Alfredo gentoo org> AuthorDate: Fri Mar 15 07:24:05 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Mar 15 07:24:59 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0437170 sci

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

commit: 05ca892773aa24c6dd3b8b0fa28d5aa261ffe4f0 Author: Tupone Alfredo gentoo org> AuthorDate: Sun Dec 16 08:36:37 2018 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Dec 16 08:36:37 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05ca8927 sci

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

commit: a30437c0c5fb08780562baccb5ff3eeb511bb6ad Author: Tupone Alfredo gentoo org> AuthorDate: Fri Jul 13 06:49:22 2018 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jul 13 06:49:22 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a30437c0 sci

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

commit: 414f51e061f8082d6be5f1e342924bc8cf24ed3b Author: Tupone Alfredo gentoo org> AuthorDate: Tue Mar 27 06:05:35 2018 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 27 06:05:35 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=414f51e0 sci

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

commit: ce9a2c2e5a2c8c7acc61c556147b7385139071a5 Author: Tupone Alfredo gentoo org> AuthorDate: Mon Nov 6 21:09:20 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Nov 6 21:09:20 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ce9a2c2e sci

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

commit: 8762ce2768ade2f75a3f87f4591bd30a3be88f21 Author: Tupone Alfredo gentoo org> AuthorDate: Sat Nov 4 20:46:39 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Nov 4 20:46:39 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8762ce27 sci

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

commit: 9ca01a8eb0c26afe211e01dcea811b54b29f0b28 Author: Tupone Alfredo gentoo org> AuthorDate: Sat Nov 4 18:28:34 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Nov 4 18:28:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ca01a8e sci

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

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 sci

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

commit: 7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51 Author: Tupone Alfredo gentoo org> AuthorDate: Wed Oct 25 17:28:48 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Oct 25 17:28:48 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e278f5c sci

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

commit: 06a07ce4bfbcaf034558bb8a95c18e644b3683c6 Author: Tupone Alfredo gentoo org> AuthorDate: Tue Oct 24 19:58:51 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Oct 24 19:58:51 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06a07ce4 sci

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

commit: 68056447a56bcd1c6d4ff5c342651190889c252a Author: Tupone Alfredo gentoo org> AuthorDate: Tue Oct 24 18:32:44 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Oct 24 18:32:44 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68056447 sci

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

commit: b9de4cea63a1f308a54f7fdfbe818a65bf9bcace Author: Tupone Alfredo gentoo org> AuthorDate: Mon Oct 23 18:29:37 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Oct 23 18:30:36 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9de4cea sci

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

commit: cb97b25bd87da46462a3d73b4d5bcda6cc13f2e1 Author: Tupone Alfredo gentoo org> AuthorDate: Fri Oct 20 05:48:20 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Oct 20 05:48:20 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb97b25b sci

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

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 sci