agc
|
286ea2536c
|
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-03 23:33:26 +00:00 |
|
jperkin
|
fea0484927
|
Find correct zlib.
|
2014-12-15 12:31:09 +00:00 |
|
jperkin
|
b514201ebd
|
Needs zlib. Provide dummy Minisat::memUsedPeak().
|
2014-01-09 14:38:33 +00:00 |
|
joerg
|
83d7ad1bdd
|
Friends may not add default arguments.
|
2013-11-08 21:15:02 +00:00 |
|
asau
|
1996ed378f
|
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 04:15:11 +00:00 |
|