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

coq (coq_8.12.0-3_amd64.deb)

SHA1: d68885f924e5bbf9515ea99eff6427f433ef4710
SHA256: 6ed3d9580155d5cb0c087ad1a69e2f0c8d70faf0ea2c4a3da9c4980e811098e0

Size: 90,459,264 bytes

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

SHA1: 3718bbb02e2cebc11fc2a8113ae715e6f45774f9
SHA256: 759e6ba71173f4afc6cba94fc15c5e6a8ca9e874cf18b1099d25be91d2c5b1cd

Size: 8,908,408 bytes

coqide (coqide_8.12.0-3_amd64.deb)

SHA1: 3cf6f2c834e0bf000701f2ccc87e820bb90a3a32
SHA256: 9d8181285fc44272d830a21bb5314a2605f27235c6c2080c3a1b971d09129ce9

Size: 1,878,820 bytes

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

SHA1: 5ecbfd98adcb84d004ecc59a97e945880672dbff
SHA256: 799c1fd01b5b02cf777fd6813e91667cdb7d70606fbc4e20c15ae5c76d92bbf6

Size: 569,736 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: 196ccf25cd5b45a63b67b2f5288d58ec4f1ae501
SHA256: f0b576359ff165a7895e24b2a5e65b44a7ac29a9de8d8b0246b27e941991df21

Size: 7,759,184 bytes

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

SHA1: c3759ce0d454d1b9587fd4bed7576c63dfafdec6
SHA256: f9adaef8dfcab892396f1ae17b9a0d33a30470f153c67fe74a434b7c3f8c3bde

Size: 661,460 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)