diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-09-30 19:47:18 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-09-30 20:22:53 +0200 |
| commit | ea3edb5ee8118107e5cd048b9708c08cb5560027 (patch) | |
| tree | 64757b3016f78e87368d561f9ee5a82b68cb5c12 /sci-mathematics/boolector/Manifest | |
| parent | dev-build/bazelisk: bump to 1.22.0 (diff) | |
| download | gentoo-ea3edb5ee8118107e5cd048b9708c08cb5560027.tar.gz gentoo-ea3edb5ee8118107e5cd048b9708c08cb5560027.tar.bz2 gentoo-ea3edb5ee8118107e5cd048b9708c08cb5560027.zip | |
sci-mathematics/vampire: bump to 4.9
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/boolector/Manifest')
0 files changed, 0 insertions, 0 deletions