cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 30 May 2021 21:40:37 +0000
Build-Path
/build/cvc4-1.6

First submitted
Mon, 27 Apr 2020 17:49:43 +0000
SHA1 of .buildinfo
07f2083bd9a199a54cd70ad6bd7ed40b21dd45a7

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: e19d6d676260c8ab281d686d6b9ce05687e873e0
SHA256: c389d7fff496be286f14c98d1b7be6af5a44b6ccbf78cac019d33c795836eb43

Size: 139,372 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: f53a96383c27fdb7afcf3bbcf15d945ff442f9a4
SHA256: a3dd91b426ef4688e7b53ef61fdf1e2f4d45c385c0a0511ce69cc9a6d4dfa069

Size: 4,511,024 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 3622a1c36a255ded90a8244ec0f77eb5e321e1ac
SHA256: 8e14ffe82edeecfd06f79c7717e201fd6fc31a8839191e27dcea7e99c692a0be

Size: 7,270,896 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: b796938e34a6be897d35a296602960e98ae5bbc7
SHA256: aee5dc2305938130f57acba15f0bc5201eb2be98cbc0a58b4e88a983f9fe283d

Size: 367,972 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 96c43b55a55fd5f8f6419d7794950f303d78fb95
Size: 6,584,648 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 221db34f0b163154a25d8c933ff3dfd82287420c
Size: 156,926,972 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: eb3459bd6b5330e8eb0b0fb791e5cb2175295ce5
Size: 3,718,720 bytes

Submissions

ya9mpqmc
Submitted
Mon, 27 Apr 2020 17:49:43 +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"