coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 13 Feb 2020 22:57:48 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 14 Feb 2020 02:34:22 +0000
SHA1 of .buildinfo
3b811da09d2bdfad1bc12d10a5a5a7f8c7622f4b

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 8bf00be5f9fb1c865475a62b199603ddd5dd90d8
SHA256: e0b0f325a5840576308ed7515577d67a65440682bc5a6ab02e216b8b4d1dbd2d

Size: 58,991,616 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 0e7a7350811169f296e68f5f68c8ce6de50077d0
SHA256: ced412afb3ea5462d6e301aee2c723817c0a61baa37a73b7e2deff7e6e07df64

Size: 29,728,460 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 4fcdb40b095d6f1040d0707316d6dd430feadaa0
SHA256: f432a8a304a7768534f4927e9509f1935b070a2446d103c4fc59b2d386e8990a

Size: 5,465,056 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: aae550501292c48f85f22674dd440b929916ce29
SHA256: c907c539ea824da0c71e87452395db2efa69ba1395412c1e3418ffc273e4cad0

Size: 13,708,468 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 62d40aeb38ef4b4f6fc9a977e71ee419a892e2fb
Size: 535,456 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 0a51e62ef016c890ef9b8651a5851348bba54fde
Size: 773,820 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 9792c54a4654fe2704051123883bfb04dc632e9d
Size: 3,719,404 bytes

Submissions

e4ugqzno
Submitted
Fri, 14 Feb 2020 02:34:22 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1549474869"