coq_8.6-4_arm64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 18 Jun 2018 09:53:46 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 16 May 2017 03:40:42 +0000
SHA1 of .buildinfo
6d216ebd7c8dc60bd80692f1317ab13a4a7e1da1

Binaries

coq (coq_8.6-4_arm64.deb)
SHA1: f34cf3a905312cc3764b3eed0ebd52f56b59b65a
SHA256: d3736c17c04b1e9f083d0d6efcb01a2eb1ec7cdcf6425150f4dbcebfbf70fe3c

Size: 13,828,490 bytes
coqide (coqide_8.6-4_arm64.deb)
SHA1: af8e4fc1c9f829bc43bb9325b30522ef5d7d7ba6
SHA256: f5c72045f21715a47f6728437b6408391de57b91dde8bd3328da98497d450407

Size: 1,425,328 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: 904d103a1aa17ab45e0deead21bb856077dd0ceb
SHA256: 64d60afdc7d37d8ac5766da03410a7ae43fb13e92c9f842ce2e3cd59fb1304c4

Size: 3,476,280 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_arm64.deb)
SHA1: b740e27dc3da491c20320347e999ba703b76f55b
SHA256: 8fe34ab175d2b40895a2fe5bbb28e27e206b4bc0424c8b85ae62b0de5d5d0eff

Size: 13,520,774 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb
SHA1: 30a712e770a61978d7f9ed61b46ce0f198e21a13
Size: 79,560 bytes
libcoq-ocaml-dbgsym_8.6-4_arm64.deb
SHA1: f69d187336ae3516e26fb3fc23105a622b38065b
Size: 253,002 bytes
coqide-dbgsym_8.6-4_arm64.deb
SHA1: 0c99476f2f90f041de939613253f8d524cc62a4c
Size: 356,678 bytes
coq-dbgsym_8.6-4_arm64.deb
SHA1: 17d44427425cdc9cf657297c0edf1e13099623f3
Size: 1,299,376 bytes

Submissions

4d9onoao
Submitted
Tue, 16 May 2017 03:40:43 +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"