coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 9 Apr 2018 11:41:11 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 9 Apr 2018 12:17:13 +0000
SHA1 of .buildinfo
ec4eb040ed5432e66f1dcb43c8298f1c701a111f

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: bf35ed5cb64f38cc66a9b1e2dde7d3746502ed3d
SHA256: d612d87389056271014251775fb8b0d928f37e0fa5c8af3c17feea8eecb7545a

Size: 18,892,636 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: d4669cec9f101660edac6e5cde9b44d5cfc8d192
SHA256: 5163325fb6830bd5fe55ca15c6e84a6013130cc91a72e686b81081a24f2a3939

Size: 1,750,720 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: bb0a3a657bf957667190e575e7df683037475326
SHA256: 7eec492c1a910293c3a7c021cf66a367ff3d66f3794749227c478daf8a15fec2

Size: 22,869,108 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 1886116e19479186a8ea89e63dc60d4a40cb4b3c
SHA256: 6fb9dd9b4cbb5728271798918f44c5aa02101155e538aa56c0831859d68b1c6d

Size: 3,828,184 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 2267ac7538081c1d9c77ab6ec9a5fdcc45235191
SHA256: c5c1ec11a3dba6df498d0c2f2de7f054a6ba4816067dd7d092fad2403c0795a3

Size: 14,085,108 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 7c69d38e9c6ab4977acb80d95d39a15430c173b1
Size: 107,440 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 89f06a9cd215cc59554d92523c78c040f16b31bc
Size: 337,772 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: e32e14f0915b4220eeaff0d05fce90d40ddeeeb6
Size: 493,848 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 46cb6435271291c3360999576ccac5dc41b8cfce
Size: 1,852,004 bytes

Submissions

myuumgfa
Submitted
Mon, 9 Apr 2018 12:17:13 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"