cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 9 Apr 2020 06:49:21 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Thu, 9 Apr 2020 08:49:47 +0000
SHA1 of .buildinfo
112d4ebe6b9a621bbb132ef37709c98fa48d8e35

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: fc3c21153a2455ce20e55d19e1a5d86f208a3642
SHA256: ac34e409495820a7da3415d470ebdf3969298acac5e860dbb392db7b630171a0

Size: 139,372 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 46e11039d6a66b385449894d284bf6b6d5c2a701
SHA256: 2661df0a5e2baf80ec6492a4b3f61b52e4e50c045477cb446561d93c65adc082

Size: 4,511,184 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: aea9c4a5afb53fbf90abdcecb05a64f59d468f65
SHA256: e2e213eb338e621ef771eb4bdb88ee628fff2d76428f0dd5a696b0da9386452a

Size: 7,272,664 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: beb9b46bcfe90e37e1df67966440f09a91718a3c
SHA256: f48beb1ac5f6c19a1fdac04f93bf30e0830c60606fd475267f5886c1c7978dca

Size: 367,972 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 96c43b55a55fd5f8f6419d7794950f303d78fb95
Size: 6,584,648 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: dcd9422c2abc3f4a95083f5af0d6a6c75f875ed6
Size: 156,926,936 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: eb3459bd6b5330e8eb0b0fb791e5cb2175295ce5
Size: 3,718,720 bytes

Submissions

my7fpnjc
Submitted
Thu, 9 Apr 2020 08:49:47 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"