coq_8.9.1-4_arm64.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 28 Feb 2021 19:46:39 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Mon, 27 Jan 2020 15:24:23 +0000
SHA1 of .buildinfo
892dc2c94c9a05bdb16dfc9d678bfc7d719abc3e

Binaries

coq (coq_8.9.1-4_arm64.deb)
SHA1: eee470baf4b38a4cd260768bc5387cc9f6c0266c
SHA256: 26a8d82a075edace0cbd22e065a87ff24fd1595d51a268a841f63fd72606a0ed

Size: 76,885,032 bytes
coqide (coqide_8.9.1-4_arm64.deb)
SHA1: 9f320539a20b96e7aa26c7adbac01cbade97b122
SHA256: 22ba332b21192b50bd6ef0f06de7c77f94f94f957189b955f3a0d989a835488b

Size: 12,023,904 bytes
coq-theories (coq-theories_8.9.1-4_arm64.deb)
SHA1: 922572d080709c40b9d5e86bb3845f2453c2b72f
SHA256: ec872122824e81327be747a4b05a00e987d9b0e30afc92f188b3efde52058fed

Size: 20,357,464 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_arm64.deb)
SHA1: 22d3d1910b0c6b10233e0cee55b5207884c1dbb7
SHA256: 0599733364ea1f4aa33ef57d5a9c85dcb0e5a1c05aadeaf32213ba55d38a1a88

Size: 6,045,296 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_arm64.deb)
SHA1: 7c29898d6fadd5abd154324c280fe3066f534b66
SHA256: 3c93d0c1c75e3a8d1aa9dbce44a5a9aae2414d020525a9a5f91944adb62a0190

Size: 15,421,516 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_arm64.deb
SHA1: 0cf8151b42cbff6e610800e3438b331b1f3af508
Size: 528,540 bytes
coqide-dbgsym_8.9.1-4_arm64.deb
SHA1: eb2e4a34523870639139412a38e11317dda6cb06
Size: 1,656,224 bytes
coq-dbgsym_8.9.1-4_arm64.deb
SHA1: d0a433305784a59a9ecf244abd68e778564112e1
Size: 5,136,772 bytes

Submissions

xsm7uzmx
Submitted
Mon, 27 Jan 2020 15:24:24 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1580092173"