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

2024-02-10 Thread Maciej Barć
commit: ddfc17b77a56706feee2307d495746aa05c3ea59 Author: Maciej Barć gentoo org> AuthorDate: Sat Feb 10 13:39:45 2024 + Commit: Maciej Barć gentoo org> CommitDate: Sat Feb 10 16:24:49 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddfc17b7 dev-lang/

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

2023-12-13 Thread Maciej Barć
commit: 4a647d38ea7fa3703a216d12e5c679b327d00583 Author: Maciej Barć gentoo org> AuthorDate: Wed Dec 13 12:05:55 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Dec 13 17:17:55 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a647d38 dev-lang/

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

2023-12-12 Thread Maciej Barć
commit: 394afbb93c7086cdb0e39ef9e12964ca78fdf6e8 Author: Maciej Barć gentoo org> AuthorDate: Wed Dec 13 01:55:44 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Dec 13 02:27:13 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=394afbb9 dev-lang/

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

2023-10-30 Thread Maciej Barć
commit: 467b53be7e33f8c51436b04116c94f331131f527 Author: Maciej Barć gentoo org> AuthorDate: Mon Oct 30 19:26:53 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Oct 30 23:15:54 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=467b53be dev-lang/