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

coq (coq_8.12.0-3_amd64.deb)

SHA1: 73f8de11711867e8a8004e21088655078f416a54
SHA256: 1d88761b08b008f4e552e17565150bbbc1a5542e3ec3cbda371de9ff6c913895

Size: 90,458,576 bytes

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

SHA1: c8e9fabf8fc00f938c2b0a53b326662a81db1b9a
SHA256: 696fa11f6761d20b0ac2cebff69a088cf4fe2d69f59212e796196c09ce02ee96

Size: 8,675,852 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: 1391df4879601905e6228e632a1815abec0cd6a1
SHA256: 56048b4a10bfd7cc1f3e9387d2135800057f1d5047bc83c3d52c5286a6dfa1e9

Size: 7,759,164 bytes

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

SHA1: 3bcefca6f663494d4a9ae95b4732923b86454029
SHA256: 18034879124c96712f9121378c06341452b64d415779882a10881e89a51483f7

Size: 660,812 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)