coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 4 Mar 2020 08:44:59 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 31 Jan 2019 03:51:47 +0000
SHA1 of .buildinfo
0d03008fcd5c587113fe1d36d4dab2c8e956364c

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 706e85e61f0bcfb869eb560327e4df93f40d18b1
SHA256: 34fcac559a7a0590bf6a4f814cbfdcaae463a1e1a62294352a8023ce769405b7

Size: 18,882,764 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 8020f0084e364644b0c075dfbcc772fbfc4c73e1
SHA256: 9f99e9c3ba22e638c58ec5ad0798bdf9321db1d38d7c85d718ecc0956973b6bb

Size: 1,764,540 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 928488a6fcd6a1bdf62a6f3a08b367013a373b9c
SHA256: dcc6d6ad13088279abff424b9551abec417823c06edc3a2a8dd415ec100b503c

Size: 22,871,544 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 9a4ce5751628bb04f57cb8e1c0f5966012c55368
SHA256: 32660de86ac97c9fc6795415ca10910117bb047b7aeca8524ee48acda4c9c633

Size: 3,823,516 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 1e1b6a41158fd72c82545f8cb15a8fb5f575f851
SHA256: cc60cf2b5dcd15af5d93ba23c78af987aa91c9f6b3d62a0e14c85b6313bbb291

Size: 14,082,864 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: f189c8a4c6a11c15aab2b9af7d04ae1dc1eaab7c
Size: 100,208 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 9819d0e0405849217e33ff89c109efc65652eaf5
Size: 340,936 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: fa948b71af4500b21b9f7311c11fe90ed65d8689
Size: 486,948 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 1b63ab5c6e6c3a42eaa092e38cff6d49e9377b05
Size: 1,811,112 bytes

Submissions

xyywjnh9
Submitted
Thu, 31 Jan 2019 03:51:48 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"