coq-bignums_8.15.0-2_i386.buildinfo (view)

Source
coq-bignums
Version
8.15.0-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 24 May 2022 14:27:06 +0000
Build-Path
/build/2/coq-bignums-8.15.0/2nd

First submitted
Tue, 24 May 2022 14:27:15 +0000
SHA1 of .buildinfo
899f74a244c442289dd5038b9289933d7d4f352f

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-2_i386.deb)
SHA1: 36ccd4ec0e96f2d8d92b7bc0fb0ee4ec65b3e4a2
SHA256: 66520b7315621820990f9cee418be72afc0c24cd891c7d43b1da191eef87a77c

Size: 1,808,800 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-2_i386.deb)
SHA1: 3651b82ff1c0c33709813fbcaad6bb1ed3c15bac
SHA256: 1d1b59c640675d606d44c6e0d17dcf89b16a9115c454a45bc62fb4644770a794

Size: 14,108 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-2_i386.deb)
SHA1: a7d9a1376cd5ddba637c6f006be979740c97fa86
SHA256: 8e8c214759329348465da1ed6cea939869615effc3b7c1a8614538769a0432d9

Size: 3,416 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-2_i386.deb)
SHA1: 35cd77bf8dd6c4366ce8d62866e9ab1fdf0f8e6b
SHA256: e063dd3d1acafe1665e3574c7ae974e40839c648c4aec10e74efb82ec757403d

Size: 8,908 bytes

Other checksums

Submissions

dm3bpuqw
Submitted
Tue, 24 May 2022 14:27:16 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=7"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1653240285"