diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-21 08:30:08 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-21 08:30:08 +0000 |
commit | efef86bbbc73903d0604f5da2a6721f2591c0292 (patch) | |
tree | acd5a0b2a83488ace6b3ea49d82a5fa29cd9d755 /math/libpoly/distinfo | |
parent | New port: math/yices: SMT solver (diff) |
New port: math/libpoly: C library for manipulating polynomial
Notes
Notes:
svn path=/head/; revision=475052
Diffstat (limited to 'math/libpoly/distinfo')
-rw-r--r-- | math/libpoly/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/libpoly/distinfo b/math/libpoly/distinfo new file mode 100644 index 000000000000..cd92de46a234 --- /dev/null +++ b/math/libpoly/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1532161301 +SHA256 (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 71d08cc1e97219bde8a0af60dd436ce4266dc3f19ff3a2cabc640bd14f4d8f4d +SIZE (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 491593 |