[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/

commit: 31463d3fe79d6abed444c7d01d11c55f1281eef6 Author: Sam James gentoo org> AuthorDate: Tue Dec 31 16:49:14 2024 + Commit: Sam James gentoo org> CommitDate: Tue Dec 31 16:53:37 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=31463d3f 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/, sci-mathematics/why3/files/

commit: 4a95491d669ef0a95bc8a8c705aea5149e2f0148 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Nov 20 21:44:46 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Nov 20 21:45:10 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a95491d sci

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

commit: 9ed530debc4355d1141b61c2a8fabff35efc55c1 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Nov 19 20:03:01 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Nov 19 20:03:14 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ed530de 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/

commit: 8172b96a31be44514df28bdd63c866ce615f9790 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:52:19 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8172b96a sci-mathe

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

commit: 0eb41919c406dc8282d78c71cceb73e7ea1e284d Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:52:36 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:02 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0eb41919 sci-mathe

[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/

commit: ee8a6c729b7e0d802129ac020fba8b7b212c49f0 Author: Maciej Barć gentoo org> AuthorDate: Sat Apr 1 21:43:46 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Apr 1 22:35:47 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee8a6c72 sci-mathe

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

commit: c369073451a29ba37f806d8429a1e69cdc999745 Author: Maciej Barć gentoo org> AuthorDate: Sat Apr 1 21:43:59 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Apr 1 22:35:47 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c3690734 sci-mathe

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

commit: 55c35b5dfb116b0619f48f6162afb4698b109891 Author: Maciej Barć gentoo org> AuthorDate: Sat Apr 1 21:44:09 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Apr 1 22:35:48 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=55c35b5d sci-mathe

[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/

commit: 0e667f1eec8cf52339e41e209591281258574fc7 Author: Maciej Barć gentoo org> AuthorDate: Mon Sep 19 18:44:26 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 19 18:59:23 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e667f1e sci-mathe

[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/

commit: 5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9 Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Jul 26 19:38:11 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jul 26 19:54:10 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c

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

commit: 28fa4c56bba04fe751e45cff07af6e2285bca741 Author: Maciej Barć gentoo org> AuthorDate: Fri Jul 22 22:23:52 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 23 00:03:18 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=28fa4c56 sci-mathe

[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/

commit: 7a4a24d0168c9092f69cafa35ca1872d7e77e0de Author: François-Xavier Carton gmail com> AuthorDate: Sat May 7 16:15:12 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat May 7 16:50:25 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7a4a24d0

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

commit: e0300e30cdf32fdb0d0ca67c9eb6c3e5e53e5bf3 Author: Maciej Barć gentoo org> AuthorDate: Sat Apr 16 21:24:31 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Apr 16 21:24:41 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0300e30 sci-mathe

[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/

commit: da140912911bef67070defaa18676a365f269cf2 Author: Maciej Barć gentoo org> AuthorDate: Fri Mar 4 11:02:09 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Mar 4 11:02:09 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=da140912 sci-mathe

[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/

commit: 586be943f77e4b876942a5768b12f4fb4762c2bd Author: Maciej Barć gentoo org> AuthorDate: Mon Jan 17 21:22:51 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jan 17 21:22:51 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=586be943 sci-mathe

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

commit: 5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 Author: François-Xavier Carton gmail com> AuthorDate: Sat Jan 15 02:20:22 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jan 15 06:00:17 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5377b0ed

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

commit: c87b6eaca316012d6da22935421b4279bd91b128 Author: François-Xavier Carton gmail com> AuthorDate: Wed Jan 12 22:34:35 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jan 13 16:38:07 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c87b6eac

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

commit: 61686012dfc33cda5b87f4726ffce518c68897dc Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 12 12:13:18 2021 + Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 12 12:14:50 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61686012 sci-mathe

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

commit: afa23b7e71a8114ea0919675d3d4029f6d6b6176 Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 12 00:56:49 2021 + Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 12 01:59:46 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=afa23b7e sci-mathe

[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