cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 30 Nov 2018 21:00:35 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Fri, 30 Nov 2018 23:30:03 +0000
SHA1 of .buildinfo
74672bbcdf044abb97f008b1cd1cf60f26db3d37

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 56731ad771fd6eb0bb1e6f66139786ee17aa53aa
SHA256: aa2d561c716c8329ee70fed83637a3a1dfd480371deaa238d72c41a9e5b3f87d

Size: 136,156 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 07fe62334746d0bf0ca94320a293061204d310c8
SHA256: cbbfb71e06899a1af2f3640c042e61fad244200455dd7d2504318927110e8110

Size: 4,056,364 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: fd6ecfe787c83c078c3a9479b2623225775cb4e7
SHA256: 8860c230e1b043a9a59510335f59d6808e22482c94be3f05d82ae9817a2506f5

Size: 6,716,800 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 049094e9264817e585ab2c61d3bcfc883a09038d
SHA256: 4cecb59b33a2971d80368cfe5c0e2a7da8305c27891edb359f8201dc898b15ea

Size: 362,684 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: ba3647817a974e7280dd7cc2f9258f644a0279ca
Size: 6,266,452 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: e2f9cd44ccf6098346c94ea0219c670330389098
Size: 152,447,944 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 3e477a8bcfd3768fc666f24b9286ee047893a38d
Size: 3,584,804 bytes

Submissions

sgfymnud
Submitted
Fri, 30 Nov 2018 23:30:04 +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"