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