cvc4_1.6-2_kfreebsd-i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Tue, 14 Aug 2018 01:07:28 +0000
Build-Path
/build/cvc4-DHbmzr/cvc4-1.6

First submitted
Thu, 25 Oct 2018 09:53:23 +0000
SHA1 of .buildinfo
127702674c45429122a61a00b938f58215d782f6

Binaries

cvc4 (cvc4_1.6-2_kfreebsd-i386.deb)
SHA1: 6dea9e3f5c38bcb5fec99c47c8347713d441898a
SHA256: fd2cd6f7d97d7624fc95f3a0f78427f86760dbccd4f1ec936492ebf158a6fc26

Size: 142,352 bytes
libcvc4-5 (libcvc4-5_1.6-2_kfreebsd-i386.deb)
SHA1: 5a79faf4deb21431ad4dca8c08ff21ba8e22e25c
SHA256: c7c3f9695ea73bd58a9bc0dbaf0a7c8af7c31a808abaf7af17847767689dbe75

Size: 4,507,252 bytes
libcvc4-dev (libcvc4-dev_1.6-2_kfreebsd-i386.deb)
SHA1: ee91b17f8b3e97c6b218870a9584044179d88bd4
SHA256: e07cf8c83e1110e3d112200ecece70a10ea1b4685c556f8825ab7a75f2124901

Size: 7,205,568 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_kfreebsd-i386.deb)
SHA1: 7f0a789a6f6fce534592d1b60bb59062b4c28501
SHA256: 899ba1adb8890516e5369439e3b83e7a3f93bbb4ad625c7165aec48f03eac3c6

Size: 390,416 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_kfreebsd-i386.deb
SHA1: 67d0157cfc7675b9c76496d61bc924b682732b47
Size: 5,966,324 bytes
libcvc4-5-dbgsym_1.6-2_kfreebsd-i386.deb
SHA1: e3c787851ee5d8af6da1558d0b1e1901a52eef42
Size: 147,812,304 bytes
cvc4-dbgsym_1.6-2_kfreebsd-i386.deb
SHA1: b92abbb1c2feab09991ad1bf68ce586461432ae3
Size: 3,476,756 bytes

Submissions

ofwr3nhj
Submitted
Thu, 25 Oct 2018 09:53:23 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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