coq (8.9.0-1)_8.9.0-1+b2_armel.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Mon, 5 Aug 2019 21:18:35 +0000
Build-Path
/build/coq-QDoUK3/coq-8.9.0

First submitted
Tue, 6 Aug 2019 00:25:41 +0000
SHA1 of .buildinfo
0dafacd0c900a503b4a96e269bcab856e761b6ab

Binaries

coq (coq_8.9.0-1+b2_armel.deb)
SHA1: 2531a9bfad36ec06952fa55ca53467c485bebe06
SHA256: f0ab3ff9905d757eefcb8b2b35988ffefbe7be1882d2f22f79b56d37625db645

Size: 50,036,884 bytes
coq-theories (coq-theories_8.9.0-1+b2_armel.deb)
SHA1: 694b30dd3b8ecac2077e1bc5c66931123d76f406
SHA256: b06c43bda9da6624d4bcea0119e1a500139da404fa6c1d74801929d816b4e189

Size: 20,358,884 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_armel.deb)
SHA1: ab94ccb0db9e8aab94056832a5874cf674ba3742
SHA256: c9a34eb10a1115fd5022917fdbe64ca2e171526b6f2d8c3dfb03d354823d75a6

Size: 3,628,276 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_armel.deb)
SHA1: 97329614002c91eb00356e659a2bff72a8d4bf7b
SHA256: b6c5db45fa37968304804a2f20842f51772031f0ae30182f4dd3dda184f95c84

Size: 7,960,640 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_armel.deb
SHA1: 70468348405180f1bd5fc43f0dd8df1d50ba7dc7
Size: 25,548 bytes

Submissions

ynmuykmd
Submitted
Tue, 6 Aug 2019 00:25:41 +0000
Signed by
0xEC824538D5BC17E3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1565019569"