cvc4 (1.6-2)_1.6-2+b1_amd64.buildinfo (view)

Source
cvc4 (1.6-2)
Version
1.6-2+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 17 Nov 2018 09:46:34 +0000
Build-Path
/build/cvc4-AakV24/cvc4-1.6

First submitted
Sun, 18 Nov 2018 03:22:36 +0000
SHA1 of .buildinfo
0ac32ff751ea7a2cfdc5307f6b4533a680182dd4

Binaries

cvc4 (cvc4_1.6-2+b1_amd64.deb)
SHA1: 23003a38354339dc1a57ac4842d7affd96535e73
SHA256: 3e0cadf52b9baaf328e6d3c73ee184e790604feeb765d3249240c531cfd5fc38

Size: 136,244 bytes
libcvc4-5 (libcvc4-5_1.6-2+b1_amd64.deb)
SHA1: 53e88245d297ead37fbd38565aa6d2a8a0fd524f
SHA256: c9d235470facc13799ecf6b7d839788cf4da26385775b339b2a1b7c88805fc5c

Size: 4,056,556 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b1_amd64.deb)
SHA1: 0651cbec680d0b614c67cc46643779855bfc372c
SHA256: caa4c93a53064e9dc3fc7b4a8e028d75eecda8db6319add1f6861604d9daac61

Size: 6,718,020 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b1_amd64.deb)
SHA1: 9426e2913715045ceaeb215313bfb9a25e585680
SHA256: 802660568d65874a75cce597f18aac2aa968e3652266f916523a7368d80f7700

Size: 362,516 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b1_amd64.deb
SHA1: e517cddad8e70feaec62e405178545a27312d2d9
Size: 6,235,144 bytes
libcvc4-5-dbgsym_1.6-2+b1_amd64.deb
SHA1: 2da7b70e71fb4acf7331b5e4b2c07a049939ff04
Size: 151,588,508 bytes
cvc4-dbgsym_1.6-2+b1_amd64.deb
SHA1: 79b24e8108487f5054f4df519cc64c60169df75c
Size: 3,554,640 bytes

Submissions

7etkrqvy
Submitted
Sun, 18 Nov 2018 03:22:37 +0000
Signed by
0x65606BA14EC30053

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1542445709"