cvc5_1.0.2-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.2-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 10 Dec 2022 20:36:23 +0000
Build-Path
/build/cvc5-dyUlsk/cvc5-1.0.2

First submitted
Sun, 11 Dec 2022 00:15:12 +0000
SHA1 of .buildinfo
8d9b3fe457d9e57b0ed4db798f2dc3be3f6c3f4d

Binaries

cvc5 (cvc5_1.0.2-1_arm64.deb)
SHA1: 6c1b96aac4bc0f2e5df6a9a34ad75658862a7b6b
SHA256: fddd505e7fc01259485b1095d1932fe6f3257d03365a33ed031f433ad5322bf5

Size: 96,512 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.2-1_arm64.deb)
SHA1: be822a6671cafe0ce3033fc28748f452ff7e5ca7
SHA256: baff5ea471ea5c25b2a5e0281e1cda22b76cdffd60ccaff74e086048f5e435fa

Size: 2,516,752 bytes
libcvc5-1 (libcvc5-1_1.0.2-1_arm64.deb)
SHA1: 2610b1597b051e6f05afbf017a4e15fe63678428
SHA256: f421d208c661ca56098b4d81a4d61d76df42a56c7cd54a189971d292ec788504

Size: 4,946,628 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.2-1_arm64.deb)
SHA1: 96f90e2faa5e65d921ec9c992bc5377d4fe0ed06
SHA256: da5ec8aeaa4cb5a010811d815d91bc31e334786d7e6ae7e68201f47942f776ba

Size: 163,073,920 bytes
libcvc5-dev (libcvc5-dev_1.0.2-1_arm64.deb)
SHA1: b21390b23fa460bdbac1415b66d80a85ff00bc19
SHA256: f78ef0ab461fe6c647deddae120b33e6b252082848117f556f46342be97957bf

Size: 57,804 bytes
libcvc5parser1 (libcvc5parser1_1.0.2-1_arm64.deb)
SHA1: f778fbda7494ba7700e834c728cb102dd718c647
SHA256: 6d5b633bd0fb35d6862fd4bc7dd6799ab46ef89c0bf5361b41b3ba09a9e21760

Size: 235,184 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.2-1_arm64.deb)
SHA1: 713f00bdecc85172b68f40b75b57bebd35e0a728
SHA256: 5339d51256d4f7b3cf352a473974beed66ff6d92b43916cd0046900ec1a7a5e5

Size: 4,167,920 bytes

Other checksums

Submissions

tzb3iyoy
Submitted
Sun, 11 Dec 2022 00:15:13 +0000
Signed by
0xC807690CBF7C490E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1669938285"