coq_8.6-4_amd64.buildinfo — buildinfo.debian.net

coq (coq_8.6-4_amd64.deb)

SHA1: f8c32186758224574cb14204eea5987167dc05cf
SHA256: 740d827a832bb10609dd1c6ac12c6c130a9e5bd47abc22831ed08d8e5eafaad7

Size: 13,950,472 bytes

coqide (coqide_8.6-4_amd64.deb)

SHA1: 40bb3b76994ec06f9653ea7f5b23fb08d624ecfb
SHA256: 812aa58da5524e4833afc7e6302706d1de1347f0a55caa8010ff6a692305ac85

Size: 1,406,600 bytes

coq-theories (coq-theories_8.6-4_amd64.deb)

SHA1: a806c70439e677dd9c237166d0c6c4779e8e6db0
SHA256: acf5e7ff8c57bb11692fe43975923f9e57ed5cd9a6593a048caeb6143f558e79

Size: 31,441,626 bytes

libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)

SHA1: f78005c371ca6b39ad35fd8a93b31ea798f9939e
SHA256: b8bbd3499b7415349574ba9cf5ae13106c4b3c073e7e3ceafc6f014022f95e7a

Size: 3,501,364 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)

SHA1: 02b771f5fc69f982b0525c39cd22fffe1d4bca80
SHA256: c715e31a4266b162863826a4f9b8193df7ec7dc9069f52af7162f8578ee0298e

Size: 13,287,460 bytes

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb

SHA1: 2fc90b7b0a6123275d44a886da16a56283040c64
Size: 81,664 bytes

libcoq-ocaml-dbgsym_8.6-4_amd64.deb

SHA1: 9648b384db3e29741ab75a0523f78baab9b1a688
Size: 265,944 bytes

coqide-dbgsym_8.6-4_amd64.deb

SHA1: 53fd567fc3377fdf70119be6ff0547d697f4b034
Size: 366,600 bytes

coq-theories-dbgsym_8.6-4_amd64.deb

SHA1: 36fdb50211a88266edecf971364edbf339e492f2
Size: 876,144 bytes

coq-dbgsym_8.6-4_amd64.deb

SHA1: 39552643f31d52a060c4655851624481f2e96d71
Size: 1,360,654 bytes

coq_8.6-4_amd64.buildinfo (view)