agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 31 Jan 2019 11:06:37 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Fri, 29 Dec 2017 12:35:01 +0000
SHA1 of .buildinfo
e438bf01dac4be3998ce82ca689c0954240fb53b

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 42319c0bf20fc42c6dd549308341d651dc289510
SHA256: f866517b588fc476821590e8d6aed9958520ba497a16e55b38843e52ffdbba03

Size: 106,176 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: 8ad202aa397df94a68381ab2fdbf57fb19e31ac3
SHA256: f457eb635e9288172f3978e62c4111cbcb38f54763ff9c9bc45e1d46cb90f809

Size: 9,228,268 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: ac6db0108a4163961f0b1baa489e6cc72a5afeb7
SHA256: 77d270832c87a6bcd2452f826496530760b10f6eee1b26b78f97cd918234e0e6

Size: 105,756 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 46f38f34425c0596324a74f6b5481e05efc77170
SHA256: b3d8451c215c178300ef2a104a0f368964f9d26eb6bcf470db7b387e631aaea7

Size: 143,128 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: 4aa0ae49b31d6ddfa72b51c406f442659418cb9c
SHA256: 839b5df74028b412292dc7bef92b872d8f8258d7f455b2306a259aed74ab93cf

Size: 23,937,908 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: afb73e7db910887dcdd7d4c5a39a67a45870405c
SHA256: 69cb92b94cf53fdbae2c5a941cd756fcf482f2bbf3a20b119262b504ba5abe6f

Size: 2,862,684 bytes

Other checksums

Submissions

yau9zurr
Submitted
Fri, 29 Dec 2017 12:35:01 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-3=/build/1st/agda-2.5.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"