coq_8.15.1+dfsg-2_armhf.buildinfo — buildinfo.debian.net

coq (coq_8.15.1+dfsg-2_armhf.deb)

SHA1: d18b3d039bd38b94c03de42c525e9d62034832d5
SHA256: 32b65862badfeaf27bbdc488ec375492ed9907349bd9fbc2319269d858ad730c

Size: 77,737,112 bytes

coq-dbgsym (coq-dbgsym_8.15.1+dfsg-2_armhf.deb)

SHA1: 4b7eedf9c0210e6816c5cac0d583513e2a56ccf2
SHA256: e134e9c032ac531c01fb6384fcf2967e721b92c29d2b759ac5ef4321fffdfff1

Size: 6,613,484 bytes

coqide (coqide_8.15.1+dfsg-2_armhf.deb)

SHA1: c6fd0465dd2349a26cdd1920c4fe1b69b0af8e51
SHA256: 6187d4cba3473a684b0602453fcc8a49e4c9a5550a197e640b432b5a05138c83

Size: 1,838,204 bytes

coqide-dbgsym (coqide-dbgsym_8.15.1+dfsg-2_armhf.deb)

SHA1: 22c906302d0ce94869ed99d3d3a6e5eda83fbb46
SHA256: 040ca5df3a1c08ed1d641728ec4f77b9bfed6e2c63e80393729e41cde21235a6

Size: 520,688 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.1+dfsg-2_armhf.deb)

SHA1: 9cf7abc6865c9f3247491ac34f6f28ea04129893
SHA256: f71bc5086c5a991a2af2082e494d8a2ce1946b0aed0a2f19cb06e9328e031c5a

Size: 22,198,240 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.1+dfsg-2_armhf.deb)

SHA1: 5740e6cea981f1bea98dec7e455416551f5f8759
SHA256: 27527fbb0a1a6ba51bcf0ceba100ae5c846b6f56b9cd66b98f8cfcbe84cbf0e2

Size: 1,342,876 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.1+dfsg-2_armhf.deb)

SHA1: 5fd95619e1b46cabc9234847e80cfaa816c7deb6
SHA256: 6999f0b67a681af6997619b261d7f1df1e0d1d645d4fe0d560329d3e506b2fdc

Size: 42,666,064 bytes

libcoq-stdlib (libcoq-stdlib_8.15.1+dfsg-2_armhf.deb)

SHA1: 5f9cf5556f3dd8809d0b41201c702bc6affe3451
SHA256: 6957369dc1ba9d3a3bfc0efc29aae89903ea32d4460a02272c2936699ac85004

Size: 21,427,796 bytes

coq_8.15.1+dfsg-2_armhf.buildinfo (view)