cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 14 Aug 2018 06:06:11 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Tue, 14 Aug 2018 08:06:47 +0000
SHA1 of .buildinfo
267de7a5efffdc4173d2a2626ebc8c44c287597f

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: fea22a5937f97616d3c278fe45a45456c0d977a6
SHA256: aa43cf1aa8011d4ec0137038733648985594532be15fc9cf766dbeac7daca198

Size: 139,660 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 3ced1322a5a4b02e985ea0952027f99784b6ddfc
SHA256: ef111ee10aa25688977f8ebde3171e9f0825d1e9f307196aa267ed353c7463d2

Size: 4,113,724 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 5e20d8d47000bd1d8f1f346a546a096dce19048b
SHA256: c85b9863994760ceaad92db62afa341e756e4f79b49c291dead1807d551c4dda

Size: 6,759,800 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 890bcea194d9e7070cea09d456a728466fb073b2
SHA256: 2fc934b70edd85d9751c15e925c5fd9dd382b4ee8350975a0f99002c0e7dace5

Size: 362,996 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 86e9154c58fdcbb855a19fde0a9969ff0095de2d
Size: 6,229,456 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 33aec5ccc4ecc7ba5c931880b54aa58a1b9f18b9
Size: 151,678,424 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: cf4a80d542b183d255da4a0efa3bcbcb17f69821
Size: 3,555,372 bytes

Submissions

dsavo4px
Submitted
Tue, 14 Aug 2018 08:06:47 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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