cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 15 Sep 2018 11:29:06 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 15 Sep 2018 13:29:33 +0000
SHA1 of .buildinfo
1941842f7139500bda371c3f6d367bc001c049cb

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 06f9fa1370a5f414fac0365655c7871ba444e53a
SHA256: e7f5119f3f0cd0713d4123fd18bdeea752fbac82e5718dacb34b451e6506df64

Size: 139,992 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: dfb6b7ef4269be8a16daad980f126cd5d49fd8a3
SHA256: 0d5132231b232cf632a5882109ffe483991c4450a63585872a375d5c20d17bcc

Size: 4,057,436 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 45dbbab06708374dec93697e264eadc98dd0d71d
SHA256: 27ecd77ab9b4e8e94d712cdbc8a93db47edfc0f92cdff99f4ffb5530747c4870

Size: 6,713,504 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: dde88db7b9474f2085a9d84ec92a3f0bd4a50b6e
SHA256: af0b8851a534147a554c778e9c8bb1df41408f5dcd379150056a213326763199

Size: 362,224 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 17c2be96faed310909a39903d8c2b136fd080601
Size: 6,230,652 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 6e3688ef9fa10c0a4c402f6ff4423eba4705a9dd
Size: 151,565,640 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 6586d3050cac826f5d0cddda8699eadcd7de2f63
Size: 3,556,356 bytes

Submissions

ya4hjanv
Submitted
Sat, 15 Sep 2018 13:29:34 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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