[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-04-28 Thread Sam James
commit: 96224c981667cf4ef4d36837263f15497954a19e Author: Sam James gentoo org> AuthorDate: Mon Apr 29 00:06:22 2024 + Commit: Sam James gentoo org> CommitDate: Mon Apr 29 00:06:22 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96224c98

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-03-28 Thread Maciej Barć
commit: 533148e0abceba84d64d7bec2d888b812486bef1 Author: Maciej Barć gentoo org> AuthorDate: Fri Mar 29 00:24:12 2024 + Commit: Maciej Barć gentoo org> CommitDate: Fri Mar 29 03:04:54 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=533148e0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-03-28 Thread Maciej Barć
commit: 7daa94e800f8ba1ed588c232be67a3aada77389a Author: Maciej Barć gentoo org> AuthorDate: Fri Mar 29 00:01:17 2024 + Commit: Maciej Barć gentoo org> CommitDate: Fri Mar 29 03:04:53 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7daa94e8

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-03-20 Thread Maciej Barć
commit: 1d862d7b3db2d20803939f6cd34d9bfaa11f2846 Author: Maciej Barć gentoo org> AuthorDate: Wed Mar 20 17:57:03 2024 + Commit: Maciej Barć gentoo org> CommitDate: Wed Mar 20 19:30:52 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d862d7b

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-03-20 Thread Maciej Barć
commit: af6502c5956a20d2d329ec0c815aa4073d2667ef Author: Maciej Barć gentoo org> AuthorDate: Wed Mar 20 17:59:09 2024 + Commit: Maciej Barć gentoo org> CommitDate: Wed Mar 20 19:30:53 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af6502c5

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2024-01-18 Thread Sam James
commit: cc7a90f1b38c685e4e031ebc8180fa381a47c1ad Author: Sam James gentoo org> AuthorDate: Thu Jan 18 17:23:45 2024 + Commit: Sam James gentoo org> CommitDate: Thu Jan 18 17:23:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc7a90f1

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-12-12 Thread Maciej Barć
commit: feb6baf08a9e8c5add0704f76a352357c3afbd46 Author: Maciej Barć gentoo org> AuthorDate: Wed Dec 13 00:23:26 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Dec 13 02:27:11 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb6baf0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-11-15 Thread Maciej Barć
commit: 6200b24b8feef47380a48034df6d190a79cc Author: Maciej Barć gentoo org> AuthorDate: Wed Nov 15 15:17:14 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Nov 15 19:27:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6200b24b

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-11-15 Thread Maciej Barć
commit: b4771e882e42045e84a758a7b27a5f602a47e550 Author: Maciej Barć gentoo org> AuthorDate: Wed Nov 15 15:17:05 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Nov 15 19:27:15 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4771e88

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-11-13 Thread Sam James
commit: fc92ca212e78404d3fb188618ea40dcce6b4a162 Author: Sam James gentoo org> AuthorDate: Mon Nov 13 19:52:34 2023 + Commit: Sam James gentoo org> CommitDate: Mon Nov 13 19:52:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc92ca21

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-10-28 Thread Arthur Zamarin
commit: 272b8e82d6f45a577acae833794e02d0908da3e5 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Oct 28 16:48:06 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Oct 28 16:48:06 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=272b8e82

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-09-30 Thread Maciej Barć
commit: feb188f13d40fea50569f3e4fe0fa1b49460b883 Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 30 12:52:39 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 30 14:24:27 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb188f1

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-09-30 Thread Maciej Barć
commit: d480aaec2cb9acedec8dfab023dad602d68923c0 Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 30 12:53:23 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 30 14:24:27 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d480aaec

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-09-17 Thread Sam James
commit: c12b53ccd6db80a581f8f2bbb26efef52704a0ca Author: Sam James gentoo org> AuthorDate: Mon Sep 18 00:17:45 2023 + Commit: Sam James gentoo org> CommitDate: Mon Sep 18 00:17:45 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c12b53cc

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-09-17 Thread Maciej Barć
commit: 8db61c6368da21e397ff2fbd9a7157c917a88a25 Author: Maciej Barć gentoo org> AuthorDate: Sun Sep 17 09:42:22 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Sep 17 19:20:28 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8db61c63

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-09-16 Thread Maciej Barć
commit: 94685dc4b8f757f2c0d221182ccc028d613ae13f Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 16 14:45:59 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 16 14:47:36 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=94685dc4

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-28 Thread Maciej Barć
commit: dedd1cff904a0c1610751ddbba1ac2e2f34bbd07 Author: Maciej Barć gentoo org> AuthorDate: Tue Feb 28 17:07:29 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Feb 28 18:03:17 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dedd1cff

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-21 Thread Maciej Barć
commit: 76fc122086248e94e1c1b416f2a0e790b69925ce Author: Maciej Barć gentoo org> AuthorDate: Tue Feb 21 21:25:26 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Feb 21 23:53:59 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76fc1220

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-01 Thread Sam James
commit: 9e268e67b7c3f4fed4ba0f7ad08317fdf852018a Author: Sam James gentoo org> AuthorDate: Wed Feb 1 19:38:01 2023 + Commit: Sam James gentoo org> CommitDate: Wed Feb 1 19:38:07 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e268e67

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-01 Thread Maciej Barć
commit: a08c191b0d3b46b2f2fd9f106e5731d97fd7d029 Author: Maciej Barć gentoo org> AuthorDate: Wed Feb 1 13:31:25 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Feb 1 14:09:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a08c191b

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-01 Thread Maciej Barć
commit: 3939d117488a33f2c0404c51f86e976b896f06fa Author: Maciej Barć gentoo org> AuthorDate: Wed Feb 1 13:30:18 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Feb 1 14:09:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3939d117

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2023-02-01 Thread Maciej Barć
commit: 8024c8c01a62ea668dff67ff7d204896e4f9bbab Author: Maciej Barć gentoo org> AuthorDate: Wed Feb 1 13:31:09 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Feb 1 14:09:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8024c8c0

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-12-15 Thread Maciej Barć
commit: e9bfee871bd303561ed98d86343ce07ba85c3a7c Author: Maciej Barć gentoo org> AuthorDate: Thu Dec 15 21:51:03 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Dec 15 21:51:18 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9bfee87

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-12-15 Thread Maciej Barć
commit: 2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a Author: Maciej Barć gentoo org> AuthorDate: Thu Dec 15 21:50:22 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Dec 15 21:51:18 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2aae64a9

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-11-18 Thread Maciej Barć
commit: 0d8a0892d862cd9214ea39af7c081fa6aa4d7790 Author: Maciej Barć gentoo org> AuthorDate: Fri Nov 18 18:59:39 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Nov 18 20:38:03 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d8a0892

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-10-31 Thread Maciej Barć
commit: 50a92b06aa99628f9b8f4e08ce545962161ef4c8 Author: Maciej Barć gentoo org> AuthorDate: Mon Oct 31 22:57:16 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Nov 1 02:38:07 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50a92b06

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-10-31 Thread Maciej Barć
commit: 717ce126fd8e6a0f2d20044e0f89b536944d9037 Author: Maciej Barć gentoo org> AuthorDate: Mon Oct 31 22:53:51 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Nov 1 02:38:06 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=717ce126

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-10-05 Thread Maciej Barć
commit: b4f7cb650e4e985964819af5a80c4609922caf83 Author: Maciej Barć gentoo org> AuthorDate: Thu Oct 6 02:28:12 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Oct 6 02:28:18 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4f7cb65

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-10-05 Thread Maciej Barć
commit: 022c23ece950df5476a64d16b48574be124c7f7c Author: Maciej Barć gentoo org> AuthorDate: Thu Oct 6 01:49:12 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Oct 6 01:59:19 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=022c23ec

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-09-01 Thread Maciej Barć
commit: b3dc489e2b4f645738bb37b31c9c7a491d2ab31a Author: Maciej Barć gentoo org> AuthorDate: Fri Sep 2 02:22:30 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Sep 2 02:22:30 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3dc489e

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-09-01 Thread Maciej Barć
commit: 64e87607ee03faca4b365625be5dc32c2cbb8cd6 Author: Maciej Barć gentoo org> AuthorDate: Fri Sep 2 02:21:27 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Sep 2 02:21:27 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=64e87607

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-08-27 Thread Maciej Barć
commit: cdf6b1e3d5b985b8cf651dd8bf1d9ac0ab6fe407 Author: Maciej Barć gentoo org> AuthorDate: Sat Aug 27 01:16:56 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Aug 27 01:27:02 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cdf6b1e3

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-08-27 Thread Maciej Barć
commit: 3f50d6f5c1b74194e7a32bbe2ab741f9d540ce45 Author: Maciej Barć gentoo org> AuthorDate: Sat Aug 27 01:16:43 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Aug 27 01:27:02 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f50d6f5

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-07-21 Thread Maciej Barć
commit: c355bfcaf66e31d9c811d77db6752be8080137e9 Author: Maciej Barć gentoo org> AuthorDate: Fri Jul 22 01:24:25 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Jul 22 01:24:25 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c355bfca

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-07-19 Thread Maciej Barć
commit: c83357b8a831e17aa628222bd34fb934af82d2b8 Author: Maciej Barć gentoo org> AuthorDate: Tue Jul 19 18:28:14 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Jul 19 19:32:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c83357b8

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-06-30 Thread Maciej Barć
commit: b30329214eaa780ff4a9f210855234099ad09737 Author: Maciej Barć gentoo org> AuthorDate: Thu Jun 30 15:33:08 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jun 30 15:33:08 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3032921

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-06-30 Thread Maciej Barć
commit: 5c6894c8043cfa204b6a4b1dcb53dde3ed37dea1 Author: Maciej Barć gentoo org> AuthorDate: Thu Jun 30 13:10:07 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jun 30 13:13:41 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c6894c8

[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

2022-06-29 Thread Maciej Barć
commit: cac9016508d0b21c96651c29c666d12da080a4be Author: Maciej Barć gentoo org> AuthorDate: Wed Jun 29 15:58:21 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Jun 29 15:58:36 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cac90165