coq_8.9.0-1_arm64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 17 May 2019 09:11:00 +0000
Build-Path
/build/coq-8.9.0/2nd

First submitted
Fri, 17 May 2019 10:08:17 +0000
SHA1 of .buildinfo
fb97de52f5fe707e267435ef6a5e868a5d6c9581

Binaries

coq (coq_8.9.0-1_arm64.deb)
SHA1: e8c38a91e2196b5341986e56628ed14005859548
SHA256: 469bbb571aeb8040f07ef4ad6559cf23d6926c0b7355ae8828c34d145c6c2179

Size: 63,303,824 bytes
coq-theories (coq-theories_8.9.0-1_arm64.deb)
SHA1: 252847f7ce2141d4e3e3915d71a76841cc565742
SHA256: f89f756b7730c83400d8dd07cff844ebc07bdef62da684a2535931f0135eb1bf

Size: 20,368,224 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_arm64.deb)
SHA1: 3d4562b3294edc89204bf16006ce449cff443d4e
SHA256: 67a41e20d4cec521f2e79f3931cbf6966f85d33e0ff15244d1d85078b728dca5

Size: 5,806,632 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_arm64.deb)
SHA1: e5c393f5ca823dd26d97faa87700c3687682b521
SHA256: 3e26046a2d65eb52d4e9f342656b8f2bba075475b4dc24ecf3914038984825d2

Size: 14,005,948 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb
SHA1: 352838547785af17d0eccb4b248c2fb1eca2cd14
Size: 513,884 bytes
coq-dbgsym_8.9.0-1_arm64.deb
SHA1: 911781562f61199198dcf6680c4345b94aa0e449
Size: 3,583,088 bytes

Submissions

cty9qusk
Submitted
Fri, 17 May 2019 10:08:18 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"