[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/, sci-mathematics/cvc4/

2024-05-20 Thread Alfredo Tupone
commit: c11cbec28dbd063e597839ed1603f9bea62d3e73 Author: Alfredo Tupone gentoo org> AuthorDate: Mon May 20 13:03:04 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon May 20 13:03:54 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c11cbec2

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

2024-01-19 Thread Alfredo Tupone
commit: 81be47150ce44a0ed7c89b58fa1dafa072907392 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jan 19 21:30:37 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jan 19 21:31:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81be4715

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/, sci-mathematics/cvc4/

2023-03-05 Thread Sam James
commit: 978a74a61f2ca616c39051f9de4aab1214920bca Author: Kai-Chun Ning gmail com> AuthorDate: Sun Mar 5 10:53:54 2023 + Commit: Sam James gentoo org> CommitDate: Sun Mar 5 11:31:38 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=978a74a6

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

2023-02-22 Thread Alfredo Tupone
commit: efd139384b4115a72399f8afe83890c8c021b6dc Author: Alfredo Tupone gentoo org> AuthorDate: Wed Feb 22 11:25:04 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Feb 22 11:25:33 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=efd13938

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/, sci-mathematics/cvc4/files/

2023-01-29 Thread Alfredo Tupone
commit: b20b0dbffda6f89cf521ba6c714803d26054e177 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Jan 29 13:11:43 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jan 29 13:13:33 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b20b0dbf

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

2022-12-05 Thread Alfredo Tupone
commit: 04828edf3713620506974d416284136cc7741923 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Dec 5 13:32:33 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Dec 5 13:32:33 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04828edf

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/, sci-mathematics/cvc4/

2022-11-11 Thread Alfredo Tupone
commit: ebdd2a9c7d597d29d1efa38f8bac6b3e68a8adb7 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Nov 11 22:34:11 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Nov 11 22:34:41 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ebdd2a9c

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

2022-10-15 Thread Sam James
commit: 2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c Author: Sam James gentoo org> AuthorDate: Sat Oct 15 14:56:16 2022 + Commit: Sam James gentoo org> CommitDate: Sat Oct 15 14:56:16 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2926d84a

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

2022-08-26 Thread Sam James
commit: 4a9afda7605ad144df0c1d23e966fdc8aeec1e34 Author: Petr Vaněk atlas cz> AuthorDate: Thu Aug 25 21:41:00 2022 + Commit: Sam James gentoo org> CommitDate: Fri Aug 26 10:46:28 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a9afda7

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

2022-02-17 Thread Alfredo Tupone
commit: 25d067881ac71f918b69864739c6e7fabbf5d9a4 Author: Alfredo Tupone gentoo org> AuthorDate: Thu Feb 17 14:10:32 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Feb 17 14:10:32 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25d06788

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

2022-02-08 Thread Sam James
commit: 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370 Author: Sam James gentoo org> AuthorDate: Wed Feb 9 01:37:43 2022 + Commit: Sam James gentoo org> CommitDate: Wed Feb 9 01:37:43 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ee65e4c

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

2022-02-08 Thread Alfredo Tupone
commit: 03321382501b45387f99917ba5acf9aa627805bd Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 8 20:10:53 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 8 20:10:53 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03321382

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

2022-02-08 Thread Alfredo Tupone
commit: 222d7c3f5514f8cef25d7b119ebd97ff3a532ea1 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 8 08:56:11 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 8 08:56:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=222d7c3f

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

2022-02-07 Thread Alfredo Tupone
commit: a67e2887fe1c15ec3bbabb3907ce352d1fd24803 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 8 07:44:06 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 8 07:44:06 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a67e2887

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

2022-02-05 Thread Alfredo Tupone
commit: e137bda5f125920805b32c956f63726445bf41f9 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Feb 5 11:21:55 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Feb 5 11:21:55 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e137bda5

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/, sci-mathematics/cvc4/

2021-05-27 Thread Alfredo Tupone
commit: f156562b157e5e59722065a39c5264413fcde2f1 Author: Alfredo Tupone gentoo org> AuthorDate: Thu May 27 16:45:43 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu May 27 16:45:43 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f156562b

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

2021-04-05 Thread Andreas Sturmlechner
commit: b953b436445abffd13d9320514039055fe4eba04 Author: Andreas Sturmlechner gentoo org> AuthorDate: Mon Apr 5 11:20:48 2021 + Commit: Andreas Sturmlechner gentoo org> CommitDate: Mon Apr 5 16:53:21 2021 + URL:

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

2021-01-19 Thread Alfredo Tupone
commit: 5e516f03a0f0543480601b545cadfa074c6051eb Author: Alfredo Tupone gentoo org> AuthorDate: Wed Jan 20 07:31:58 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Jan 20 07:31:58 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e516f03

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

2019-07-25 Thread Alfredo Tupone
commit: f0be729b2f2055afe79f68cb95c9e856d0303e82 Author: Tupone Alfredo gentoo org> AuthorDate: Thu Jul 25 06:12:57 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jul 25 06:12:57 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0be729b

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

2019-07-23 Thread Alfredo Tupone
commit: d72e9b862cbc9ccfabd0df7f53e7fe7664d22ae9 Author: Tupone Alfredo gentoo org> AuthorDate: Tue Jul 23 13:20:29 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jul 23 13:20:29 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d72e9b86

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

2019-07-18 Thread Alfredo Tupone
commit: 91f593d0b2dceda3acb4035fe501726f290e Author: Tupone Alfredo gentoo org> AuthorDate: Thu Jul 18 10:27:55 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jul 18 10:27:55 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91f593d0

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/, sci-mathematics/cvc4/files/

2019-07-14 Thread Alfredo Tupone
commit: 0165d1484b0c9ad0f2272960c80703e2c0b231f2 Author: Tupone Alfredo gentoo org> AuthorDate: Sun Jul 14 19:48:18 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jul 14 19:48:18 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0165d148

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

2018-07-18 Thread Alfredo Tupone
commit: ed51ccdb299c48d49d8750b05299431723016732 Author: Tupone Alfredo gentoo org> AuthorDate: Wed Jul 18 06:28:48 2018 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Jul 18 06:28:48 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed51ccdb