cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 14 Nov 2018 12:23:31 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Wed, 14 Nov 2018 14:53:25 +0000
SHA1 of .buildinfo
44f602d9d858664fbc21061a019d569009d424a3

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 2c424e2f8572d24aa6c16cb90aed2ec791c6c682
SHA256: 6814bf96a49195b36273e4d42ab6dfb9a7065ac9cdb8e384390fbf8dc29b1a19

Size: 140,832 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 97e7c412e03e8bd87fe2663ee132a798072c9bb4
SHA256: d626d47717fc7724d07ab703727025baebf458edd4f64c01f1ff345f57510ca9

Size: 4,058,012 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 46d1056d27aa38cd869d0c4a3e65fb8e78f8ef6f
SHA256: ccf0d27c55e1b03f79310af977dacb832a39ad5e92cfb2f5414465bdfbdd5a64

Size: 6,717,836 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: de301927b4593b9ddc8ca31b4ecde6bd73af1930
SHA256: a29582bdeb02ad50307931c9030bdb04e9dec1f32582e687534221db70f722b5

Size: 363,104 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 09a43be866a1c58303b5da4eb67739000b609b19
Size: 6,234,552 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: a6c3c96149d863b1336eead5cb8e3c3acae29655
Size: 151,587,304 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 7307d85704e3aaa34534f7277ab8b8732060da69
Size: 3,558,676 bytes

Submissions

xsfsspyy
Submitted
Wed, 14 Nov 2018 14:53:26 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"