cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 20 Feb 2019 13:48:53 +0000
Build-Path
/build/cvc4-1.6

First submitted
Wed, 20 Feb 2019 16:14:28 +0000
SHA1 of .buildinfo
81a4a0d40f196e484c46d30e371f715b5c32c695

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 70c7213d23aae0391ed1b607a34093a625b3ffd8
SHA256: 208b23a6de99c14efc5368f9a72b7b26c8043316b9e4106bb833dcbb10aae038

Size: 135,592 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: d7a5243139a9e739b787bd5eeefbddb8a8384be8
SHA256: 27dcc4479b6af6067d2804683bd53078987af63f59df382b7104bbff4370d65e

Size: 4,058,048 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 743eff591efbad1f9df3e8bb340ace57912f2c6b
SHA256: f1f772847584d960a3d9b94acbe113fd720cfbca52f0bab56cc33638a59b66b5

Size: 6,719,056 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 6e5d00da56d48ed854b61444f2791a89999347cf
SHA256: 9d4d1190719a2a8bcb1842a2f71359692f174ec85c049a6aff0b73ed81bffe00

Size: 362,620 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 4e67a18a507de08bc722499f248af22ae5152631
Size: 6,265,748 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 6a0b94da03687b200092e0c3b58a1764c652de50
Size: 152,427,788 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 51e869d88205eb9e8dcf3ede71cae211256ed90e
Size: 3,580,684 bytes

Submissions

sofeekbk
Submitted
Wed, 20 Feb 2019 16:14:28 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"