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
Mon, 8 Jan 2024 13:11:21 +0000
Build-Path
/build/reproducible-path/cvc5-1.0.3

First submitted
Mon, 8 Jan 2024 15:30:17 +0000
SHA1 of .buildinfo
98f4889c7d3c96f62337436eb7a2de5ca1a9946b

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 9e68e985791c84492190f69da563de77093f38ff
SHA256: c08f350730748d9e26364693875c86fcad73d7bb3fe6c398ba06817e921305b8

Size: 97,432 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: b73e09546b720995544e5454f6957dad391ebb51
SHA256: 1c33742d51adfe548f677a8266c9a03cd665185e761a0e4d7921beaffd79bbd7

Size: 2,523,068 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: c5892d3e7a03f1be6065f7d7fc0ae219d00f9596
SHA256: 9bba0784469ac8f0293e8bd0093d0a9477d7f9bfa9522fc836a894d6ee0a7924

Size: 4,943,508 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 776af5358311c3286f315ccbd9142592a8626a44
SHA256: 55e2e9ada12edc1d484b2a8a742c6fdc7b8da30dd58a3ce83a29ff3829d60824

Size: 165,904,536 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: 0b877a8887cde72853e70ab74795b50d52b81242
SHA256: e8fcbc2ac293787d7cc79ebe2225acde0cfbae661ebdfb12f45acd994f05f43d

Size: 273,216 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: b36d4dc1be7535548b37675d15030405cf8f0600
SHA256: c3d56ca5b788c14c57b03b18f4c3dff77825c7d4c771027e721c93c123b8bb5f

Size: 4,867,504 bytes

Other checksums

Submissions

fwsiwq94
Submitted
Mon, 8 Jan 2024 15:30:18 +0000
Signed by
0xF088F61B03D475A8

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1671500150"