diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-01-20 11:15:31 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-01-20 11:15:31 +0100 |
| commit | f0fce4e903158e909d2fb9a83a973df39e576c30 (patch) | |
| tree | 4e115c2b1a1ebefdabb2bfc4c5aa6e9e8b7c6e26 /sci-mathematics/cvc4 | |
| parent | sci-geosciences/osm2pgsql: Remove old (diff) | |
| download | gentoo-f0fce4e903158e909d2fb9a83a973df39e576c30.tar.gz gentoo-f0fce4e903158e909d2fb9a83a973df39e576c30.tar.bz2 gentoo-f0fce4e903158e909d2fb9a83a973df39e576c30.zip | |
sci-mathematics/alt-ergo: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
0 files changed, 0 insertions, 0 deletions