coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 13 Jul 2019 07:01:54 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sun, 10 Jun 2018 01:27:42 +0000
SHA1 of .buildinfo
8dc36be247053fb4e0f3125101d8eb94e100b3d8

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 4449364fbd5cc2cdf3f511d024f05c11d279daac
SHA256: b8abf9477a71da3ba623e085978b9f516d9bd3479a725c3ac2410330704fdcde

Size: 18,890,536 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 916f39e1acbc8cdb212d0aea259e1512d3394950
SHA256: a130d2b06115d485faf929e238fcdd49236d2a08970549884001aae9e2a1e173

Size: 1,750,608 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 5fe98cbcf8e858b12fb42c2eee51d583716fd83f
SHA256: 6966f6ca5a3209f30d10c681e550e1df1ac8ce35c442f63ab5224d78d1b04b24

Size: 22,866,216 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: d9befdfbe93d43ed740dbdb4febf2a573ff7a1f7
SHA256: faff11907e39bd468c5c7a3997d20252dab23486e55d1740aec4aea70a9d9691

Size: 3,827,784 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 54bf9f84a36403e55e034eb7aff17b78e182e03e
SHA256: 72c3dc6698c464dba37ac8bb690205e07e63cd5d8aba6cc336b075ae1bf5bb4c

Size: 14,094,568 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: a62932c52ec03fe26416f554d3d187f9850804fb
Size: 107,408 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: eb17c7e0afd6106746a6babadeaa40e6b8e57695
Size: 336,640 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 3e9e0debf1c33ae7dcec2c1c9562153178163345
Size: 492,548 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 755acba574fcf75c4159e1aa0d9bcd97b992b255
Size: 1,851,196 bytes

Submissions

gcue7j4c
Submitted
Sun, 10 Jun 2018 01:27:43 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"