agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 3 Feb 2017 09:44:06 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Fri, 3 Feb 2017 15:24:51 +0000
SHA1 of .buildinfo
3bcef801358a42553d6302199044d4e39f91f6b2

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: bec4261ed94069ac465dcb0d4c5a9913cab11bf3
SHA256: 23c13b1a306765bbc1431780abf65b2b2c580628251dc89a27aa94b152162544

Size: 80,238 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: ce27e7a03448938a59e2363e75862bbc5e85a516
SHA256: 91047c9c851e775175cd2e8932aa0e33ff10117db97d43e138b2486e7d2b6c58

Size: 8,488,382 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: a0641b19ab152733fde816ec1b177a5700bac6b6
SHA256: d636658a5c2b7fd62e0a74e52c098001c6b3a530ec20554d0a44e688485d12a8

Size: 79,818 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 5524403fa42cc2880c00db9d0f52c9d8e6c26ab4
SHA256: 131d7c768aaa0b387d552d5db2aba4f764a25ff23a907995bc62d737bb16c71b

Size: 115,388 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: e45d200f1a30a33b5e7ce64a694d4dae03aa5d82
SHA256: f172fdf8d90a3d933944fc0f9fb1b8095ef0ea427ffcc1d30095dea22df763fc

Size: 19,840,734 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 6d8d25e38f9385fc6adc1ad4a956442053c63c6f
SHA256: 7596d8401719a87542fb55a6f925f7c9bb2657cffb13996437298910c8b9f56c

Size: 2,655,506 bytes

Other checksums

Submissions

eg4gcvxz
Submitted
Fri, 3 Feb 2017 15:25:10 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"