diff options
Diffstat (limited to 'math/yices/distinfo')
| -rw-r--r-- | math/yices/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/yices/distinfo b/math/yices/distinfo new file mode 100644 index 000000000000..1ca35faa1ea3 --- /dev/null +++ b/math/yices/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1532156748 +SHA256 (yices-2.6.0-src.tar.gz) = 4712c5c4bd1d299418148c68851c023041dc16450907353bedd4c17c1e4713e4 +SIZE (yices-2.6.0-src.tar.gz) = 5539571 |