cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 13 Aug 2018 19:32:10 +0000
Build-Path
/build/cvc4-1.6

First submitted
Thu, 25 Oct 2018 03:02:54 +0000
SHA1 of .buildinfo
3be8cfd2b5f8104d51e95048ca8d7dd0e61ca680

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: 2070d2dbd0956c01427c5c88125b1093b30707fc
SHA256: 8169416439eeb7bae04bb35fd2361198524140557c5b91e9ce4be3790577e309

Size: 4,111,784 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: ca4a195817e52ddc2b3cb67cd9634db8cef5f5f8
SHA256: 4c0cfc3738bbe80d6079699f13a28e4c8d5072ce70fd4d78572efa7ab74d0fe7

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: 7c953c00f7cb99c46bd9deb8953a02093fefa7a2
Size: 151,678,620 bytes
cvc4_1.6-2.dsc
SHA1: 04df1915f5f38b98a0c2739733562ff1d61626f4
Size: 2,652 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: cf4a80d542b183d255da4a0efa3bcbcb17f69821
Size: 3,555,372 bytes

Submissions

iu9jdqwh
Submitted
Thu, 25 Oct 2018 03:02:54 +0000
Signed by
0xD0EB762865FC5E36 Sergio Durigan Junior (Main UID) <sergiodj@sergiodj.net>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"