agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 1 Aug 2019 02:55:07 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Thu, 28 Jun 2018 20:32:28 +0000
SHA1 of .buildinfo
c8940ad0482e382618fb17ce299951f04211a2e0

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 0e1e465e7a3459f8322ea969d66e77829d8f5a39
SHA256: d45c51e6d2ea072ae514453db39caa7b092a6d10bd5c1d989db751c70d3226ec

Size: 106,552 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 0e3117edc9c72a06ae82c2c54e270e309e2e5ce2
SHA256: 2359ba51d5760a85d161e4e6a248000532155590a2da0d713b6b87a424e698d7

Size: 6,636,664 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 8d963a73f87057250e4841b483c0e6905368a936
SHA256: 60d55e39fce1a31626f44369e8dfd782151cd9312a14e50c8872cd2298e88dbc

Size: 106,136 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: a3f8a5c546e3a26c33cc9e08c588237db1df3d2e
SHA256: 7d7c2de94e58fc1ddba2b5161cd9c21983aea9fb4f92cb16969a21e4518a0ca6

Size: 143,508 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: efe647f06e90e6a51106538aeb7246574f2fb78b
SHA256: a056c5e5a1b949f25a49c53cb6c6df3c83df0e6171f5d1e80f67f0b48f8ef49c

Size: 18,558,892 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: c5ec4224a61110fc226adb87289333ebfd8450a0
SHA256: 2078d27d3e8fb0598ad5a08f9b819e3b33902ce471916b5f2415f21b83cc5235

Size: 2,760,768 bytes

Other checksums

Submissions

7oakcrn3
Submitted
Thu, 28 Jun 2018 20:32:28 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-5=/build/agda-2.5.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"