cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 14 May 2020 14:23:20 +0000
Build-Path
/build/cvc4-1.6

First submitted
Fri, 12 Apr 2019 10:00:42 +0000
SHA1 of .buildinfo
b2568d9376ceafdd1f9de33519ab50ebe237c790

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: b798ff0fd9f9b9fbda01344ca75d9442ef48c68f
SHA256: 01cc79bf32e3b3e665a281a7bc530e59a28d25285f0ccdd6f267ed4a5abc7ba2

Size: 138,104 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 0e825c6b3073691393e9fc67e2d6991f5fdf8078
SHA256: dba7f56db1e93eb6c578b265a525400d868b3ceadc03d80c21e896e6c9297393

Size: 4,164,912 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: f08ccfd6f89f6265f3b269cca9e094f83181b1d6
SHA256: 18c178416da9fa465326a9331e529c918406745e795059cde0d3b8d067021187

Size: 6,821,628 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: cba41a74fab2976ea04e1d597350a4239e0f27a5
SHA256: 8f08f4d3427f3818b342d4865b3ae02600b7bab27ee28ebc3904ffc18a8ac3d3

Size: 361,960 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: ce9dc89fef78c4a6c44dbb61d1e6f7fd6433a8f5
Size: 6,259,296 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 0ac1507e6bc44bef3925eb4b495e9cd32b61ac87
Size: 152,731,640 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 03a841b942418d0048748401889d6cc486e93fbb
Size: 3,601,236 bytes

Submissions

7womuzqu
Submitted
Fri, 12 Apr 2019 10:00:42 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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