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
Sun, 8 Jan 2023 05:03:22 +0000
Build-Path
/build/2/cvc5-1.0.3/2nd

First submitted
Sun, 8 Jan 2023 07:12:12 +0000
SHA1 of .buildinfo
15689696d9bcbaf7e49de129f10c1c0dc980d004

Binaries

cvc5 (cvc5_1.0.3-1_amd64.deb)
SHA1: 3bc87e041f497b1cc4b2a1180e412cdaf9246642
SHA256: 34291f6262ee7f5f413a910a3757bbb7ad6107753aab93561f70da85e4bf30d1

Size: 107,648 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_amd64.deb)
SHA1: 2f2f942f32f21822b0748f5f5436446c40bff9fe
SHA256: e1a238c7ab945b84168cd5f27a4b50c7404c620b99fbdabb6dd1702f698abce2

Size: 2,544,512 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_amd64.deb)
SHA1: 61da3d268723584e8dfc65357d260b6b11619a7b
SHA256: 246a7256aa5328a6a8f774c7a50bdc1242093460572d9da0e36d7f7993bd5090

Size: 5,844,156 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_amd64.deb)
SHA1: a1ccbb8348dabcc9ec8f149145db5f98bb9fa7a7
SHA256: 926a7c714324226577e3134b3039ad71dcebd229d9bfa05e2ec3e1b469eac510

Size: 169,520,100 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: da3e29db3a74b5bd22c9575e03ab9965c9109463
SHA256: f75ce8c36dadadff8d78b84cc64525116d0870adc3edc3b5efe21b027f63538c

Size: 306,948 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_amd64.deb)
SHA1: c40df182a7498052bcd1a60b328d84a859099dcd
SHA256: 8bc4bdd85a663ae1d2f15ec584f6ffddcae40b5e58ae079c66e63044e4407d61

Size: 5,027,596 bytes

Other checksums

Submissions

heatx3zq
Submitted
Sun, 8 Jan 2023 07:12:13 +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="1671500150"