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

Source
cvc4
Version
1.6-2
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Mon, 13 Aug 2018 21:54:16 +0000
Build-Path
/build/cvc4-1ftV2F/cvc4-1.6

First submitted
Thu, 25 Oct 2018 10:00:14 +0000
SHA1 of .buildinfo
02d30f0d34ed1f95af4fbfdd05b678f97cf523a9

Binaries

cvc4 (cvc4_1.6-2_kfreebsd-amd64.deb)
SHA1: 4f72f5861bba7e1e41f80313990d18185820ce29
SHA256: 77b52c644b9e5b39868447a3ea10d9993b474813011add5b142f600dbe771917

Size: 137,372 bytes
libcvc4-5 (libcvc4-5_1.6-2_kfreebsd-amd64.deb)
SHA1: 1fb711dac8873790fb92aa21b89c56780148eb2e
SHA256: 2a54f832bb3fd596e0c475e2a21e289b9110828127288ed2ab8d92cd28a70046

Size: 4,113,628 bytes
libcvc4-dev (libcvc4-dev_1.6-2_kfreebsd-amd64.deb)
SHA1: e076945635b9b0cf133493084e465f7d419df6ef
SHA256: 7b13545d117f5c9c9a740732d842797e8e2704e7fbea30430296321ba78b1c53

Size: 6,752,596 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_kfreebsd-amd64.deb)
SHA1: 5027aab2fea275b53abc0af0891faf9742b50ced
SHA256: 9489d0e0e86857e9b51ffbfa8dfddad5502912e339da094c346d6fe5d513f034

Size: 361,900 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_kfreebsd-amd64.deb
SHA1: e491fbaa95667aaf9677360da9b37c58da87ff6e
Size: 6,230,420 bytes
libcvc4-5-dbgsym_1.6-2_kfreebsd-amd64.deb
SHA1: 8ff20b806864a53a53056a656a758c44c8236443
Size: 151,651,156 bytes
cvc4-dbgsym_1.6-2_kfreebsd-amd64.deb
SHA1: d3e7a627ec0df80d59eb46b99d8132fc12b420b3
Size: 3,555,280 bytes

Submissions

vyyh3jdn
Submitted
Thu, 25 Oct 2018 10:00:14 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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