coq_8.8.2-1_arm64.buildinfo (view)

Source
coq
Version
8.8.2-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 9 Feb 2020 18:34:05 +0000
Build-Path
/build/coq-8.8.2/2nd

First submitted
Mon, 7 Jan 2019 12:52:04 +0000
SHA1 of .buildinfo
13590c9d0da852a0a2e2d5b0dafbef1aa657611c

Binaries

coq (coq_8.8.2-1_arm64.deb)
SHA1: 017d5953e32a82a65574b64a843e218973a79215
SHA256: 72f29e71ab773e185ce9bf56b37a578a929a5f718bb5996fd91e0f8a13225cb7

Size: 18,548,948 bytes
coq-theories (coq-theories_8.8.2-1_arm64.deb)
SHA1: 7227e6c977ccde7a268b64534f271562106a2d13
SHA256: dd41349b9f6d2fafdc15f83d1f68a54b9f95f43bea0a336c1e3ce92d17814b43

Size: 20,169,168 bytes
libcoq-ocaml (libcoq-ocaml_8.8.2-1_arm64.deb)
SHA1: fa9af0ee1e22bf8085bd8c6a20a3052fc4101e83
SHA256: c58d143f5ecca4e38be73d1375879bb2cb767e9bfb1499bad5c9b94196d9cf58

Size: 4,865,904 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.8.2-1_arm64.deb)
SHA1: e3482791d9e20533f3a066917a195134f7328de7
SHA256: 0d4c8a6a172668f1e3d00dae0c06eb93b88b44260426b5f706d53810aeb1ca48

Size: 13,399,648 bytes

Other checksums

libcoq-ocaml-dbgsym_8.8.2-1_arm64.deb
SHA1: c25deb396cb032eff1e3af45d8f4d9784f4a0577
Size: 442,064 bytes
coq-dbgsym_8.8.2-1_arm64.deb
SHA1: de627491cf616f5806bca5b963244a47a936b0a8
Size: 2,029,804 bytes

Submissions

9iru3nsj
Submitted
Mon, 7 Jan 2019 12:52:05 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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="1546834024"