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

Source
coq (8.9.0-1)
Version
8.9.0-1+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 29 Jul 2019 08:37:01 +0000
Build-Path
/build/coq-5xFcoX/coq-8.9.0

First submitted
Mon, 29 Jul 2019 12:43:52 +0000
SHA1 of .buildinfo
e06c4936d075d8f5b71fb494ed88f21710559eb2

Binaries

coq (coq_8.9.0-1+b1_i386.deb)
SHA1: 089b9b723199ea746b434d590d7d11364c77d048
SHA256: 206f6f79ca478064b90eceebbb7f017376def156409f59b40a3fa2501471f1e2

Size: 56,215,368 bytes
coq-theories (coq-theories_8.9.0-1+b1_i386.deb)
SHA1: 3e714393d8e5b62fabc3f87e37e7ea138e175b1e
SHA256: 7d4cfc960053426f98907cf5bcacea57175fdc4211acaed4feea969afdecceac

Size: 28,424,192 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b1_i386.deb)
SHA1: e2a8863dc136582b0f4df9a0191fad4a2d170282
SHA256: 380418068ee9cb7c5545d7d32d5aaf11d65308be0d5100679a49f2f4973d1a47

Size: 5,238,508 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b1_i386.deb)
SHA1: cef7061bf2530c54a12df90144afb11f576cd84b
SHA256: 9f7f0d5b5f57c4f705f8a1e11c632c3011f728f779ea0d46f9c880a75d8b8bf1

Size: 13,769,220 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b1_i386.deb
SHA1: 45cae1a09930cbb8e45440c3869bb47b5dda7dcc
Size: 522,032 bytes
coq-theories-dbgsym_8.9.0-1+b1_i386.deb
SHA1: c1d65ecd0c4d23ada46d26510bf3c15389080660
Size: 744,592 bytes
coq-dbgsym_8.9.0-1+b1_i386.deb
SHA1: d75a57f65b7762921b02e8d64f1dc7f6e954a842
Size: 3,650,348 bytes

Submissions

479rcenf
Submitted
Mon, 29 Jul 2019 12:43:53 +0000
Signed by
0xB6798C98C3897D0D

Environment


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