cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 20 Mar 2021 00:53:40 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 15 Feb 2020 20:31:29 +0000
SHA1 of .buildinfo
6ae09fc4b89c4d5a1824c32ce1a1d1710b2d13ed

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 31f2f4344287784a10d217f994e9f1704db795e4
SHA256: e67e495dc05e83e9b0c4fe34e378968d374ba6220296b80836ec01f5bf4242a3

Size: 139,348 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 41b8248d2b70aaa99753692c73fbd0f88d5def4f
SHA256: a056dd858e43cad0aec05f0a1c9e2a947ca72749af83ddc91805c5d6699e0a1a

Size: 4,510,412 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: f725e50255777266c8b147a59e413154bf6003a6
SHA256: 0687eeca876a30350a86186a3c06d18963c727ba959145f119a814935afa8856

Size: 7,274,136 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: fed6d6d828180e2b83959d63c930d4392a9f18df
SHA256: f29d93a8ab6978bd80a00549ab2a2e868175bd70e7176352204c0b63776950fe

Size: 367,496 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: e5cb7bab05c940582c60262ed4ae03c70f924adf
Size: 6,538,416 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 780687e8d8ae3f6efde748ad0221b1e533f87a5b
Size: 156,439,232 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a5bad854b5613813ab19d196444c5300ba7cb129
Size: 3,690,496 bytes

Submissions

ncsxacpc
Submitted
Sat, 15 Feb 2020 20:31:29 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"