cvc5_1.0.5-1_amd64.buildinfo — buildinfo.debian.net

cvc5 (cvc5_1.0.5-1_amd64.deb)

SHA1: bbe41d8e7a77ea8a507422bee7b820162f81de40
SHA256: 526b891b1b73d2b97b6eb7923696606ecd7e6205456510c9637a42a9e0cb93fb

Size: 99,896 bytes

cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_amd64.deb)

SHA1: 743aa89a428a41b3ba6cbce1113b2162d9617566
SHA256: 6e83fd02a36c4094aa68a450b8648589527244af8d6fd54beb94fff8abb95fa4

Size: 1,833,640 bytes

libcvc5-1 (libcvc5-1_1.0.5-1_amd64.deb)

SHA1: 0e359d0fdcb847c51f2202ec55ee76bcb6b9d3b5
SHA256: 2401f5cb9c604491d1d611e1d68c1f87b6e777c840c5cfb674a66093f8d867d6

Size: 5,908,452 bytes

libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_amd64.deb)

SHA1: 3ba344f863c17dfce4a7b6a98af45f94dc081e25
SHA256: 55938df634d13bf27b4b46bcf0c07679a4aed4af1439f9ddf0e6d7836bcf75e1

Size: 170,637,092 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: 8ab44d270fbec07cbf7e2c12451ddaa06e80a7d3
SHA256: 8ed65b26bf644b998f0f5eb76e0212f1d5c099d89a341b18205cd136fccac50c

Size: 367,036 bytes

libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_amd64.deb)

SHA1: a54d73ffdb2213cd83ca3cc1884828458d3068d9
SHA256: 8dc956188024bcb67c23a4407b2fd4972b49655f9d7ac28f2b8afe59956d1a19

Size: 6,156,816 bytes

cvc5_1.0.5-1.dsc

SHA1: 39687f886029d105f62972b9cec76335432ee8e1
Size: 2,335 bytes

cvc5_1.0.5-1_amd64.buildinfo (view)