cvc4_1.6-2_mips64el.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 14 Aug 2018 04:08:13 +0000
Build-Path
/build/cvc4-wL2Gdv/cvc4-1.6

First submitted
Thu, 25 Oct 2018 09:56:30 +0000
SHA1 of .buildinfo
391db254b45ad6e7b904b76fd3131005021a1d3a

Binaries

cvc4 (cvc4_1.6-2_mips64el.deb)
SHA1: ddb579025cc4ed7f4f1171e62486b0fbb81b7035
SHA256: 1757d85234cb04e6feb2d520f047f16eab446e4f1a3be6034e488528d3fc07e9

Size: 125,468 bytes
libcvc4-5 (libcvc4-5_1.6-2_mips64el.deb)
SHA1: b6fa0d8997913fcd79f43e1e8cd183bd6278952f
SHA256: eb8ccfc7f07d15fb3039a3f25f5af19e5b88c28fb95b3627532b24ae44b613d1

Size: 3,206,972 bytes
libcvc4-dev (libcvc4-dev_1.6-2_mips64el.deb)
SHA1: 1ad06091e7a30dfeec74c4200950e0b8b1780a4c
SHA256: b8e6d3a6c134707532099373ad38c0fef4b48160ae95a38bf5d0c9e39fec5bb4

Size: 7,454,804 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_mips64el.deb)
SHA1: a1c9aff0da51537bf671de8f13eadc3c4fd5a219
SHA256: 56e3e778be2359714348ef248d6294cda961c8b705fe279c22e634937baa8d73

Size: 300,304 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_mips64el.deb
SHA1: ae3f7626bac6f249e5b83ef65357dd7182aad937
Size: 6,137,568 bytes
libcvc4-5-dbgsym_1.6-2_mips64el.deb
SHA1: 37ae41e177a35c3361a66fb26df9f8d8c2f768d9
Size: 151,708,296 bytes
cvc4-dbgsym_1.6-2_mips64el.deb
SHA1: 7696cfa476c44b1b5ea617f918cb6c14bf7a1e10
Size: 3,521,076 bytes

Submissions

qbwq7m77
Submitted
Thu, 25 Oct 2018 09:56:31 +0000
Signed by
0x0E2566AE0AF89F9E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1534078846"