coq_8.9.1-4_amd64.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 27 Jan 2020 08:26:08 +0000
Build-Path
/build/coq-NdjRfP/coq-8.9.1

First submitted
Mon, 27 Jan 2020 12:22:11 +0000
SHA1 of .buildinfo
b63b5bf6d5a0e9e0a567ee0ec1f3c7c7fdc643cd

Binaries

coq (coq_8.9.1-4_amd64.deb)
SHA1: 333eca8ee8e61980a091e2789020608a6765651b
SHA256: 0270ab259a9df8642fcba134e72579c8997243d0bb85519688471f869529e43b

Size: 70,363,436 bytes
coqide (coqide_8.9.1-4_amd64.deb)
SHA1: 44802d1094974e60a2ad1ca2eae03d72dfde994d
SHA256: e3c2e0821f07a1d5b8278ffb07e3c73934efa514d3090cfe1986c98cb4c6e839

Size: 9,965,968 bytes
coq-theories (coq-theories_8.9.1-4_amd64.deb)
SHA1: 9a2bb152649036046eaebb9ae83b21a21fa7de29
SHA256: 8a1295a64bcb8a1159e887098edc8cf1c1f19aa560b96c19e3c9f5917a7811fc

Size: 30,178,444 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_amd64.deb)
SHA1: 086639cd513aeb666d8b4fefbfeebca827a20722
SHA256: 836a1d1837a44c0b3a072cd3ecb6dd6bb1d2576d00d79418976677c1afc2d75c

Size: 5,680,308 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_amd64.deb)
SHA1: 31dca67e0403259c8d2e2007341c4309ec08d65c
SHA256: 92246cd585c6ddb48e53da30a46a5e50428d6c523f9af34350b32f13b219d354

Size: 15,100,872 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_amd64.deb
SHA1: c6bc6997feb4da0428adfc7d6121925830b15673
Size: 573,260 bytes
coqide-dbgsym_8.9.1-4_amd64.deb
SHA1: 28ab6d931c1d36aac052c1e834803984d7bbb287
Size: 1,686,524 bytes
coq-theories-dbgsym_8.9.1-4_amd64.deb
SHA1: 55dd95a6decfb644e0c1dc39b816f78977c1d8e5
Size: 770,048 bytes
coq-dbgsym_8.9.1-4_amd64.deb
SHA1: 8c43caca58bd8c249bb585a03f92e9c18fe021bc
Size: 5,957,588 bytes

Submissions

bby4anoq
Submitted
Mon, 27 Jan 2020 12:22:12 +0000
Signed by
0xD9795CB00A61AF5E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580092173"