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
Wed, 1 Apr 2020 02:45:14 +0000
Build-Path
/build/coq-8.9.0

First submitted
Wed, 27 Feb 2019 22:26:29 +0000
SHA1 of .buildinfo
493cf3be527c235b96350e18330fa15e04ed1b1b

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: 8405f8f096866e21f36bec661146915f0ee273f8
SHA256: 61ec738e97abd4b4e6931e42be0729351fe4f6facd84be1aa5856b9ec906a90e

Size: 63,315,920 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: a5df6d6201bcd445316fdb6377103105e2cffa80
SHA256: 7b90af74bca2106513d6fa2ee4526c66c818f0dbbf8a4ccbb7967697c45b75c0

Size: 5,804,060 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: 764366621bd1cdf5741527da8e9d42a13d32477a
SHA256: 9c86acc278b089f865c98b6b82c9366d72ecd0411b8d562b2f72cadbbac7e36f

Size: 14,008,056 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: a096c0565704361e34e5bbce61a35e564708a601
Size: 513,528 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 786c4530924d1ddad4ebf792b0db0dcf1e8e43c3
Size: 3,589,128 bytes

Submissions

3o7ucinn
Submitted
Wed, 27 Feb 2019 22:26:30 +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="1549474869"