coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 3 Aug 2019 10:34:54 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sun, 1 Jul 2018 05:47:28 +0000
SHA1 of .buildinfo
1651c31e15d316bc6b370b31ac7804310312c4f3

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 7dcbb68fd2b7908ca5d811e0908cd07a6136cb0e
SHA256: 7fb0bad8bf10429033d16fa50ff5d9efa6e70b325d02c7e41c543ff3f6414a79

Size: 18,874,968 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 8f8f813d60b3690d44a316a1c99078a134b6c2eb
SHA256: 1253f81545a205a2605d86a308145fd1fb479db626161c6656951b696f8bcfdc

Size: 1,749,780 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: e9fa8a449d07bf513ea728cdb3c126527642beb4
SHA256: bbcece8815b787858fd6af21b4f9dec4bd9123cc4e38ab14d5116adac8d0a539

Size: 22,870,520 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 9ad57678609f2977db66c4fa32618d85abe684a1
SHA256: b294195acfe03fd5f9b0194d837fff7c49f329b6f4f3772fea450e0c0edd323b

Size: 3,823,376 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: e9c6de64630a3dfb5a3021499f7618c628c90c85
SHA256: 70620df6b303690828e4f7d01f7c04e686ccaac94d75d5e1be79e14b19924ad2

Size: 14,087,628 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 527cc52858623d1c6ac84508ab339f7a83974bc4
Size: 107,800 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 3f49e2125e45f4e660ab4de931cbdcfc5826216f
Size: 336,432 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 7863c907a2a21ce3f67c47fde73cc79ad021ad21
Size: 493,068 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 1abefb6c0a8abcacac191012e327dd3d8c008132
Size: 1,858,492 bytes

Submissions

4unkavwb
Submitted
Sun, 1 Jul 2018 05:47:29 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"