diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-10-15 15:51:48 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-10-15 16:30:48 +0200 |
| commit | 48c322c288c154842f04aa12576e6cd6ce511c85 (patch) | |
| tree | a8675ec7e59a1408465936d55845b08be27e7c31 /kde-apps | |
| parent | dev-lang/nprolog: drop old 3.32 (diff) | |
| download | gentoo-48c322c288c154842f04aa12576e6cd6ce511c85.tar.gz gentoo-48c322c288c154842f04aa12576e6cd6ce511c85.tar.bz2 gentoo-48c322c288c154842f04aa12576e6cd6ce511c85.zip | |
dev-lang/boogie: bump to 3.3.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'kde-apps')
0 files changed, 0 insertions, 0 deletions