coq_8.15.0+dfsg-2_arm64.buildinfo (view)

Source
coq
Version
8.15.0+dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 11 Mar 2023 20:04:06 +0000
Build-Path
/build/1st/coq-8.15.0+dfsg

First submitted
Sun, 6 Feb 2022 16:53:58 +0000
SHA1 of .buildinfo
f5717176748b42ff4d8e73b6b274961d11a3db7b

Binaries

coq (coq_8.15.0+dfsg-2_arm64.deb)
SHA1: 8f6d1225d6c16b63aea0583fc08a73e080085f46
SHA256: 94fa379c98ec2db85cf1a189c330f5be4c70783879c19acb31a29373bf415e28

Size: 87,854,772 bytes
coq-dbgsym (coq-dbgsym_8.15.0+dfsg-2_arm64.deb)
SHA1: 9a5cb48e6c3de82feb6fa9f028d02e8eca8bf1d3
SHA256: c438867efdaa22010a1a727e93553bac5bf26d6b8912371f4d620750806f8515

Size: 8,029,684 bytes
coqide (coqide_8.15.0+dfsg-2_arm64.deb)
SHA1: 239df6982e1a913403e7cebb0fe2a3ca618301ca
SHA256: 9555480e85e24659cba02a79876f4ef2982640dcdbc243cc688665f50d3f0327

Size: 2,302,652 bytes
coqide-dbgsym (coqide-dbgsym_8.15.0+dfsg-2_arm64.deb)
SHA1: 21224517c5225ccabb63447cfc94bb9da2e07408
SHA256: 1c0253cae4e2121096932ec796616edccea5f3d61117fcc0d140689c173f6754

Size: 599,724 bytes
libcoq-core-ocaml (libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb)
SHA1: 13ea621617c4329233c708968e105461e24e163e
SHA256: 7dffe128e5f9c0b7e81b4f900d469461d427fc5990eb7b263161d85543289a9b

Size: 23,008,392 bytes
libcoq-core-ocaml-dbgsym (libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_arm64.deb)
SHA1: 1aee274c8deec3bf52886ff07e471b4e57d58b49
SHA256: 8e2712878c6322dac202abf5da085713f8da27dda4676fdf2103f0bac8c6eb57

Size: 1,370,240 bytes
libcoq-core-ocaml-dev (libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb)
SHA1: f6ecc112a10c800fd09cd29099125a777e21111f
SHA256: 24379081e1e33f7b84ad635bc4304e2a7c88195b8a52bf0be1f0ca04dc7f5231

Size: 39,288,588 bytes
libcoq-stdlib (libcoq-stdlib_8.15.0+dfsg-2_arm64.deb)
SHA1: fa1d7c09c9b355b4104e79d6990ab15ac13c29f9
SHA256: 19337cab2573c4e0779a4990e8cba069f4a6679a6e66951c5fdf20dfbc486889

Size: 21,418,188 bytes

Other checksums

Submissions

zoz737db
Submitted
Sun, 6 Feb 2022 16:53:59 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1643961281"