coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 23 Jul 2019 09:13:51 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 20 Jun 2018 03:31:57 +0000
SHA1 of .buildinfo
db5a3de7e68f1c8d6d25ca4eafab3badbb977e29

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 66ecaca59f6a3c02d9304dc616588c0862320c6a
SHA256: bd4bc1105b047097699117db2b35eada8c5e32662b34522f9c583f5ce13e2b45

Size: 18,900,316 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: a7dfa8f6176d1214fe095d8b6ec49b0188f3ce33
SHA256: 886056dac93d868ca28977665d7baed0f1c1cd8d7e5c32fbda040974b79f4c28

Size: 1,749,848 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 928488a6fcd6a1bdf62a6f3a08b367013a373b9c
SHA256: dcc6d6ad13088279abff424b9551abec417823c06edc3a2a8dd415ec100b503c

Size: 22,871,544 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: a15a18288f1f1c52b1c7504e32bf18ad450f0405
SHA256: 9e652f3e294007f74c1c0e786f79f2fa094e9dc2575605d8a069f2d90e87e311

Size: 3,825,884 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 366cf2a99e6fb54b206af12e342bcfdb14747139
SHA256: 90bae24a75432d78f054ad6aae850c207878c27be72c0cc68a4c668665b2f195

Size: 14,082,032 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 9498a30ad77c4905bc8eba6c0a20d3f6cb5f8fe1
Size: 107,392 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: de63f718dff1d86af8f9112c7238732cc2e20573
Size: 336,996 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 7261a4dc1457ed3c4dca3bec28314e7941f6a056
Size: 491,400 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 6d538beb3e16a4d4276e2a06a34ca2080bc4485e
Size: 1,860,592 bytes

Submissions

sjcdoczy
Submitted
Wed, 20 Jun 2018 03:31:57 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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