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

commit: 3c32aebedf8c9f1903afa239dccd3fa65758974a Author: Maciej Barć gentoo org> AuthorDate: Thu May 23 21:25:45 2024 + Commit: Maciej Barć gentoo org> CommitDate: Thu May 23 22:08:07 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c32aebe

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

commit: 4be39a23beeaf0727666a2119cf04859c684ffc6 Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 10 19:15:47 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 10 19:16:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4be39a23

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

commit: 0e78b666b7705cfa32d5ce5d560f734014cb3cb4 Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 10 18:56:18 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 10 19:16:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e78b666

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

commit: 49db8fda121c048515f6801689438f4ba94cd83f Author: Maciej Barć gentoo org> AuthorDate: Thu Nov 2 15:59:08 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Nov 2 22:11:18 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=49db8fda

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

commit: 2fff060ebb4023f54b11fe044c1f9ea517a2ba06 Author: Maciej Barć gentoo org> AuthorDate: Sun Aug 13 12:22:31 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Aug 13 19:26:08 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2fff060e