coq_8.10.2-1_arm64.buildinfo (view)

Source
coq
Version
8.10.2-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 16 Jan 2020 05:29:03 +0000
Build-Path
/build/coq-cVngr4/coq-8.10.2

First submitted
Thu, 16 Jan 2020 06:40:55 +0000
SHA1 of .buildinfo
b1322e1b3f84a2bf726931f0c30c35142e38e1d9

Binaries

coq (coq_8.10.2-1_arm64.deb)
SHA1: d350916f499a2a1811134961c0a507d9b77bee05
SHA256: 484c4b6d6d7cda87eab4a0048dd7dde750cdafbc419bdedf70051b36d24e047a

Size: 82,758,664 bytes
coqide (coqide_8.10.2-1_arm64.deb)
SHA1: 3e19bc2283508fc1da1165fbe5cd5fe6712ba77d
SHA256: d1bf1b191dc0944f891095bf355790304af2928ae44cbf041f0aa19b6420b80a

Size: 2,347,536 bytes
coq-theories (coq-theories_8.10.2-1_arm64.deb)
SHA1: 9335bc355707d6fa2097c51fca664fb686204f7a
SHA256: a231fc6eda9234535230f24e5b5cdc6b3ff8ea59f9f41d317d2945ea5a597f90

Size: 21,545,244 bytes
libcoq-ocaml (libcoq-ocaml_8.10.2-1_arm64.deb)
SHA1: 6c6de440a61b7a70afb71d2faf4e58fd5515e9dc
SHA256: a6e99f9bee0f6f2410b32bc160e67ffa3903daa1a652e14e094b8f80c739070c

Size: 5,839,080 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.10.2-1_arm64.deb)
SHA1: 716a0cde3be738ac1db845404cc291d9b2d2c518
SHA256: 45c2750bf0c9126707d285bcade29990e7176b0f361903727094fc919b08f40f

Size: 15,836,052 bytes

Other checksums

libcoq-ocaml-dbgsym_8.10.2-1_arm64.deb
SHA1: 8fd1cf3f43b8c4ffb09b4ef97d2cf810a17cdc8e
Size: 502,644 bytes
coqide-dbgsym_8.10.2-1_arm64.deb
SHA1: 0b7a8183b3906a21711d883a1c855baf5d6376a3
Size: 605,692 bytes
coq-dbgsym_8.10.2-1_arm64.deb
SHA1: 5097d616666e44e668a2039f50de884dbe2e7533
Size: 5,875,508 bytes

Submissions

y3tednis
Submitted
Thu, 16 Jan 2020 06:40:56 +0000
Signed by
0x8B2E5DF2A73F28C7

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577906721"