coq_8.11.0-1_arm64.buildinfo (view)

Source
coq
Version
8.11.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 8 Apr 2021 13:39:41 +0000
Build-Path
/build/2/coq-8.11.0/2nd

First submitted
Fri, 6 Mar 2020 08:27:31 +0000
SHA1 of .buildinfo
a41fcaf180f228b4a5391ac2b7680ae7de4cff08

Binaries

coq (coq_8.11.0-1_arm64.deb)
SHA1: bbed58dad3e340edfd1fef8c32cbb0c8e7290c42
SHA256: 202466dca3377b4bb9a6185cb1dc70e29217527c0bb97ebb65c318cb6b04d735

Size: 83,889,548 bytes
coqide (coqide_8.11.0-1_arm64.deb)
SHA1: 0cd7505e6c684bf6a3f3c1bdc680dc9d5a5fcbe9
SHA256: 5ff1c965e05d8bc3d07d7a1b4ae941f0a3b060955965a7a03e05cf0253bcd73a

Size: 2,110,600 bytes
coq-theories (coq-theories_8.11.0-1_arm64.deb)
SHA1: 330bf47c2eb046828c8ad1fb71fd3135b867bfaa
SHA256: ca04b56125157db6ac0f40b9039701ae88f51053916a6d7fc599bb0e485af7fd

Size: 21,427,856 bytes
libcoq-ocaml (libcoq-ocaml_8.11.0-1_arm64.deb)
SHA1: f9a45e219c9bac5aeab5907899c6d66db955744c
SHA256: 809c7e3088911caf9846b9a7b5cc4e7d93b2c293c2071afcec91c2e81d900e53

Size: 6,752,700 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.0-1_arm64.deb)
SHA1: 6f99070624dc75e2f8e2153cfbf1d1c3839a3023
SHA256: 5706fc07379d607a7f5ac537a88d58570ed80bdd58f37b5fd5dd2b5dcc2d5737

Size: 16,443,064 bytes

Other checksums

libcoq-ocaml-dbgsym_8.11.0-1_arm64.deb
SHA1: 790942991c23590be11c2c436c53df94cadc261f
Size: 589,152 bytes
coqide-dbgsym_8.11.0-1_arm64.deb
SHA1: 6886832bd18efe3969008d316386b69da93a087c
Size: 550,592 bytes
coq-dbgsym_8.11.0-1_arm64.deb
SHA1: 7374c81c3d09bea08546235109db691326dd6262
Size: 6,447,572 bytes

Submissions

yghokhvj
Submitted
Fri, 6 Mar 2020 08:27:31 +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="1583440650"