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
Wed, 29 Jan 2020 21:03:05 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Wed, 29 Jan 2020 23:05:26 +0000
SHA1 of .buildinfo
721119cc18e7e5b7854edca65a4bd54dc3e5dcdc

Binaries

coq (coq_8.9.1-5_i386.deb)
SHA1: 3c740217a02907203a2b901505d87ea2deea61b4
SHA256: 9673be6e9987996fb3423f31e73998cc1a63d0cb749916d7f0e0bb4d15548d9d

Size: 66,466,008 bytes
coqide (coqide_8.9.1-5_i386.deb)
SHA1: 881f7ac9b9985d1d30375c4a4d817a083dbcf8c1
SHA256: e52727b85b4c098d6124acdb84b653c2eec5a9b6f08471a9e7866cd2cb1d6248

Size: 1,682,700 bytes
coq-theories (coq-theories_8.9.1-5_i386.deb)
SHA1: 5a389c186bbdc1ecd0ab3055ddf2bf936da2ae45
SHA256: 747a1271743f380227ed2b535ea845cce713b7430e6942eb0cd2141f86d284bc

Size: 28,960,168 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_i386.deb)
SHA1: 3085cb0fe5fd65cb1500a85ba7698204cbbb3f8e
SHA256: cc92744f5efe2b9b125f5e98a3e0d38047e1f6a3edd0f0d19ef203690ab69ccc

Size: 5,401,628 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_i386.deb)
SHA1: e189e08cbaa062440475f2d4afebab57e3a021d2
SHA256: 239dfb8b522b546d1b01f9a9d5ca578a6fe52e21d496aeda57ce4d78990082c7

Size: 15,062,808 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_i386.deb
SHA1: d5027ef66547abac0844e96701b05d8766a67e8c
Size: 555,172 bytes
coqide-dbgsym_8.9.1-5_i386.deb
SHA1: 051c164bbbf1cb409a445311b1f924c958dee09d
Size: 473,964 bytes
coq-theories-dbgsym_8.9.1-5_i386.deb
SHA1: 85be2082be58f94704e8745dd48d399b2bb0f6f2
Size: 740,352 bytes
coq-dbgsym_8.9.1-5_i386.deb
SHA1: 1017f975cdba51a18016710722b0227c8eafb52c
Size: 4,855,656 bytes

Submissions

tu4aaooa
Submitted
Wed, 29 Jan 2020 23:05:27 +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"