coq_8.9.1-1_i386.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 22 Sep 2020 08:27:30 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Wed, 21 Aug 2019 05:12:07 +0000
SHA1 of .buildinfo
55d59a3ae42230b2fd366fc890d6ba9afd65348e

Binaries

coq (coq_8.9.1-1_i386.deb)
SHA1: b8b7ead81336f77b0b66e2806862fb3d727e041e
SHA256: 0af950f31df3d324cc828b42b0b97878cc853d3960aa79f8d2e752a4de9fb620

Size: 56,289,200 bytes
coq-theories (coq-theories_8.9.1-1_i386.deb)
SHA1: eaf529cf3acd2e894a7bc723057255e3185fcda9
SHA256: 9698b0217015ebaae78f95530efce28e3daa732b2fa9f9ec25cc163878390af8

Size: 28,395,084 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_i386.deb)
SHA1: 8ac2beb57d29d35a168337ec840e1838b7e98257
SHA256: e8a63b7a6f1912f0041820622b5d0f07af7a0491776707a536e3236f32bd2d4a

Size: 5,235,412 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_i386.deb)
SHA1: 01c3c413d6948a1824015f277f4f42d2566a8c1e
SHA256: e29b0aad8ba9dfb31495da01ac4e2337f558e27bc9d5dc3f6a7a0394b6a60010

Size: 13,775,256 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_i386.deb
SHA1: bbdb5fb95b4abe79be9f93d660e0bd8948ad8428
Size: 523,332 bytes
coq-theories-dbgsym_8.9.1-1_i386.deb
SHA1: 88fd60c3da730f29f6a418d97e6a27d7753255ad
Size: 740,104 bytes
coq-dbgsym_8.9.1-1_i386.deb
SHA1: 4714beffa7969b947f1aedc589accdb5430fefae
Size: 3,666,660 bytes

Submissions

cusenwqp
Submitted
Wed, 21 Aug 2019 05:12:07 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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