cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 18 Sep 2019 11:54:38 +0000
Build-Path
/build/cvc4-1.6

First submitted
Thu, 16 Aug 2018 08:26:16 +0000
SHA1 of .buildinfo
d8c8d062837f632d5b1bf931732f52beeefa3231

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: f55a824a51b5c47cc2aff6f364aaf31727be87c3
SHA256: 28e11c482c7f5e3714cba75e88e70838b390bc893ae61ced1d2dcfdefc32cb4f

Size: 139,664 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: d6f9ebece93e1a384d1512c3efadae62becd34ae
SHA256: 236e2b611a8aeb2796bf3d8673d52bd7fd2ce03d3bf972e1583560fe6046cd2f

Size: 4,114,188 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: b28a0c46d149182f3d65d215c34ea3b8c5196106
SHA256: 5c587060573ba124b4e475b3ef05753d06cfbdec5de8c44263ebae698e58536b

Size: 6,759,664 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 890bcea194d9e7070cea09d456a728466fb073b2
SHA256: 2fc934b70edd85d9751c15e925c5fd9dd382b4ee8350975a0f99002c0e7dace5

Size: 362,996 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 86e9154c58fdcbb855a19fde0a9969ff0095de2d
Size: 6,229,456 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: c1f46f4d21f2efb3f4ee56bf51611f711105e35a
Size: 151,678,304 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: cf4a80d542b183d255da4a0efa3bcbcb17f69821
Size: 3,555,372 bytes

Submissions

j7nepf3f
Submitted
Thu, 16 Aug 2018 08:26:16 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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