coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 8 Aug 2018 21:18:17 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 8 Aug 2018 22:41:13 +0000
SHA1 of .buildinfo
4591cc6cc6c4cb01d340d31b3766e86d54a6e617

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: f91027a4d07a9ddd31cbccedc6f8520ca73ff936
SHA256: bdbe41fea5dd6ddb9a0662b93bd6085f7998aeee5f2bbe13ed7bf7ba3de72932

Size: 18,891,204 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 7cc0827035e0af4df5106b40cb039203a0662e6c
SHA256: 6dfdb4141093f55c183add79774da5de69daaffc3d2f6407237209a041cf3c62

Size: 1,751,444 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: eda382a7b517ab5965bc8dde6fc819147221eaba
SHA256: 915bc5b3e1bd404183193919112b45ac9edd7036814b3972aa3e158d637e5048

Size: 22,868,300 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 1f0cfb0e49d7ee7c6f543f0b30aa7e76991b1f47
SHA256: 0fb7dc37081535784df073022fbca15689244bd5b908bd2989be9df44cbcaf42

Size: 3,826,172 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 65792852cd7b4daec933d1d3e85a243b063b2b75
SHA256: 555ea66b616fa0d14d500206369d0b8e58d8b0397cc563e7542869be2b4e1d94

Size: 14,083,668 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 19554df39a43ed89557d3674ee9306a66aff83b4
Size: 107,836 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: c6eb4f220291929d87f5542a8a5faf1eae4d7f80
Size: 341,432 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 5b0060de4719e65c14db0cba842e194eb5ceefa2
Size: 492,144 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 27d09138c36189ab8fd8e1b4b0b655f0c65bc4ce
Size: 1,860,568 bytes

Submissions

ycifz4md
Submitted
Wed, 8 Aug 2018 22:41:13 +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"