coq_8.9.1-1_amd64.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 30 Aug 2019 00:48:47 +0000
Build-Path
/build/coq-8.9.1

First submitted
Fri, 30 Aug 2019 03:52:36 +0000
SHA1 of .buildinfo
893d7df70a51167a0074d2860ae5d11f8e818b33

Binaries

coq (coq_8.9.1-1_amd64.deb)
SHA1: b8fdeec28183210e2590f1ae01c546f08e5c172b
SHA256: bbc1f211c7777dcc4421e0ecd783d2d3d3229a9ce5bfcf14a48c1adc3468abba

Size: 59,079,092 bytes
coq-theories (coq-theories_8.9.1-1_amd64.deb)
SHA1: 229d52b3792a62324b2232a99c88619fad7ce344
SHA256: b24aef482704d6240ed2372714083e572413d26c497a466ec4681b658b1ab278

Size: 29,734,836 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_amd64.deb)
SHA1: b0881158215d03af26443771baba4e07827c877e
SHA256: d3a02eb9f7b3fd418611e15d181bd234b0dee89f5e4719ad920f44734db585f2

Size: 5,521,656 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_amd64.deb)
SHA1: 9840542a6bc850c338225b85021d39bfa43b9922
SHA256: 4085886e393e7b63ad0a9fb692db79b6662586baef6399968d66a0d045a95149

Size: 13,741,964 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_amd64.deb
SHA1: d65203a764148ff6aa6025723b593735f1a0f58c
Size: 536,604 bytes
coq-theories-dbgsym_8.9.1-1_amd64.deb
SHA1: facdf97342b187dfa317caf8da2ee93ed99d3a90
Size: 772,768 bytes
coq-dbgsym_8.9.1-1_amd64.deb
SHA1: 1388f972755b5c1cb837fc2f066bc785c384895f
Size: 3,976,544 bytes

Submissions

9qj3nzx4
Submitted
Fri, 30 Aug 2019 03:52:36 +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="1566270574"