cvc5_1.0.5-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 22 Jun 2023 23:58:48 +0000
Build-Path
/build/2/cvc5-1.0.5/2nd

First submitted
Fri, 23 Jun 2023 03:30:44 +0000
SHA1 of .buildinfo
bc0c9df176e36e30c19dd20922aba7c441c91116

Binaries

cvc5 (cvc5_1.0.5-1_amd64.deb)
SHA1: badfa3fa518a0fd58e0e0917d0455fb39d5e883c
SHA256: 954c3a87bcd51254103a18dfc21dd26c8f95948356f7fabe7169b259098e84f5

Size: 100,036 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_amd64.deb)
SHA1: a2aaaa420781bef9c6bfeca2f1dc2c2fd1cef244
SHA256: a921de8f71203c4da809d353f0a93a7963cadb65745beb19b69c29cde326e5ae

Size: 1,833,716 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_amd64.deb)
SHA1: a0ce7b77ce06226f56aceeb4482bf2b747b3467c
SHA256: 48396db4671abad4253d68ce6fe45ac7d84494942a7313896445bcb463aa436d

Size: 5,906,832 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_amd64.deb)
SHA1: 031c0f8bb3a687632ed2ed88d5e2cfa1f42b4317
SHA256: 6b95733e91fc988ad8e33f2cb41312c5f19100c13ec702ffa1481dd29df07230

Size: 170,620,724 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_amd64.deb)
SHA1: 09cac8393fe7a1586325aa1615d7c4a8aeed7ccc
SHA256: 41aeb75f103667f57342c6dba1d6c474d11ab55084f39a2399d218cfd8e88664

Size: 60,572 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_amd64.deb)
SHA1: dc3f00f4d922541dbcab7cbf9825738064d73df1
SHA256: 9c857470f0753474a847806c95968a210278a286d088ad22ba356f4776f97079

Size: 366,352 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_amd64.deb)
SHA1: 8f5a3cf7be3a68fd48ac9830410a4ecf6bee9939
SHA256: 8abd4f50ef042818d1a4347fcb6a91b9f0d42f2a221f9c40d91b50dab9543d48

Size: 6,157,028 bytes

Other checksums

Submissions

m4vqowyo
Submitted
Fri, 23 Jun 2023 03:30:44 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1687277466"