pkgsrc/devel/buddy/distinfo

$NetBSD: distinfo,v 1.4 2015/11/03 03:27:16 agc Exp $

SHA1 (buddy-2.4.tar.gz) = 0b58bb9f699593de148cd01b48656636eb4c0355
RMD160 (buddy-2.4.tar.gz) = 084f08a4dd109ede2f1d1ee24b4c686cee45e601
SHA512 (buddy-2.4.tar.gz) = 43984969359ac363141ee8a67538ceeae1412efa172432a8355f6ce68ab5ffab12470ad7a2e0d7a6a557b8bf55e98b2f2dc5cc6710466403d45fab2195ba2e23
Size (buddy-2.4.tar.gz) = 766523 bytes
Add SHA512 digests for distfiles for devel category Issues found with existing distfiles: distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip distfiles/fortran-utils-1.1.tar.gz distfiles/ivykis-0.39.tar.gz distfiles/enum-1.11.tar.gz distfiles/pvs-3.2-libraries.tgz distfiles/pvs-3.2-linux.tgz distfiles/pvs-3.2-solaris.tgz distfiles/pvs-3.2-system.tgz No changes made to these distinfo files. 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 04:27:11 +01:00			$NetBSD: distinfo,v 1.4 2015/11/03 03:27:16 agc Exp $
Initial import of buddy version 2.2. The BuDDy Binary Decision Diagrams (BDD) library presented here was made as part of a ph.d. project on model checking of finite state machines. The library has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation. 2003-12-31 01:04:19 +01:00
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`SHA1 (buddy-2.4.tar.gz) = 0b58bb9f699593de148cd01b48656636eb4c0355`
			`RMD160 (buddy-2.4.tar.gz) = 084f08a4dd109ede2f1d1ee24b4c686cee45e601`
Add SHA512 digests for distfiles for devel category Issues found with existing distfiles: distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip distfiles/fortran-utils-1.1.tar.gz distfiles/ivykis-0.39.tar.gz distfiles/enum-1.11.tar.gz distfiles/pvs-3.2-libraries.tgz distfiles/pvs-3.2-linux.tgz distfiles/pvs-3.2-solaris.tgz distfiles/pvs-3.2-system.tgz No changes made to these distinfo files. 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 04:27:11 +01:00			`SHA512 (buddy-2.4.tar.gz) = 43984969359ac363141ee8a67538ceeae1412efa172432a8355f6ce68ab5ffab12470ad7a2e0d7a6a557b8bf55e98b2f2dc5cc6710466403d45fab2195ba2e23`
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`Size (buddy-2.4.tar.gz) = 766523 bytes`