summaryrefslogtreecommitdiff
path: root/math/minisat
diff options
context:
space:
mode:
authoragc <agc@pkgsrc.org>2015-11-03 23:33:26 +0000
committeragc <agc@pkgsrc.org>2015-11-03 23:33:26 +0000
commit02c872ca21d9749ad508bd4de22c5025a3a1d122 (patch)
tree349b1c223d0110b3f5c6e3b7fdce240ec0418fa5 /math/minisat
parentb6a5d41319c2e16205ba768539fbd8803beae177 (diff)
downloadpkgsrc-02c872ca21d9749ad508bd4de22c5025a3a1d122.tar.gz
Add SHA512 digests for distfiles for math category
Problems found locating distfiles: Package dfftpack: missing distfile dfftpack-20001209.tar.gz Package eispack: missing distfile eispack-20001130.tar.gz Package fftpack: missing distfile fftpack-20001130.tar.gz Package linpack: missing distfile linpack-20010510.tar.gz Package minpack: missing distfile minpack-20001130.tar.gz Package odepack: missing distfile odepack-20001130.tar.gz Package py-networkx: missing distfile networkx-1.10.tar.gz Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz Package quadpack: missing distfile quadpack-20001130.tar.gz Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
Diffstat (limited to 'math/minisat')
-rw-r--r--math/minisat/distinfo3
1 files changed, 2 insertions, 1 deletions
diff --git a/math/minisat/distinfo b/math/minisat/distinfo
index 06a2dadfb8a..80882258c2a 100644
--- a/math/minisat/distinfo
+++ b/math/minisat/distinfo
@@ -1,7 +1,8 @@
-$NetBSD: distinfo,v 1.3 2014/01/09 14:38:33 jperkin Exp $
+$NetBSD: distinfo,v 1.4 2015/11/03 23:33:37 agc Exp $
SHA1 (minisat-2.2.0.tar.gz) = dfc25898bf40e00cf04252a42176e0c0600fbc90
RMD160 (minisat-2.2.0.tar.gz) = 169ec9116befa9067db9076d26309f7e9ab408dd
+SHA512 (minisat-2.2.0.tar.gz) = cf79b05d43ebdc8fd8081899a1f853370de051cafe6e5b143eaff9827efc542b58062782a3ce2a3d1a03561a9ffd780c9cdc645bb50036eb61e80fa729136e64
Size (minisat-2.2.0.tar.gz) = 43879 bytes
SHA1 (patch-core_SolverTypes.h) = 969937eaaaac60b5e2b415ce3282797daacc4890
SHA1 (patch-utils_System.cc) = b24990458c2abb9fca014ddccd27220a49ea7799