coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 22 May 2018 23:42:57 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 23 May 2018 01:43:18 +0000
SHA1 of .buildinfo
d799ad7a3c15d5349dcae205dadb80cbaf8720ed

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 8c3e378b63e6ee09e2f48d3b9b8843b5ede0632b
SHA256: 3d33ce1e9b052508dab6b21a4d4469c8908289adac45f9fa81a466345c816386

Size: 18,894,080 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 663167bfbf26c45a93f39123e35e700718ebb4ef
SHA256: 97c1c37c565cc47142c3c2cd4e14cbea6944eee22f73229d43a16fb1c7889c4d

Size: 1,752,688 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 84ae6c82c6ec28ea43a087d333a28f5bccb61298
SHA256: d170189ad355a1bfec3d0cbd6d52f86fe650403313e29ea3bbacc79649260ff7

Size: 22,868,980 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 05891942e41584e10ea7899388e06e72ecad4a25
SHA256: 0cb5f1b5f2ccbd12345c11c12765cdc448b70cc573f771e5f46d9cf770aca79c

Size: 3,824,144 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 1b219b3000213e9be7442acfb842759fe57e9818
SHA256: 59d8908584ff83cc606cf02af7c87d93f534ce9f06e324786a2419205dc61026

Size: 14,084,088 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: cf294a7a1a9ba5e506aa2726b85a9582dcd4f3e6
Size: 107,556 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: f6d081941b65407c9eb27cfa4de2f744bff8d3ef
Size: 337,160 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: c279dc272b9c53dc70a639bde2bdbd33e41f1591
Size: 491,496 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 573f18963425884f40dd17e70fcd5560c82e52a4
Size: 1,861,244 bytes

Submissions

yk3dnjog
Submitted
Wed, 23 May 2018 01:43:19 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"