coq_8.5-2_arm64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 10 Jan 2017 03:39:21 +0000
Build-Path
/build/coq-8.5

First submitted
Tue, 10 Jan 2017 03:40:50 +0000
SHA1 of .buildinfo
a05bd9b5aa8e1c5fe02426af8c3139ab75672e37

Binaries

coq (coq_8.5-2_arm64.deb)
SHA1: 0a4c0c51348537ee4056a981d1e369ae5c571499
SHA256: 3ea96ed5d3f05d678522d21e01e839ba3b6b361bab40c8aa5bde1cae1aad88d4

Size: 13,490,192 bytes
coqide (coqide_8.5-2_arm64.deb)
SHA1: 44b852e80e4ba37f939564c1fc39bdc8de9e563f
SHA256: 10b8feea4369779fd9560a50f187ab9713eb51747398db055d3d9d8c1046768e

Size: 1,293,708 bytes
coq-theories (coq-theories_8.5-2_arm64.deb)
SHA1: 1ac9696bc556235a50aa571326ebcd0c30b80fec
SHA256: 653072cf863c89c029c6b4bf30897b3aac2ba912276ea10e23a6be8d8f7bf4a2

Size: 24,198,264 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_arm64.deb)
SHA1: f6f251e18079422c46eed01cb933f38bb03f9a51
SHA256: 9beafa8d1bad34bff59c3705b962fabe91229bd61631f3a53152127f20fe758c

Size: 3,409,398 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_arm64.deb)
SHA1: cd611956f5e8d508319c8809795139b4fff35c9c
SHA256: b68401c558dc251cbdb17195e9144e5c5744bbb84b089b7e102c43fa75090942

Size: 13,671,172 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_arm64.deb
SHA1: 54fd3520c4b7568793880e61c80a576064185250
Size: 82,882 bytes
libcoq-ocaml-dbgsym_8.5-2_arm64.deb
SHA1: b2f74060400fe021a8a5a9a3ebfbb84bf941ba57
Size: 243,672 bytes
coqide-dbgsym_8.5-2_arm64.deb
SHA1: b1d50a46d3d4fb4bdeee2da81335d9f27d531842
Size: 345,922 bytes
coq-dbgsym_8.5-2_arm64.deb
SHA1: cce8466a27d27a876b05608655ec80e097b98d3a
Size: 1,304,320 bytes

Submissions

inf4zjga
Submitted
Tue, 10 Jan 2017 03:40:51 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1453978027"