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
Fri, 23 Mar 2018 13:39:55 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Fri, 23 Mar 2018 13:41:08 +0000
SHA1 of .buildinfo
419822aa831aa16d756957bea0d76714996edf11

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 6813b7d4b7340a52e1d9ff2280c7d7952617ea57
SHA256: 3b382cde076956ecc06d682a0a5c319dabe8a96ef40f7dd2c5a53e87c84affb2

Size: 106,224 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: 05aa07756f4e2a0d46eb6f1233f887da1e062b95
SHA256: e64388b5798f039665d7ca6c9b1aba1fbf37c57f7958293f41213863a8bf140a

Size: 9,229,620 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 93797b448b4d0df1ac4a99e448e0add952cbdf33
SHA256: f8c5fe0cbd244de3c439f98c009b55f4975aa2f1c8820039ddb29111cc01bca1

Size: 105,808 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: bcd13de1236a67474634bb2c9142e3a19fff0512
SHA256: b8b29856e4177022fcd7f80b363b4bf017a1a99a3caebf386f985b36ed4a22c6

Size: 143,184 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: fd96c340fffc029124ee15a31468ade93a0db443
SHA256: bf2fbfc4dff804178793434b9b9bc6842823002900481565e0d03e28264cdb2d

Size: 23,945,356 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 47fd80b037574c4e117450edce369ea78dcb490f
SHA256: 732dbe087239217f474bf947f133af5bb20e8dc3ce1c71f6caa236dac0671c9e

Size: 2,862,728 bytes

Other checksums

Submissions

yac4amkv
Submitted
Fri, 23 Mar 2018 13:41:08 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"