cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 8 Feb 2019 05:35:02 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Fri, 8 Feb 2019 08:06:06 +0000
SHA1 of .buildinfo
da19093e05fa2a472832a669a5875e0d25d0a62d

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 22fcc1b2e51b420946c843985ad0fe392c33d304
SHA256: 230249167a546502cdce8f6181249876e03fa1996e86f51b78e972fba993b0d0

Size: 135,592 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: fac4c9f1fa4d77c7691c581fe6cd9d5a23afc48b
SHA256: f7b9da3f4a57aef0579718dba58b9f81ee52ab8d13b3d2b33765a9174cea1853

Size: 4,059,096 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 68e764f9a92a5fe18d26150947208f5db2f0de79
SHA256: 26ed76812b95f278a8e42fc37826e6b4e63ed06a714de79bb21cabc4c3180377

Size: 6,719,952 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: c31c3013a19bd50bc65c642e3f2e73a0ee3b9cec
SHA256: 4a9a991f816d09ddaa1baa8dddad8afed63fc269458421e25fd4ebe96f74f229

Size: 362,492 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 7e74ed6c31a862f5f444e9d6fcfbf663e64ab022
Size: 6,267,104 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: c7f589cf79d20be77d00cab6d95ae4907aac2a08
Size: 152,446,620 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 9edf0644ea691de3bc5a9b27a130af3946b76cf6
Size: 3,578,472 bytes

Submissions

rs9vqmfe
Submitted
Fri, 8 Feb 2019 08:06:07 +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="1534078846"