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
Thu, 14 Mar 2019 12:00:35 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Sat, 7 Jan 2017 04:06:58 +0000
SHA1 of .buildinfo
07a601005b17522c52b4eaaced09df0283eb1f55

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 885aef7faaa8ed2ee8afdf34aeafecf067499ea5
SHA256: b7295a3d5e12e431e71d6c9ada846f8b78c9cce6832728b5bf70e025fdbdab1a

Size: 80,198 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 01587b10759e740740ff04f99608831882cb5824
SHA256: e86cda85bf83e568de15f5a0ad8c6e9d9e5a5fdbdba524150b3285a4133e826c

Size: 8,488,194 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: dc4b36e625b4ff7ad4edf558c919203044e78487
SHA256: a26bb623d757e9284f3b1128357d1472933a250dec5926897aac4337e65babc7

Size: 79,774 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: c94ce32c1df23845a387dbb4c720bdaa40bf14ae
SHA256: 27db190d09234b05a66e6951743de05db96e8009a0c5ca031288ede57151e0a3

Size: 115,356 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 79f6ce57562fdf364d075d240dbfc74eefc54418
SHA256: 4c609529a07398ce8998129261913f952e62319ffdcdec8a4df49c93936bdfe4

Size: 19,840,168 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 0ed6889f027deb00ef7ff6ce398c980e97e3599f
SHA256: a7453fecd65b3872c9886d09c06c5f9c358d326d28877bfb0da2b76ab143e44b

Size: 2,655,534 bytes

Other checksums

Submissions

tsvxrr3b
Submitted
Sat, 7 Jan 2017 04:06:58 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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