cvc5_1.0.2-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 13 Dec 2022 13:21:10 +0000
Build-Path
/build/2/cvc5-1.0.2/2nd

First submitted
Tue, 13 Dec 2022 15:09:22 +0000
SHA1 of .buildinfo
0307191245ae73c8c9eb2934769a14c8c89c5946

Binaries

cvc5 (cvc5_1.0.2-1_amd64.deb)
SHA1: 520085ffa0b5e847f3f08b00ad12ce4e11131b0f
SHA256: e96f3b8b5ffb720e2209ca19aca4fab576b631366faaac578d27741eda392cbd

Size: 108,080 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_amd64.deb)
SHA1: 220182834f4c134382bb88b0d067dca5e39d8777
SHA256: cb907783c63638be6eaa3d2c15f90f181cd0cd466bb23755674911f11ac6af3d

Size: 2,542,340 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_amd64.deb)
SHA1: 0dffbf60acb1a9ad075d211da654932db1a793d2
SHA256: 2a3563534b9c295b623ba99e3e09b3c52a2effaa56c27a8adb19b1669cdab504

Size: 5,847,600 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_amd64.deb)
SHA1: d8ac02c9a2ce37e9a5450dafd30e4dd3a73bf954
SHA256: d3c7002ce3c59ea4d7d216717662e5d2a93e7cca750ea1048c2c64c29d1d9903

Size: 166,702,780 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_amd64.deb)
SHA1: fef40bac32ca0047956dd277e16f70a9f55189b2
SHA256: 69d5d139daa2cbc82cd4040c2b71449f2165eb964f160aba21051efed62b5716

Size: 57,800 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_amd64.deb)
SHA1: d32529a2c8d09896e4194e33c59138c319cf187b
SHA256: 360cc26a4204400eb8a3c46f00807aaaba292116b8fe7bdd211ce61fc3f99d07

Size: 263,736 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_amd64.deb)
SHA1: 09b45caa07ff5df05622ad62558922babc7d7714
SHA256: fd7a0742985a012eed15666876831c21ad8182af3209173a83cde1ad61153fd1

Size: 4,311,524 bytes

Other checksums

Submissions

iybx73zh
Submitted
Tue, 13 Dec 2022 15:09:22 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1669938285"