diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2025-06-26 22:30:50 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-06-27 02:52:33 +0200 |
| commit | 9f72d470987edafb5f9d5ce9fe93528c42084b51 (patch) | |
| tree | 5262f72e3de76b37d30fc2cd7056146d987f4063 /dev-lang/nprolog | |
| parent | eec11553c311d8065d2e0ffec88497da7817b163 (diff) | |
| download | gentoo-9f72d470987edafb5f9d5ce9fe93528c42084b51.tar.gz gentoo-9f72d470987edafb5f9d5ce9fe93528c42084b51.tar.bz2 gentoo-9f72d470987edafb5f9d5ce9fe93528c42084b51.zip | |
dev-lang/boogie: drop old 3.5.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/nprolog')
0 files changed, 0 insertions, 0 deletions