summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2024-09-30 19:51:50 +0200
committerMaciej Barć <xgqt@gentoo.org>2024-09-30 20:22:54 +0200
commit7a0fddf2cf98ea53117f839682f8d986e2568280 (patch)
treea0c8acd5ecf003cee350a786750e71356602bacc /sci-biology/libgtextutils
parentsci-mathematics/vampire: bump to 4.9 (diff)
downloadgentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.tar.gz
gentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.tar.bz2
gentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.zip
sci-mathematics/boolector: bump to 3.2.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-biology/libgtextutils')
0 files changed, 0 insertions, 0 deletions