Source
cvc5
Version
1.1.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 16 May 2025 12:15:36 +0000
Build-Path
/build/reproducible-path/cvc5-1.1.1

First submitted
Sat, 13 Apr 2024 08:19:00 +0000
SHA1 of .buildinfo
6dca50a2ef374cd994377583d64e1a21360aeb5c

Binaries

cvc5 (cvc5_1.1.1-1_amd64.deb)
SHA1: dd27a83875d7150a1e9ccd7d79885de7117dd9bf
SHA256: 3500353ea729e0442bb6f51250fffc55ca9afa9b1de5b39770d085bbebcbcba4

Size: 108,620 bytes
cvc5-dbgsym (cvc5-dbgsym_1.1.1-1_amd64.deb)
SHA1: aa4de5d811c91016bf59ba35a6ecded308f33ca3
SHA256: 93a1eb1772d56d0303a0eca078f88a34bbcafeb447579fbc1ccdeb65a1016262

Size: 1,764,848 bytes
libcvc5-1 (libcvc5-1_1.1.1-1_amd64.deb)
SHA1: 39a3a977fac678338d7722ffff63996cf152137a
SHA256: 16b452a69d0eb16e3bc1f98da09024787015f0a91700245033784df96253d2c8

Size: 6,295,472 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.1.1-1_amd64.deb)
SHA1: 7809b66dd48fa3a6905c33d72ab1a39e322ff2a3
SHA256: 945d7d1463f8cb1c6323d90ca2a2fde46a676938d08a584e53e7cfe0715132bc

Size: 176,760,332 bytes
libcvc5-dev (libcvc5-dev_1.1.1-1_amd64.deb)
SHA1: 4d4a47eb6fdba417f7a861200f0dfdbc5622999e
SHA256: 1451ffea3a430084e330e0646e8b4e419555cc88228d3e49915240f61bc5d368

Size: 79,640 bytes
libcvc5parser1 (libcvc5parser1_1.1.1-1_amd64.deb)
SHA1: 8b6fb98fba6e9b480eba1adb7290f9075ea9fd84
SHA256: 65c06f7ff240d63e14728e1043aebfc8f32b191d592720c9537bc05dd37d750e

Size: 231,608 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.1.1-1_amd64.deb)
SHA1: 332f0c23d761b22cfc91518225aa3f02191485f2
SHA256: d206ccd7bb501646ff889af7847ef4c6b924780cc5b28af69122db1edf63c77a

Size: 4,009,744 bytes
python3-cvc5 (python3-cvc5_1.1.1-1_amd64.deb)
SHA1: 9a0ab43d789c8878119b0cd1dd25a61a16e494f3
SHA256: 94ed0e04d7c00bf5adfe8c7b0815609211f3dbfd162d53f9a7b01cbade311fb6

Size: 323,836 bytes
python3-cvc5-dbgsym (python3-cvc5-dbgsym_1.1.1-1_amd64.deb)
SHA1: 42d9b5361c6ccadeaaf151b7b7e297e389da5cf7
SHA256: f460be1a7e9c8c8edb0c589e742566d807b569dbf027b25e2c06bf65c56e1545

Size: 2,557,608 bytes

Other checksums

Submissions

Submitted
Sat, 13 Apr 2024 08:19:00 +0000
Signed by
0x7BFFBBE29C8D27AB

Environment


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