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

Source
coq-bignums
Version
8.15.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 15 May 2022 07:24:41 +0000
Build-Path
/build/coq-bignums-8.15.0

First submitted
Sun, 15 May 2022 07:29:12 +0000
SHA1 of .buildinfo
ba4741a5adce81e162a04d42ec9b926d602ace12

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

Submissions

pdnp3tva
Submitted
Sun, 15 May 2022 07:29:12 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1651760649"