cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 28 Nov 2018 22:25:44 +0000
Build-Path
/build/cvc4-1.6

First submitted
Thu, 29 Nov 2018 01:00:58 +0000
SHA1 of .buildinfo
feb99ab10a64ca89316cffe34993519cfacd1bc9

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: ae708a837716a258639e6a96c33c30836c447bdf
SHA256: 8b6bca79ec8bc71be3e21d3f146f8752f203c92bdcee68234f2604868f5cf70b

Size: 136,212 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: ea7e5b50f4a6bcc94238af862dfa218f8983bc44
SHA256: af042c5eac5c2222bbff518d32f0cd4335c18c130b642cb5a248c4f9bebf3c60

Size: 4,055,796 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: a3dd0f18cfc5c5013cef7dd1dbe418d55e0d044a
Size: 151,589,156 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: d5163dc9e3fce732d2cc0685177d2863143565ef
Size: 3,554,868 bytes

Submissions

mzcdafe4
Submitted
Thu, 29 Nov 2018 01:00:59 +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"