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

Source
coq-bignums
Version
8.15.0-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 5 May 2022 14:26:09 +0000
Build-Path
—

First submitted
Thu, 12 May 2022 18:16:27 +0000
SHA1 of .buildinfo
b2f180626fe218af07652645747407bc89b0ea5d

Binaries

libcoq-bignums (libcoq-bignums_8.15.0-1_amd64.deb)
SHA1: 4bf7be1dad3b402c8b19a2f1e117672343253852
SHA256: b137609e8e4e7771b5c2b55d9b57bb7c42d3fd97c459266da103725663346d46

Size: 1,808,700 bytes
libcoq-bignums-ocaml (libcoq-bignums-ocaml_8.15.0-1_amd64.deb)
SHA1: 8addd28e9a89f6e7ea0bd278209befba4f83790a
SHA256: 633547efab38f6f19bdf36249dc48e2f07833a0a916c83a39b8a1a2518dceca8

Size: 15,160 bytes
libcoq-bignums-ocaml-dbgsym (libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb)
SHA1: 1434e8ed80ecca2301b24c57c398c326c56dbfc9
SHA256: bf82f2a6d95aa3ca73614fa9cc0ae77ffd4a788e7d6cc0584d2c6dc64e00beba

Size: 3,484 bytes
libcoq-bignums-ocaml-dev (libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb)
SHA1: 46dada58ba0cea1ddc641ee4c07fa45d6a1aa1ca
SHA256: a20fdbee9530edba2ed3751d2b4b68de61ec8819d72ac91f5e152d2708d8a3e5

Size: 8,852 bytes

Other checksums

coq-bignums_8.15.0-1.dsc
SHA1: 45522f1cc61c2ad70e742728d71b92b655e64107
Size: 2,188 bytes

Submissions

znctzmzd
Submitted
Thu, 12 May 2022 18:16:27 +0000
Signed by
0x04C53BD7FE030551 Julien Puydt <jpuydt@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="fr_FR.UTF-8"
SOURCE_DATE_EPOCH="1651760649"