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 Aug 2021 04:16:54 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Wed, 22 Jul 2020 00:27:02 +0000
SHA1 of .buildinfo
e0de4dd3b61c69544763faafbfa0385027f39094

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 82027081b78d5700c4187602bdba5d5de1f00c48
SHA256: 3118fd6aac6422b300e709531932549abaa7df8c0a5e4903c836b70b8142d730

Size: 141,316 bytes
cvc4-dbgsym (cvc4-dbgsym_1.6-2_amd64.deb)
SHA1: 8ebb65ee341d655f1c30e89346fa205f6aa0f30a
SHA256: d40f93133aaa470a614750dd00fb40f6efe050fb906f6526f0664438003511b6

Size: 3,823,100 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: b660ba7f0417da6cd600273039fe6f3e37e72b45
SHA256: ad97bb9fb817b93261bc84fbc0a3ae41c24fcb6e8ddff02914ff9025920c6f89

Size: 4,510,492 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_amd64.deb)
SHA1: a133bbb90e8367a15fb1c25d926b740369b8f8f6
SHA256: 34da55b9752f261a32b7497cad05dd4a47376a4b9301a007d5f4552713d315ad

Size: 156,948,336 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: ccf71195b4a00aeded1555db2434637d1c783c83
SHA256: c9b48ec440a359eb7d660e0f35fcb2867267032a3a4973ae40e025ba99707270

Size: 7,272,488 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 84b73c8f323b7d7e4863dafe373c88b83d53ac94
SHA256: 8cd5c4e4ab53ccf1e2630defecf43fe1d3f6cd04e99e3be6579f1fdf6bf051b3

Size: 367,508 bytes
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_amd64.deb)
SHA1: f1ae9d0ca9b714c784aea068366182898d7aa425
SHA256: 2e465820da8b8ba5e0612af7b18c121753a35c586989e9e7005a74503c7f6e6c

Size: 6,587,304 bytes

Other checksums

Submissions

gnpxpgkr
Submitted
Wed, 22 Jul 2020 00:27:02 +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"