diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-11-29 20:30:12 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-11-29 20:31:00 +0100 |
commit | af213f56fc4794a49320883a82234aa11fb4fbfe (patch) | |
tree | fb1fee285d741bf10f089e1976fdbf560e13b233 /sci-electronics/geda-suite | |
parent | dev-libs/protobuf: Stabilize 21.12 arm, #915948 (diff) | |
download | gentoo-af213f56fc4794a49320883a82234aa11fb4fbfe.tar.gz gentoo-af213f56fc4794a49320883a82234aa11fb4fbfe.tar.bz2 gentoo-af213f56fc4794a49320883a82234aa11fb4fbfe.zip |
dev-lang/boogie: bump to 3.0.8
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-electronics/geda-suite')
0 files changed, 0 insertions, 0 deletions