coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 16 Jul 2018 13:14:22 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 16 Jul 2018 14:09:43 +0000
SHA1 of .buildinfo
1e879d5a1a1ab7c822c367ce3e27b03977486c67

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 29cc2a9e31b67681ab9429971eb4b528fc3b593e
SHA256: 8aa9fc7b93e8da4b066dcf0c01642bb297fad2632b1d4a4f74088236d229167c

Size: 18,882,092 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 17cf68e3af251252d1dd5535c7a2722c77f3e94e
SHA256: 5c09c1f441a46f0e4e094b9adcec712416d9fc094b3449ad28ab5abdb57e1872

Size: 1,749,484 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 70560adee773954a543cf9b13745260d0c4296c4
SHA256: 56ff809b143d98b9d0b6196ed713a155edf640cd949cba8d30f0b989965aa91c

Size: 22,865,092 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: a0b4e2cb496e08bc2e51e65bfd453f77b17410fa
SHA256: 905e2e60fb8bd49ae05208172859446bd2766c56acc7f54260d497388627820f

Size: 3,822,272 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: f901651df9543798dd8e6981eed9cf8a97bee683
SHA256: 50a8c904703102ba8ea46bcb13039c98222569615962e245e4d9380848379946

Size: 14,083,528 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 3b165e4fbee2016a23febb65549bf1fb7d18cdce
Size: 107,456 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 9ddab86aa219a5c717660926e19bb0fa6c0356cc
Size: 336,164 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 4c9eccd913a61ce80c9e56b6698f6c009f14e2c1
Size: 492,188 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: b16a0e92319e24595b061fcfcbdbeecaf05ac587
Size: 1,861,252 bytes

Submissions

wxzwga3m
Submitted
Mon, 16 Jul 2018 14:09:44 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"