cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 1 Aug 2020 03:00:53 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 1 Aug 2020 05:46:39 +0000
SHA1 of .buildinfo
52e9435963e8c8433a541578462bd4bf34a09036

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 5acc1b02887d95294e70ab01a7df924a0ca5b950
SHA256: 85213ced9d27fa40e3ffc2f8e5c11556f7e048b44fdeba9ee317e45775f8ebad

Size: 141,324 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: b660ba7f0417da6cd600273039fe6f3e37e72b45
SHA256: ad97bb9fb817b93261bc84fbc0a3ae41c24fcb6e8ddff02914ff9025920c6f89

Size: 4,510,492 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

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: f1ae9d0ca9b714c784aea068366182898d7aa425
Size: 6,587,304 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: a133bbb90e8367a15fb1c25d926b740369b8f8f6
Size: 156,948,336 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 8ebb65ee341d655f1c30e89346fa205f6aa0f30a
Size: 3,823,100 bytes

Submissions

sdg9fkmg
Submitted
Sat, 1 Aug 2020 05:46:40 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"