coq_8.15.2+dfsg-2_i386.buildinfo — buildinfo.debian.net

coq (coq_8.15.2+dfsg-2_i386.deb)

SHA1: f2662ec17bbea65678783bf2505c28c3718051ba
SHA256: 9139a6f02f64f7ddfe01e7eee41669755ba905fe5a1f0bdb4f7b8b60ff0648e6

Size: 76,661,844 bytes

coq-dbgsym (coq-dbgsym_8.15.2+dfsg-2_i386.deb)

SHA1: d75cd125eea1148f3d7beb1b56af95795d02f05f
SHA256: f236a571057ce762b9e9183c7430c21089b475f5cc5fffae52c8e9f26a2d053e

Size: 9,057,844 bytes

coqide (coqide_8.15.2+dfsg-2_i386.deb)

SHA1: adcaecf13e06bb6cf41db67591de8a9b26041164
SHA256: a5d47606bb213201a24fcca8449b014c4e1f8412ee0f6820ef691b15690b2a14

Size: 1,807,980 bytes

coqide-dbgsym (coqide-dbgsym_8.15.2+dfsg-2_i386.deb)

SHA1: 2cc6ebca5fd2b3a2e8fb9480603fbbc2d54f7cce
SHA256: f363ac4e0e988e444ed8dc5983da84a50d0115557f922c614be54dd3c6309547

Size: 561,724 bytes

libcoq-core-ocaml (libcoq-core-ocaml_8.15.2+dfsg-2_i386.deb)

SHA1: 80874f1a155a7244a26c5dba8be41e5b3d6003a2
SHA256: 83bcbaf09cbeba13c4a878801fc21bfc1a1aba6b3576955367a4045080ae3bf6

Size: 21,674,660 bytes

libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.2+dfsg-2_i386.deb)

SHA1: 34dc81d91482031dcad4e1519deb76acd37052f0
SHA256: 371832a624fab0fd95129d219298b1cf3d077fb60a3b709820ff3f29f6fab26a

Size: 1,624,076 bytes

libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.2+dfsg-2_i386.deb)

SHA1: 6c20133c6fd8a03c86c658a3bb365863da10c832
SHA256: 7b59ea2adea6406ef92d904e476cae753af6355b2d9ba35224c12b3c5c5f4211

Size: 42,028,284 bytes

libcoq-stdlib (libcoq-stdlib_8.15.2+dfsg-2_i386.deb)

SHA1: 2f570772e8bb30727cb36298d52c86f2765fc772
SHA256: 28171a77454e2644b3d7645634d60589d98069deb91bbc6c6d011f15b1c91b5b

Size: 21,430,516 bytes

coq_8.15.2+dfsg-2_i386.buildinfo (view)