cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 8 Sep 2018 21:30:29 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sun, 9 Sep 2018 00:12:04 +0000
SHA1 of .buildinfo
14930c681c5e72d3f824aea65d347e8de97b39a8

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 625de4a67cc6c16964b9916d1e68b109d84bcbe3
SHA256: e126999e15cbee68c6d2ad9aac5e0bd83d9a76cbfef6e4dee7aefa9652d1a998

Size: 140,124 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 75443d0e8177f17a3b8cf903b6042e083355ddb9
SHA256: 374bc3b6badfb2545411cd130cd239e432a92496bcfa60582d6fb48cb2b1e58d

Size: 4,056,428 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 23ea423482498274013e26c89ab5fd84b8eb4f9e
SHA256: f04aa7616dc0838efea91a3871636fc4ebf81d18d6752123242b705d6cebd405

Size: 6,713,480 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: db23fc706e2710a06e59b3df96f52a96ebe19ec6
SHA256: 8dffcc5f7663b6c07392f4d59d52bbf50cb0fbfb1eaef828774d59fb6608d501

Size: 362,500 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: b69e6678835ae7b6a2a02decc64ae50943961eb7
Size: 6,230,900 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 82c289cedc61f23b55ba42bb7a2a1328031c5d62
Size: 151,565,644 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 2291cc66f81b809ecf1f99c970f03f1847bec6bb
Size: 3,555,360 bytes

Submissions

in9w49st
Submitted
Sun, 9 Sep 2018 00:12:05 +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"