diff options
Diffstat (limited to 'math/py-z3-solver/distinfo')
| -rw-r--r-- | math/py-z3-solver/distinfo | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo deleted file mode 100644 index 3e54a3a9cce4..000000000000 --- a/math/py-z3-solver/distinfo +++ /dev/null @@ -1,3 +0,0 @@ -TIMESTAMP = 1529241358 -SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 -SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416 |