cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 3 Jan 2020 03:52:13 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Fri, 30 Nov 2018 23:30:05 +0000
SHA1 of .buildinfo
d88ab884362317c36a2b95f9983615fb35a83a1c

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: da13dfc74e9d61a351aa6c9098c66cb58d911ea1
SHA256: 57a2b67c989d91c08d94d8b0705adee444b8a88c1494555f1d0187ede49e2bc6

Size: 136,152 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: d2441cf1b1546df5722201760090bd4bfef446ad
SHA256: 4fb9487b3ed0c343d7fa9904cf029f0cfd682214cde3c0685e67fb0568c3522c

Size: 4,056,252 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: eec2317f5f4aeb9896f90e0f445477c6aa685ef6
SHA256: a3c2bca76909f7ea29232e8cb6af2aa54c1fce200e73d32dfbf2ed6449dd980b

Size: 6,716,772 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 049094e9264817e585ab2c61d3bcfc883a09038d
SHA256: 4cecb59b33a2971d80368cfe5c0e2a7da8305c27891edb359f8201dc898b15ea

Size: 362,684 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: ba3647817a974e7280dd7cc2f9258f644a0279ca
Size: 6,266,452 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 5b7844ed75fe2476e65c058874c37df370ec42d5
Size: 152,447,764 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 3e477a8bcfd3768fc666f24b9286ee047893a38d
Size: 3,584,804 bytes

Submissions

hntooccr
Submitted
Fri, 30 Nov 2018 23:30:05 +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"