cvc5_1.0.3-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 20 Dec 2022 05:14:25 +0000
Build-Path
/build/cvc5-Gvbnpo/cvc5-1.0.3

First submitted
Tue, 20 Dec 2022 06:38:08 +0000
SHA1 of .buildinfo
735c85ee55f73daf31b760b7e4172fd914b18371

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: bf059819aa7672e79241f4d1a782be71f22e5fa6
SHA256: 9e344254fea83fafb2dff50bc52e991357f74a4d2d8cfc55d670e74f704e41d8

Size: 97,488 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: 737b4aa1eee2632c5b6c5f9ca853f1448e2b1b0c
SHA256: ce82ff5803774b9009b25f9faf3c5b6ec9b22e285e67882de293e391e9663782

Size: 2,522,528 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: d22054b2e45c5516e75f11b418df5a22a3dd5db2
SHA256: 6fc300a39e6d443e976a843e82242e8b6cf7fdcca2d2eb79fa143e7b1c37848a

Size: 4,944,548 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: d2c7e2d7a7333fa7c94b0243cabe32c37f871c03
SHA256: 7c0c6ca44cd6ba48d86deec7188f02e4cba1a4c75b29a222da5e500ee61541c7

Size: 165,903,900 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_arm64.deb)
SHA1: 7ddb81da21803a2ca6fd82ef8feb78e045233b65
SHA256: 53bd799580c1216c334e7e91a4d0c3cbae3218a8dc76548e725148b86f19bf95

Size: 58,576 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_arm64.deb)
SHA1: aa4d7a70335fb543ed2df66fe4f122a1b7433ca9
SHA256: 1801153206a79c9c31ca01f9926a2f958b5e5133057143050281cd0173df9f98

Size: 273,148 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 6123b2c25b97d9afc8ad2b2c93ce1667ee1bf9d0
SHA256: 59d75d2927c8b9f818b4aa1a42be9b0c3232fc3605a55b291d56656c7b0a2190

Size: 4,867,448 bytes

Other checksums

Submissions

d9ywkh9t
Submitted
Tue, 20 Dec 2022 06:38:08 +0000
Signed by
0x12AC3A7EE3DC6E36

Environment


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