coq_8.12.0-3_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.12.0-3_amd64.deb)

SHA1: 6b41170edf57989793cd49758ad7b19b6013f7f5
SHA256: 5f00b696549d9af60143e9823f45b8ab5ea135a6674daa0357362f797dd42605

Size: 90,473,320 bytes

coq-dbgsym (coq-dbgsym_8.12.0-3_amd64.deb)

SHA1: be77e645f8fec85aec7bb44b2a3296d10644c640
SHA256: 79a7cb688e9e2207c92d47c363cd5ba36de19b0c8f218151dfecf3cd85409ac6

Size: 8,813,880 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: d2d75a20cf670745b400e87858b40b2248bcb1c7
SHA256: e113deb32aca04c3413075f44ba0c94e138ffbdf66521c97912e360ab6030223

Size: 1,878,140 bytes

coqide-dbgsym (coqide-dbgsym_8.12.0-3_amd64.deb)

SHA1: df60a633204b9167304de6e9e002cb379b1fa501
SHA256: a44bef5e560044c525c20c0987dca4836c037b4f8ed15499d96218d82894ac6a

Size: 568,468 bytes

coq-theories (coq-theories_8.12.0-3_amd64.deb)

SHA1: 3bc7ec76b3d915258358198f2f5bf82394b7e90a
SHA256: 1a036338c9ad6532320e48684ddadeb756a5d1ebb53c41b24d2100b94f34a5ff

Size: 36,500,896 bytes

coq-theories-dbgsym (coq-theories-dbgsym_8.12.0-3_amd64.deb)

SHA1: 330b733b7cdba50d765604b39386e1f4941df788
SHA256: a746001239d7e66a6f243eb2614f8e08d927facef775e4eecaf47817d4478cd1

Size: 986,592 bytes

libcoq-ocaml (libcoq-ocaml_8.12.0-3_amd64.deb)

SHA1: 8a9e8a8f292c72ec9502e572f41a9ef89a78fe34
SHA256: 14ce9e396634e0ee901b7e20cb6e1b4a4c6e064175d91e8558342ea916aec6b1

Size: 7,759,192 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3_amd64.deb)

SHA1: 6d569e6377d8824f81273ab2649eddcc6ac094d6
SHA256: 68a41c838a1178e4f8ccfda87b568445e5e901feb533734f61398bbddb08bde7

Size: 661,436 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3_amd64.deb)

SHA1: 41f63d7007700e793baa8233bfd56b23c160e60b
SHA256: 4f7976d683b82bb7ed56c9504da52b7961449413c431db0cbcb88a3c5c25e6e5

Size: 18,723,064 bytes

coq_8.12.0-3_amd64.buildinfo (view)