coq-bignums_8.15.0-1_ppc64el.buildinfo (view)

Source
coq-bignums
Version
8.15.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 12 May 2022 18:20:13 +0000
Build-Path
/build/coq-bignums-ZvwYzW/coq-bignums-8.15.0

First submitted
Fri, 13 May 2022 00:11:04 +0000
SHA1 of .buildinfo
29c4772650169f4dd560864a5c0a8b11a8bba0bf

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-1_ppc64el.deb)
SHA1: 51893070524af73eac965e64ad5b75f725863d5c
SHA256: 0fb20a0cd1e4dff2511ffd5c3d1eba4e990b56c97c4fb82814ae588731229bba

Size: 1,809,668 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-1_ppc64el.deb)
SHA1: 9a364a08d89e9910a596d29f9496b0b92cdd1eda
SHA256: 6ff21e58cc142fb817458145544feff789aba4f39c5173c3f03ff7ab4d0a6182

Size: 15,340 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-1_ppc64el.deb)
SHA1: 5eefe16b3ef06640aa88a2059c8dd35e138f705d
SHA256: f21606d5c9246a20eed515af79c5f78d842e109010113f8345a1a518dea5d7fc

Size: 3,704 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-1_ppc64el.deb)
SHA1: d262889aadb8870f01b0d50551185dd6b325bf58
SHA256: 426529ba31a6c31aad5badf3d96ba528235f51a24e513e66f7507ec5bba00b3c

Size: 8,848 bytes

Other checksums

Submissions

a7q7pgrj
Submitted
Fri, 13 May 2022 00:11:04 +0000
Signed by
0x434BE1F07F07C6FC

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1651760649"