cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 30 Sep 2020 18:31:10 +0000
Build-Path
/build/cvc4-1.8

First submitted
Wed, 30 Sep 2020 20:51:31 +0000
SHA1 of .buildinfo
a042bae8ddac9ccf32597b800b9d28883f03be63

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 98c0ecf256a38c84dcd9404267c22a3d5b657c88
SHA256: b4530f3625c36620c8e6d8a2c46601e2d7c7123198db177e161ec7882ac8a50d

Size: 81,636 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 86cfdbc532c6dbbf304d5a68d94d12c4b8ef79be
SHA256: 2bacee5b31f186bf1d203cd686c9c56836188416c442737426f4d4de8d93afbe

Size: 992,076 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 3e5537d40c74bc684a8b925e910821829398ce91
SHA256: cfc92a440daa31b96454ac9699d1b2db5afb59fcbe82f4cb9773353f0c965d4b

Size: 5,649,012 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 85c33703d16529393e6529b0ccf614eaf32e3dd8
SHA256: f9a7ecd16cd5ace18cf834127bb60e932de1b103a6e3dc80e61fc706db412a92

Size: 186,496,632 bytes
libcvc4-dev (libcvc4-dev_1.8-2_amd64.deb)
SHA1: bb3347e65ab694c2419db3b04f7cc35f114e3fce
SHA256: 336a71d9e102ea2299200413899ad81d7dd5d038f6671652fd88ae1c4771b870

Size: 131,264 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_amd64.deb)
SHA1: a60751b1ce219a7779ba9b949f80968f032e52a4
SHA256: 4af4e19eac5d2eae23308c10e4c211103f4e22f9b588ef41a6a9e6a9b1a321c9

Size: 365,828 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: cb5927be1068782fc4bde238215bebc1e9a195ed
SHA256: ed8e9048e9e4881bdaea98582cb6b15ed4acd9d71d516bdd98270fb629dae2e3

Size: 5,159,904 bytes

Other checksums

Submissions

uai4h3xq
Submitted
Wed, 30 Sep 2020 20:51:32 +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"