cvc5_1.0.3-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 15 Feb 2025 12:19:02 +0000
Build-Path
/build/reproducible-path/cvc5-1.0.3

First submitted
Sun, 14 Jan 2024 07:54:16 +0000
SHA1 of .buildinfo
567f369dc57fed5295e7d95ffced10ccec590515

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 8a5ca9f437cf54b60457112cb12134f7329c81e9
SHA256: 1d99f263daf8f4287b1429c64d1f0fa746029d8846c60772273ec508047f34e1

Size: 107,912 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 5e4beb51d11f0f5e3fcd9de672f54fbc6a4474b8
SHA256: 72be1c463a3361847dbb5ec3a1a0ed8a2e1e8aec28037996867895fecef361a5

Size: 2,543,364 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: d4495bcd41bb9ee6b9fe509e838571127e838b14
SHA256: 11bfba59779c39b55aeba8b596ecb1744d0b06588b1a6db135e94fca8930d2e9

Size: 5,844,212 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: 7ab7b6d48669327bfb1caecb0e45e7fd7c2b2f51
SHA256: 2ae31bebd4152086f2521beb4d502fe233633efb74daad01d64ee0320e19014d

Size: 169,506,940 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_amd64.deb)
SHA1: bd6c85c710c0a11fed4b6e56e7a2eec7d8bacb3a
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149

Size: 58,584 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_amd64.deb)
SHA1: 322b312580c748c2c960e4cbcfccd485d8d7c082
SHA256: 27ca639c2e9322dca6bb464036b7f5d46202f0e7a0a36019054a9a3d5962a703

Size: 306,740 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: b50faf51bd8e3422d48e0885ba343d5ce8c3a0d9
SHA256: ff467ea49d5312d14cf464326618b7d83b26b869e5aeb3d08e7983286003b42e

Size: 5,028,220 bytes

Other checksums

Submissions

jnhcsvfj
Submitted
Sun, 14 Jan 2024 07:54:16 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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