coq_8.15.0+dfsg-1_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.15.0+dfsg-1_armhf.deb)

SHA1: fba7a6a68a92c91956260b7e269b874000ffcd03
SHA256: d9020ac638828dd7fa36eb9d17aee166982959eb33b90cbb780741c81836156a

Size: 77,700,996 bytes

coq-dbgsym (coq-dbgsym_8.15.0+dfsg-1_armhf.deb)

SHA1: f70d1b9e0ee47c949ad5d4eeee3b7fd92fc25d22
SHA256: c0aefcf32f282885fce2f298865b532d492a571d0f905b6ed6be8bdfcb6a1b10

Size: 6,677,452 bytes

coqide (coqide_8.15.0+dfsg-1_armhf.deb)

SHA1: f2c8358c8b7ed903a1302d7759c6d1fc220eb725
SHA256: c8b7c829e8d12e6d135481e64f93cb141ae629ecd1d22fdf2029ce1b8924be95

Size: 1,831,072 bytes

coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-1_armhf.deb)

SHA1: 0b69a1bb32444c70b03d27e8fb267d20007f8f6b
SHA256: dec9138ef4848e9d3c8760ea3c6287b78d8a48771237976e8f618ef0f241d151

Size: 519,640 bytes

coq-theories (coq-theories_8.15.0+dfsg-1_armhf.deb)

SHA1: 343da0df7ea4b1eb29155080927860a951fd6e46
SHA256: 1962dd9fab340030c9a6a16af580a15d475f9946be8ced2785cdacdb34e77eca

Size: 21,421,476 bytes

libcoq-ocaml (libcoq-ocaml_8.15.0+dfsg-1_armhf.deb)

SHA1: 11256a07f9a1b1c7cb9574a6c0048c99dd156a8f
SHA256: 7432fc8ddbc09260fb407df11864db7985867a3578f1f3f5dcccb087695878dc

Size: 22,188,896 bytes

libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.15.0+dfsg-1_armhf.deb)

SHA1: 982786d8b3e5765efc72fdc238f59b993a1e43f1
SHA256: 3e45fb1f2b8aeb3a741a1fc805e19fe89f244ff5fcf8534876ff69b46592df37

Size: 1,342,400 bytes

libcoq-ocaml-dev (libcoq-ocaml-dev_8.15.0+dfsg-1_armhf.deb)

SHA1: b147272b1b4903d574a276f3cbe4a618d2aa50c7
SHA256: 4fcd9d52cc67f9942cb7538db46148fd1a06997bf3fe971a381562b76dba5fc4

Size: 39,710,128 bytes

coq_8.15.0+dfsg-1_armhf.buildinfo (view)