coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 3 Jun 2018 21:51:18 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 1 May 2017 15:45:09 +0000
SHA1 of .buildinfo
d5491910893ab775b93fcf512428c1f176b63de3

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: 3f71a912e6abbfaa672c534139219e22b1d43aaf
SHA256: 835bb0f3e2e6fd26f61c129baad38e84cc28734d328bddc6deecf900497cc98a

Size: 13,822,134 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: fac71c6ac2dbcae87e86959ac2c3de48e50895e3
SHA256: c3e591d25461807e336121729444482a991dbeb2722d5cedafb0be3f273d3d5a

Size: 1,423,768 bytes
coq-theories (coq-theories_8.6-4_arm64.deb)
SHA1: b0416cd7b7b7fc314ab219ae070e66df131b506c
SHA256: a059e33fd252200476d24e26116822550c1cce71c5cf2ee0ad6d6988bc28abeb

Size: 22,857,022 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_arm64.deb)
SHA1: 559b14ec7dba3c7d0f79c2bad5e81e62f3e1d964
SHA256: 7863d2669a3110c93fcb8f692c8f01eb3225ddac9f93e73bf5c3c2ed6713d15e

Size: 3,477,196 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: f97507cc53c6b35cd32cadf6fddbcfdff3d663cf
SHA256: 3bf147af7167452d17b115b43910cf15c9e73cbd38988112bcdc7076d4d4fd39

Size: 13,520,450 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 317b7101fffc056733f1e7804eebf5f05068c447
Size: 79,468 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: 26f2a8d07c7a437f10d32081367ad67636da264b
Size: 253,610 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 340e234a1e030e25646b44c8a1c8dc6d186b0923
Size: 357,072 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: ad252c4b89ad3f839108236e3214da0d2be522a9
Size: 1,311,532 bytes

Submissions

odtskdec
Submitted
Mon, 1 May 2017 15:45:09 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"