kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/math/minisat/distinfo

9 lines
549 B
Text
Raw Normal View History

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.
2015-11-04 00:33:26 +01:00
$NetBSD: distinfo,v 1.4 2015/11/03 23:33:37 agc Exp $
Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, industrial strength, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
2013-10-28 05:15:11 +01:00
SHA1 (minisat-2.2.0.tar.gz) = dfc25898bf40e00cf04252a42176e0c0600fbc90
RMD160 (minisat-2.2.0.tar.gz) = 169ec9116befa9067db9076d26309f7e9ab408dd
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.
2015-11-04 00:33:26 +01:00
SHA512 (minisat-2.2.0.tar.gz) = cf79b05d43ebdc8fd8081899a1f853370de051cafe6e5b143eaff9827efc542b58062782a3ce2a3d1a03561a9ffd780c9cdc645bb50036eb61e80fa729136e64
Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, industrial strength, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
2013-10-28 05:15:11 +01:00
Size (minisat-2.2.0.tar.gz) = 43879 bytes
Friends may not add default arguments.
2013-11-08 22:15:02 +01:00
SHA1 (patch-core_SolverTypes.h) = 969937eaaaac60b5e2b415ce3282797daacc4890
Needs zlib. Provide dummy Minisat::memUsedPeak().
2014-01-09 15:38:33 +01:00
SHA1 (patch-utils_System.cc) = b24990458c2abb9fca014ddccd27220a49ea7799
Reference in a new issue Copy permalink