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

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

SHA1: 8d2eaa90bf279366a73895bbb751101cbeeb6180
SHA256: 577b69a1b223b48933644a1815578d80d74e800b735c1390bf752624d432a5ec

Size: 77,702,100 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: 1c3b9757faa9723370b64a924d7a7c9dd0c96204
SHA256: d2976a85d7a79705d184f68f56f216c458b0db4444dcfb2fd4fd43927af2aaa5

Size: 21,421,124 bytes

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

SHA1: 4c858bc18105559bf261ae8d216b27c7e36b3e85
SHA256: 330be5e57dff9d332fcfbece31a0003f629927272df817ed17eba3d778ad5875

Size: 22,188,208 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: 7268d0d747758976c6bca17c55b375b58d027b8f
SHA256: f5d1d3f5b5998659c4e459fbe3318a70fcb632247d56bf991960e25ec97d0b4d

Size: 39,708,128 bytes

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