coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 5 Feb 2019 08:02:37 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 3 Jan 2018 02:03:05 +0000
SHA1 of .buildinfo
d687f3ba6ec88069c7a509b4b2584eaeea66bcad

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: c0d2900f78c8cb35fc72e095b79e40e0c505fd9b
SHA256: 018f523c9a2a7416a2695843e0b1313f00596250c60ceff2333aa4dba1ef1c86

Size: 18,887,284 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: bab5d0f374acce55ee53dfb4d85fc4052eac2922
SHA256: 03ff105082105a7ceb3658c3d7cda92b82a7ce612c4a8bce540683961545b1a3

Size: 1,749,544 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 763f3e414c443f9df3e3bcad82f739dfc5f80dd0
SHA256: 080494693d0c406dbd8f28436aba38dd56e9caa178b2345f7ccde174bf6baaad

Size: 22,869,768 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 13f4b57c1668eb04881cd667ce29fefcd88db55d
SHA256: f71d456aa1d86859a35172f8727b07db5460727241f6778c6d053601d37dea61

Size: 3,824,668 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: e5c3c917876f883a2822bc48b4ccb3873c8e1bbd
SHA256: 8257e23bf600e03864570d36f88c14a1bbbf2b372d1fd46a2e536b8d68760d98

Size: 14,084,368 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: bc61d37e1cc3eff3eafcbbbc44d4c505e8e49058
Size: 107,500 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 1e7d261b837d67ded77ffed600ec5a50dcccbd7c
Size: 336,528 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 72823163cf0a16fc741cc2ed83ce248941088cb7
Size: 494,108 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: ba9aceb3320cc57378be35846551c5948b25301c
Size: 1,857,204 bytes

Submissions

3isr9wj3
Submitted
Wed, 3 Jan 2018 02:03:05 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"