cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 24 Mar 2020 20:37:12 +0000
Build-Path
/build/cvc4-1.6

First submitted
Wed, 20 Feb 2019 16:14:29 +0000
SHA1 of .buildinfo
12a80f30b72042d82ad0737c3d7898029c9c8a86

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 7162e8c776b62fca720439e9b75b7c25f230820a
SHA256: 26d5581c5f6c21c5d75e12c8dfc784cb1184176e79c2c1b0a57d2b714c4bd48b

Size: 135,596 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 59b6b3b83d369db6b18be9fef42bc70ce6d3570d
SHA256: 80759f1e48b4c39cc1ec99ea563aee5234147567dee0bbe021ffacf99a73661b

Size: 4,055,780 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: d75fe2aa89e0077cf8a897de5c6e74368b9a635b
SHA256: 0f3c6ac390a4b4439470ae20a7b7bcc6d5a0d303f8461fc27e15f1effd2adf9f

Size: 6,719,032 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 6e5d00da56d48ed854b61444f2791a89999347cf
SHA256: 9d4d1190719a2a8bcb1842a2f71359692f174ec85c049a6aff0b73ed81bffe00

Size: 362,620 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 4e67a18a507de08bc722499f248af22ae5152631
Size: 6,265,748 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: ed27f49c6e75abdc49198c22356b1b1ec5adcad4
Size: 152,427,496 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 51e869d88205eb9e8dcf3ede71cae211256ed90e
Size: 3,580,684 bytes

Submissions

mkjbdhdf
Submitted
Wed, 20 Feb 2019 16:14: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"