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
Fri, 14 Apr 2023 11:07:03 +0000
Build-Path
/build/2/cvc5-1.0.3/2nd

First submitted
Fri, 14 Apr 2023 13:15:27 +0000
SHA1 of .buildinfo
a81cc4e3cccce62bbcacd303079947e69bb6ffc1

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: ea151641022e3fa173f892d1af3eb70919a8bf13
SHA256: 46fec92081382492e30a8d295b777c0577c72b38c869afa6d6c9773fcfc95acf

Size: 97,352 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: dbf4cd16111cd5e5ea0a6d227383f81413d03c81
SHA256: c06698046c49508d180002ab1d4651a0e47a82b23631b2319f3c1296662b0e76

Size: 2,522,744 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: fc9fa9a5a3fea0ff0ddcb160120a25e9bef08ecf
SHA256: 844a4a2d7eacc0b1226c379959cca478b275e7041d485d686b76ef518c677763

Size: 4,945,544 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: a98475b59cb5e25a1bcf988fbda40b995b2e94e4
SHA256: 089ff76c780458b27ffa6bded1b77b0e7d3d8956febc1984950700d02c175951

Size: 165,903,492 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: 7445a63e45aa53a8a618083e4ca8fc29266a7997
SHA256: a2fa670e64fb097c0076671ecabe1d507f943aee31d028d9afe3038d8a598af9

Size: 273,340 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 01a857af32aba8e8e47ea6752895443e0c129dd8
SHA256: 130148f2a5f08f3380c358941c979c5e083179577560add42b53718a1cbff788

Size: 4,867,200 bytes

Other checksums

Submissions

krfbbxtp
Submitted
Fri, 14 Apr 2023 13:15:28 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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