head 1.3; access; symbols pkgsrc-2023Q4:1.3.0.18 pkgsrc-2023Q4-base:1.3 pkgsrc-2023Q3:1.3.0.16 pkgsrc-2023Q3-base:1.3 pkgsrc-2023Q2:1.3.0.14 pkgsrc-2023Q2-base:1.3 pkgsrc-2023Q1:1.3.0.12 pkgsrc-2023Q1-base:1.3 pkgsrc-2022Q4:1.3.0.10 pkgsrc-2022Q4-base:1.3 pkgsrc-2022Q3:1.3.0.8 pkgsrc-2022Q3-base:1.3 pkgsrc-2022Q2:1.3.0.6 pkgsrc-2022Q2-base:1.3 pkgsrc-2022Q1:1.3.0.4 pkgsrc-2022Q1-base:1.3 pkgsrc-2021Q4:1.3.0.2 pkgsrc-2021Q4-base:1.3 pkgsrc-2021Q3:1.1.1.1.0.18 pkgsrc-2021Q3-base:1.1.1.1 pkgsrc-2021Q2:1.1.1.1.0.16 pkgsrc-2021Q2-base:1.1.1.1 pkgsrc-2021Q1:1.1.1.1.0.14 pkgsrc-2021Q1-base:1.1.1.1 pkgsrc-2020Q4:1.1.1.1.0.12 pkgsrc-2020Q4-base:1.1.1.1 pkgsrc-2020Q3:1.1.1.1.0.10 pkgsrc-2020Q3-base:1.1.1.1 pkgsrc-2020Q2:1.1.1.1.0.8 pkgsrc-2020Q2-base:1.1.1.1 pkgsrc-2020Q1:1.1.1.1.0.4 pkgsrc-2020Q1-base:1.1.1.1 pkgsrc-2019Q4:1.1.1.1.0.6 pkgsrc-2019Q4-base:1.1.1.1 pkgsrc-2019Q3:1.1.1.1.0.2 pkgsrc-2019Q3-base:1.1.1.1 pkgsrc-base:1.1.1.1 TNF:1.1.1; locks; strict; comment @# @; 1.3 date 2021.10.26.10.56.13; author nia; state Exp; branches; next 1.2; commitid vzl6zVlmjiF3hjeD; 1.2 date 2021.10.07.14.28.35; author nia; state Exp; branches; next 1.1; commitid wLkpKfebF6VS3TbD; 1.1 date 2019.08.24.22.09.16; author alnsn; state Exp; branches 1.1.1.1; next ; commitid eL8OudbXR8JfwkAB; 1.1.1.1 date 2019.08.24.22.09.16; author alnsn; state Exp; branches; next ; commitid eL8OudbXR8JfwkAB; desc @@ 1.3 log @math: Replace RMD160 checksums with BLAKE2s checksums All checksums have been double-checked against existing RMD160 and SHA512 hashes @ text @$NetBSD: distinfo,v 1.2 2021/10/07 14:28:35 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 @ 1.2 log @math: Remove SHA1 hashes for distfiles @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $ d3 1 a3 1 RMD160 (Yices-2.6.1.tar.gz) = 337faea5f2963998a93645f5b1abb4830f5dc1b8 @ 1.1 log @Initial revision @ text @d1 1 a1 1 $NetBSD$ a2 1 SHA1 (Yices-2.6.1.tar.gz) = 472c4eb7dadc3e8de30495389f50ad3aa09baa08 @ 1.1.1.1 log @Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software. @ text @@