$NetBSD: distinfo,v 1.3 2021/10/26 10:56:13 nia Exp $

BLAKE2s (Yices-2.6.1.tar.gz) = 1024ef15975d85ff22821a530464581fc6a23429ca723883349831afb3a3bc43
SHA512 (Yices-2.6.1.tar.gz) = 586f24a8e3da45726ee69f4b3a744f2c04c3b400304319c00667c81c6799a846906ed580a9c4dd0df87a23ddb8e4fefb0b8ab60c13c19dc29243ba116717d1f2
Size (Yices-2.6.1.tar.gz) = 8903749 bytes
SHA1 (patch-Makefile.build) = 64c6ae7101c6dd20f455e7575ce8c59fd518152a
SHA1 (patch-autoconf_os) = fd055ab19f49921aece028df67668613ae089b3c
SHA1 (patch-configure.ac) = 5c4579cfd0e6cc1d6f9a1315f0b4db28048febb0
SHA1 (patch-src_Makefile) = 38bb8236d9eacd919c8afc3ed5ae0c9ea1b0233a
SHA1 (patch-src_utils_bit__tricks.h) = 0abcd0244cb55e7889aab3550af6c25ae3c88850