cvc4 (1.6-2)_1.6-2+b1_kfreebsd-i386.buildinfo (view)

Source
cvc4 (1.6-2)
Version
1.6-2+b1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Fri, 25 Jan 2019 00:33:18 +0000
Build-Path
/build/cvc4-yptLVh/cvc4-1.6

First submitted
Sat, 26 Jan 2019 18:13:47 +0000
SHA1 of .buildinfo
ad2ad529ac4005a704e4eb0f0416436357a99179

Binaries

cvc4 (cvc4_1.6-2+b1_kfreebsd-i386.deb)
SHA1: 42ca6496806952e4e3b41aa0850ff043a39be8b0
SHA256: 2fff848ba7abb04458dc0af83d6b706fa9a4dabfcb7437f9bd6446e342a6912c

Size: 137,956 bytes
libcvc4-5 (libcvc4-5_1.6-2+b1_kfreebsd-i386.deb)
SHA1: 02601b7f08bc641c28b93f44137203490d8a2358
SHA256: 5dc3605b246913531d51e35e76648e26e0b88e2598912f78b432914208600ab4

Size: 4,507,296 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b1_kfreebsd-i386.deb)
SHA1: 5bd1a508e34b4ac2f5643408d0c42f1379cf219e
SHA256: 820b13d9515904965e8335beb550ef58257d8c76640462b4461a68e1f823e855

Size: 7,212,992 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b1_kfreebsd-i386.deb)
SHA1: c90c0772ea4cd95c531f31b4e5fa8f4dbd4e3a1c
SHA256: 01c87320c6b24578550f0112be33367a71fbedae9e6e321f7aee1760fabd02d8

Size: 389,880 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b1_kfreebsd-i386.deb
SHA1: d5c3433c9fffd8175d375f00b2de03a5f950d59f
Size: 6,005,352 bytes
libcvc4-5-dbgsym_1.6-2+b1_kfreebsd-i386.deb
SHA1: c56d9ede9cc97d2e5b4ecba199634ec2e8afba00
Size: 148,693,648 bytes
cvc4-dbgsym_1.6-2+b1_kfreebsd-i386.deb
SHA1: 2d2171821334ef0c07a8c19f7d9c7cc9d4b2b69b
Size: 3,506,464 bytes

Submissions

d3bafma4
Submitted
Sat, 26 Jan 2019 18:13:48 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1548374329"