coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 14 Sep 2019 08:14:54 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sun, 12 Aug 2018 03:29:03 +0000
SHA1 of .buildinfo
bbcdf6f37b4a2a4e7812faf52134a6dee797b7de

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: ad84f2514fe97773fd0b574b00ddd21f321df810
SHA256: c6183df443d2f1256dfb5aa612b89283090317ebafa8da3503d0889ae6cf5f2a

Size: 18,908,600 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 3f7fdb2e02284df1a0ed1b913a9ecff1d22228d3
SHA256: e1bcc8ea89eba159d63c4093145d3287c10891c701b7d6bdf937b237bac4598b

Size: 1,751,028 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: daf617c47810e8a12fd9fdeed8d11aee9a0e1bce
SHA256: 2f0af33908d4173b76e7832ea4cc1d7b73b023f244aa237592672a62d9cfa483

Size: 22,871,224 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 040087a36ad65f79fab1daf525cc1773b648ddc2
SHA256: f21bc436ea287097b1b5700060af1b224a67d408463ec73aabc658fa5c5700ed

Size: 3,824,168 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: d7fd7955b271302eb3c2e079dcf75dce1ad63909
SHA256: 50da1d296ab0a446bfaf40a80caf40f6f8551cdd021cc7e75e139cd7f8497f51

Size: 14,087,992 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: e588d3a6fccc49e9bca98d99c841bf5077253328
Size: 107,732 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 9e30941c664a73773a608e256b0fe07c9e632b72
Size: 341,952 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: ac3105d7d105f457a22f8c1b78334d197a85b851
Size: 491,668 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: da0eb25a8526d8078578d778e6d2174922ccfd02
Size: 1,863,460 bytes

Submissions

ajbmrtdn
Submitted
Sun, 12 Aug 2018 03:29:04 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"