coq_8.9.1-1_i386.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 20 Aug 2019 04:06:23 +0000
Build-Path
/build/coq-QgHk04/coq-8.9.1

First submitted
Tue, 20 Aug 2019 14:07:33 +0000
SHA1 of .buildinfo
4107580bb341d3f68bea28a680f67517457182f4

Binaries

coq (coq_8.9.1-1_i386.deb)
SHA1: 313c819b12f193c2b56bd8997ee04515b4aa2852
SHA256: 9fcecd50a78e0cf7de7f4c4d53957a63a9d2834dc857a10d48bca45486619fbc

Size: 56,276,744 bytes
coq-theories (coq-theories_8.9.1-1_i386.deb)
SHA1: 861ccf9cb6f8823389a2602431c3a585bc8d67d2
SHA256: 47142e0fe84d4a1954e0a63711bac3a15d333507dd2cd4570f4bb64b17e53069

Size: 28,408,184 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_i386.deb)
SHA1: 760485aa72c51159f4b7c5d2204b6738465982d4
SHA256: cc02cdd31660b12e4001ee5ccd246c0eb8d35a856be72fbf0f92709ebd2d5b6c

Size: 5,236,356 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_i386.deb)
SHA1: f7bd9f8ac8420b7883652853c47bf5dc0fbaf09b
SHA256: b305c8eb1e2ebe811284204821f705ef69df38a1c6a0e31c371cda33aaaadd7c

Size: 13,773,068 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_i386.deb
SHA1: 45fb558147eb00d2f5e66b0a8dde847d9acae812
Size: 524,460 bytes
coq-theories-dbgsym_8.9.1-1_i386.deb
SHA1: 42a02d35fb21622a9bfdc0e4db951ae5da427f3d
Size: 740,952 bytes
coq-dbgsym_8.9.1-1_i386.deb
SHA1: 86c268f70548bef07cdc709aacb6d167309d1c0f
Size: 3,625,216 bytes

Submissions

uxvegxjh
Submitted
Tue, 20 Aug 2019 14:07:33 +0000
Signed by
0xB6798C98C3897D0D

Environment


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