diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2024-10-08 20:42:11 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-10-09 01:07:08 +0200 |
| commit | c917576acf357b2127da187fd247ea3a16f05050 (patch) | |
| tree | 4596add81d64f5d86868e73b905463372ceae252 /dev-python | |
| parent | d04218b0b077f517df4e0fa84559505274a51454 (diff) | |
| download | gentoo-c917576acf357b2127da187fd247ea3a16f05050.tar.gz gentoo-c917576acf357b2127da187fd247ea3a16f05050.tar.bz2 gentoo-c917576acf357b2127da187fd247ea3a16f05050.zip | |
dev-lang/boogie: bump to 3.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python')
0 files changed, 0 insertions, 0 deletions