diff options
Diffstat (limited to 'math/cvc3/distinfo')
| -rw-r--r-- | math/cvc3/distinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo deleted file mode 100644 index a28de6748653..000000000000 --- a/math/cvc3/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 -SIZE (cvc3-2.4.1.tar.gz) = 1196616 |