coq_8.9.1-3_ppc64el.buildinfo (view)

Source
coq
Version
8.9.1-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 24 Jan 2020 23:03:28 +0000
Build-Path
/build/coq-XoEYYs/coq-8.9.1

First submitted
Sat, 25 Jan 2020 02:05:28 +0000
SHA1 of .buildinfo
07b6bd0993f725569d44b98d405bb1d54394583d

Binaries

coq (coq_8.9.1-3_ppc64el.deb)
SHA1: ce258e328c88cf63633d5b91ed99b7de920a0536
SHA256: 5ff6532560778089111abca3a286df899d9873049c709a6cbd31be52b657a3a1

Size: 72,292,020 bytes
coqide (coqide_8.9.1-3_ppc64el.deb)
SHA1: ba718f5f84f2f09aaa9f11a4395b0e2e0c706b39
SHA256: af7b92681f00c1b45d09de67f8d28ce252899eb42e284941ff54441bc586425e

Size: 2,019,000 bytes
coq-theories (coq-theories_8.9.1-3_ppc64el.deb)
SHA1: 6f2f0c1548d3bad006ed2230131436c82021c546
SHA256: e55c2cc3508919cd4866247041d6dec975a7520e32ec329f6ea7d86d3abef031

Size: 20,354,696 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_ppc64el.deb)
SHA1: a374076dcbcf25cb2221daf3ca3815e27da884c9
SHA256: 905656d290a1344325a9ec54df5a5dae33ed0e4fdf29d6aba4d5cfc444e5f21c

Size: 5,804,392 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_ppc64el.deb)
SHA1: de8ffa98f706e846335e6cf21a5c71955d13ecf0
SHA256: 630cf8257de0d1a732e2978addfcb37c086eaa5a46ef634a06f6963ce0d8c0d3

Size: 15,504,020 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_ppc64el.deb
SHA1: 94772721299f926981b3f41fea6b2236b089eaa2
Size: 473,264 bytes
coqide-dbgsym_8.9.1-3_ppc64el.deb
SHA1: 798f6debb325fbb0a37ecd1b530f527cd40ba8ae
Size: 464,344 bytes
coq-dbgsym_8.9.1-3_ppc64el.deb
SHA1: 4e98824f84e55ed5fcfebf0b84e79f22cf509488
Size: 4,305,044 bytes

Submissions

nmxjyhjd
Submitted
Sat, 25 Jan 2020 02:05:28 +0000
Signed by
0xECF065C4DB31787B

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1579899515"