coq_8.9.0-1_mips.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Thu, 7 Feb 2019 03:06:51 +0000
Build-Path
/build/coq-Th0thU/coq-8.9.0

First submitted
Thu, 7 Feb 2019 06:11:44 +0000
SHA1 of .buildinfo
1bf77460c082974cdce41fd949596186e4a1aee7

Binaries

coq (coq_8.9.0-1_mips.deb)
SHA1: aeac68099b44fcf474916eefadafae9866ce4bb8
SHA256: 43cfc8e34c164baf329ade8c4f51743ea00291e45b7c76cf68c3f8ba678cbc84

Size: 50,024,004 bytes
coq-theories (coq-theories_8.9.0-1_mips.deb)
SHA1: 9580838516386f70a75690cf5364faa4006f3422
SHA256: 8a041de61d88390ff905149605845cfd6fd3b07b7839e34ddcd50867d645d976

Size: 20,356,988 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_mips.deb)
SHA1: c0105eb4fa2d3d86f3599ddcf33a8d92dcf421a0
SHA256: 2dac2a9c08911b2ed847193f158918f86d87acc75b8215ab9228a8201b67aca9

Size: 3,581,844 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_mips.deb)
SHA1: 5938002a8714b2ede35cd938c135cd6c21bb0c85
SHA256: 154f625d58bc8b08475f085789661a764ed202e19d92ffef0708cc2571cd1161

Size: 7,940,256 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_mips.deb
SHA1: 88ca372177be559025935cf323fb0a73c3a4785e
Size: 26,876 bytes

Submissions

7mkicujc
Submitted
Thu, 7 Feb 2019 06:11:45 +0000
Signed by
0x0AC554D0DA0DAD66

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1549474869"