coq_8.9.1-5_arm64.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 15 Mar 2020 09:17:20 +0000
Build-Path
/build/coq-8.9.1

First submitted
Sun, 15 Mar 2020 12:07:13 +0000
SHA1 of .buildinfo
333a1b8bd3a61281d3bc4eeea47c133bf940b5c7

Binaries

coq (coq_8.9.1-5_arm64.deb)
SHA1: dc2d7055081222a39bffdf0eadc865e1e3f72407
SHA256: a821c5009334e8cdf11df5e481214c759aa94a8eb8381200768470c98fabfdb8

Size: 76,877,084 bytes
coqide (coqide_8.9.1-5_arm64.deb)
SHA1: d7796409581d46797125ea1e0bf681843a71e07f
SHA256: de1179488ce8123df03a6e8fa791b9aea22f64ba47d2b5a4720f8790b8693b72

Size: 2,195,056 bytes
coq-theories (coq-theories_8.9.1-5_arm64.deb)
SHA1: 8ff3a2b479b919a6407b546f7652dd14c8c19610
SHA256: 7641fb34f5bc241ffcc0c1f7754da705109430090292223b86074f9fb2e89cfe

Size: 20,357,460 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_arm64.deb)
SHA1: 96d0e346004144222a17a1679c11f3eb709667a3
SHA256: a223582979d6a8b6271868ef0d1cd84ed8bcc244e90367d0aca4ddaf551a3452

Size: 6,052,132 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_arm64.deb)
SHA1: 3cd52d686d7579aee2715af65f038c86a0fd54aa
SHA256: af5bab5e08bc0a3ddbe307074ed378daaa00ba358910cf86f17264091bf1e1fd

Size: 15,419,784 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_arm64.deb
SHA1: e95f8ae560758f05f051ff502829a054e7bfe4c1
Size: 529,252 bytes
coqide-dbgsym_8.9.1-5_arm64.deb
SHA1: 79bba802e65be771b3bc85e771a6906b02a8a054
Size: 532,208 bytes
coq-dbgsym_8.9.1-5_arm64.deb
SHA1: fcb42a8b3e22d978410a20b16d2ccf3fe6d8e74f
Size: 5,133,024 bytes

Submissions

47yjjbbt
Submitted
Sun, 15 Mar 2020 12:07:14 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1580239419"