coq_8.9.1-5_i386.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 6 Feb 2020 22:12:32 +0000
Build-Path
/build/coq-8.9.1

First submitted
Fri, 7 Feb 2020 00:32:36 +0000
SHA1 of .buildinfo
4793ec6d7b0938fd9b0943606c75f401b7978d9d

Binaries

coq (coq_8.9.1-5_i386.deb)
SHA1: e75260c01366cfeb4347639620bf025467851c20
SHA256: 1c3ad5bc306373cf0e0c861ca7b7cc75d7892ba8fc8be838f01d04ef92da71e6

Size: 66,468,540 bytes
coqide (coqide_8.9.1-5_i386.deb)
SHA1: d6071e47129787923af118908f8bee280f2f2f17
SHA256: 43cb78797b3edf9fe3b9088bb0a2b83179088554cd6677462b3b1018917f839b

Size: 1,681,716 bytes
coq-theories (coq-theories_8.9.1-5_i386.deb)
SHA1: 75e564e52ad91b1239a7ca454ceddbf2c3ace1a5
SHA256: d46f33b58f78ee8a1791efed4d7f2753de4c0dea229b156e6ec845a326702117

Size: 28,952,292 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_i386.deb)
SHA1: 447827a62ee60060c404ea1326d9f3b2f345091d
SHA256: d48869600a2c57da2ad270c213b9e44ac42f5d02d676f5a67355228982588aa7

Size: 5,404,852 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_i386.deb)
SHA1: f22903ce4198544b122061efcd79986bff106107
SHA256: 810fe28da91bf0d8ae086b73f4345d8ef4da7fa7aa839f17bf6d46cd976e8666

Size: 15,066,324 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_i386.deb
SHA1: 101cf00f3d33e5acbe81a699a29b62ccf67cd529
Size: 556,036 bytes
coqide-dbgsym_8.9.1-5_i386.deb
SHA1: 18f7337c1a031a2c8d52a13a348d6f77021e12f7
Size: 474,064 bytes
coq-theories-dbgsym_8.9.1-5_i386.deb
SHA1: 17c6f2233dfe22bdbdda38ba1d45892a1a67586c
Size: 740,060 bytes
coq-dbgsym_8.9.1-5_i386.deb
SHA1: 9b10fedcc5425f81c9d6123ac30a134e0de9d61e
Size: 5,103,460 bytes

Submissions

dsbwmanu
Submitted
Fri, 7 Feb 2020 00:32:36 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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