diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2023-01-05 08:12:39 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2023-01-05 08:16:03 +0000 |
| commit | 7a04fc56833848131e198bfaed4c7d5b468cb87d (patch) | |
| tree | 51590e2f068b3bd0931f2b4de8dc449e735933e4 /math/py-snuggs | |
| parent | 92f87aeb1767d73163e2b1c0faf362537080355e (diff) | |
| download | ports-7a04fc56833848131e198bfaed4c7d5b468cb87d.tar.gz ports-7a04fc56833848131e198bfaed4c7d5b468cb87d.zip | |
Remove math/cvc3, it was succeeded by CVC4 and CVC5
Reported by: yuri
Diffstat (limited to 'math/py-snuggs')
0 files changed, 0 insertions, 0 deletions