coq_8.9.1-3_amd64.buildinfo (view)

Source
coq
Version
8.9.1-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 26 Jan 2020 15:49:55 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sun, 26 Jan 2020 18:58:10 +0000
SHA1 of .buildinfo
eee9efd9146d7aa88e9f902aba79d9fe239e7551

Binaries

coq (coq_8.9.1-3_amd64.deb)
SHA1: a9a076710ee84921f2bbcf91ac156fdf2846c901
SHA256: d9ea46fa35f48a97836c4d62e4909ba53f16ddeb00db5d527392a367e5ccecf5

Size: 70,356,236 bytes
coqide (coqide_8.9.1-3_amd64.deb)
SHA1: 0d25db1898d6502c9eb6acaf821e0298db788380
SHA256: ed2a18cb9440b4ec6a22afbf4e20758ce3a14054284cbeb0508cb2d40d43f7bb

Size: 1,862,704 bytes
coq-theories (coq-theories_8.9.1-3_amd64.deb)
SHA1: 69ba18d64130d96c007cfbadbaadb9cfdf8be99b
SHA256: cdae7c3d34892a747f89d99d6011b9aee96b2828292930cb123453fc901c0775

Size: 30,156,568 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_amd64.deb)
SHA1: 3883918e79480b46bda93ead74a958ced372692b
SHA256: 4f52b9d03f19709f5f0aa7e2197e1473361689275a93f7a117fc350ba2519c15

Size: 5,679,808 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_amd64.deb)
SHA1: 9d8055e79ae12c627cb551c85a54895c6fcf52ee
SHA256: 766edfd25fc371d857296ace1d433003111536916f519618e110650177601a5a

Size: 15,094,588 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_amd64.deb
SHA1: 7988f4ac68d4da772d071aeecf240e3caee0c4b2
Size: 571,140 bytes
coqide-dbgsym_8.9.1-3_amd64.deb
SHA1: f225cc6cab361a18c456695fe4b177651bf5d5eb
Size: 499,576 bytes
coq-theories-dbgsym_8.9.1-3_amd64.deb
SHA1: 5dc9ca831c57b03072f9c8067ac887ce4225c0ad
Size: 770,600 bytes
coq-dbgsym_8.9.1-3_amd64.deb
SHA1: 1cc238b76abdba9fa3445e3780da823528f48100
Size: 5,268,016 bytes

Submissions

hwtwwsgv
Submitted
Sun, 26 Jan 2020 18:58:10 +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="1579899515"