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: 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: 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)