coq_8.9.0-1_arm64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 6 Mar 2020 13:50:43 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 6 Mar 2020 16:07:32 +0000
SHA1 of .buildinfo
88cb11168ead17c43463ad4f531809eacea9a313

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: 7ae4e7464f74abc0009817e817065b3377f32afe
SHA256: a3ffafdf9c269e6025554a0780242f723cff284f81630b8fcee056279a7adc6e

Size: 63,294,928 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 3b6c73451a712d4c657b730857cfc1b0ca004046
SHA256: 3816c2deec14f8c67da309097a9d944e71f95e3feba909d8c4537b62e177094f

Size: 20,368,308 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: d463a90c808e47151ca86f47ccdb5c55b0f5988b
SHA256: 420a8abc605cf9d32f7445971eb7d1334df2728b34ca1da8ab4113057ba48ea4

Size: 5,801,316 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: a62d7e56a0d6af4f80949ef10a0c1434fed24235
SHA256: c2e647e75f7db3ca54a71c860cbef77f4f31e71867c4cb54ccd05e82634c9bdc

Size: 13,999,992 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: bcd6d72ef036d76871e007dd548b04ac837d6b3d
Size: 513,448 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 2a49b9dde7bc3a346190bb4f807c8e6bcb0f6dfc
Size: 3,526,468 bytes

Submissions

oz7u37u9
Submitted
Fri, 6 Mar 2020 16:07:33 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1549474869"