cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Nov 2020 17:50:05 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Thu, 24 Oct 2019 13:27:17 +0000
SHA1 of .buildinfo
bba2cdf06aaa3faa2e7d55ad0b37dfb7cbba7571

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 10244540a1669e94894b205f0cde77749c7a0c95
SHA256: 598d5897ec0d75d8452eeb3af8d52f90e584fab91ba2987b385463b095c0fc80

Size: 139,740 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: ed3ca02557c9df3124a085a84c15e42b13c5bfaa
SHA256: eb4f9164021a58ab081efa65090a43f41a8b4e7a253a2b76cb7a2db5bf71c614

Size: 4,513,416 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: c0acfb350274f6876df44e7491c45f9ab6d9b244
SHA256: 3837aae06ff42eb02bad780d266eeffd4591d14fa69400fedecdf34490ae73de

Size: 7,279,384 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 652cb1a65637e3368e2b92f6123f278803a6d277
SHA256: 4042c6a5a00dc8088f16253deb219902dd6fb438f65bde9aa2541287cf2d854d

Size: 368,084 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: fa5f4c81311aef420fd441a64bc8d855a0ddb836
Size: 6,536,736 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: df8699d92e60e314bdeb558dcd77e0e3045f8d1f
Size: 156,398,516 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 515847ef69c69d6061b2b06107d65c325e187eb4
Size: 3,695,320 bytes

Submissions

ifd7xtd3
Submitted
Thu, 24 Oct 2019 13:27:18 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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