cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 27 Dec 2020 12:04:11 +0000
Build-Path
/build/cvc4-1.8

First submitted
Sun, 27 Dec 2020 14:04:34 +0000
SHA1 of .buildinfo
1281565fddd3ff119bb0ab5fe6f984de52ad107b

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 68296f617e35a370161824222669fbd2e0c79022
SHA256: 69d2bf7277bab13091a5e9033fa77506840552fa1fb7827de3c31bfd0cb36822

Size: 81,612 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 1799935a1842fee8d8565e1bd021d1006dec3751
SHA256: e4a485005516831139b7ccc056ef0a712d341b58302b390b8f45fa85a1b29fc7

Size: 992,680 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 6b9640d01e1f2dadc3d51c3393b2fad50b81f565
SHA256: 4a73128fc9644f77e1ade37dd287a2662940815169f8cff7a2dd448c03ae1bd5

Size: 5,651,396 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 12fc0bfab69cbeb0c5479b092f8c820fe7e2e3c9
SHA256: f9da740564e5b8115db8ac4206e712e09a63aa4c133bcec3bb3e3813c2a3ac7b

Size: 186,514,792 bytes
libcvc4-dev (libcvc4-dev_1.8-2_amd64.deb)
SHA1: 362ff8376a29a5c8963d6d6a2721bc875f306562
SHA256: 2a4c52a657a8896e8c6a767c6c5360691328bac80e7d3981a654c16eca7deeb8

Size: 131,268 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_amd64.deb)
SHA1: 1585adc4ab186f59210248719508b57f85180ee9
SHA256: 0004019fad3dcf6d1d2863f4995b0cebb20a5e0fb455b6ab09f20ab2f4e23740

Size: 366,084 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 2fbe329ec72e9e8d566bcd66f4b2be8bf76c9bef
SHA256: 3364a1965b1cf5b61a2ce78480f6547762a64a236a1aa9679e10198865c8d3c7

Size: 5,162,296 bytes

Other checksums

Submissions

s4wshkb3
Submitted
Sun, 27 Dec 2020 14:04:34 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600360149"