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
Wed, 26 Apr 2017 08:56:43 +0000
Build-Path
/build/agda-2.5.1.1/2nd

First submitted
Wed, 26 Apr 2017 08:57:02 +0000
SHA1 of .buildinfo
ae8b6823be52f65be257bbb8b38f040df12e8162

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 886385002b3f63ffdc9240fb3360deef36387b0d
SHA256: f05cd1b3d6447c4f54fb852fcb51fd5c54f9ed544132ec7d3391e814bd9db3fe

Size: 80,258 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 0aa2243f4ae98238d8972bf3376d31867053bae5
SHA256: eca6ac8e9802c6465205307539be3e561ae4f1beb15d05fd032e69a05fc1f261

Size: 8,488,810 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 76d18dc9f86944dc6c87299ddc6c97e9e5d45c63
SHA256: f3e5502b29bbf8768d2660272c4edfffea383f091d9ecbefbd983f1df64f2d96

Size: 79,838 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: e6d38cb3ca7ec2e1addcea6f5af38c9236d616d1
SHA256: 57a5321217126dab38785f08906b7ffa76b42268202f5e2272457268af56aee9

Size: 115,444 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 7df8eca761845bed629250da87b049b16ba32eb3
SHA256: 02e86b20ad6ec11f3156b35f88ca68f3dff11da130c5a5386dbbd384fff9ab79

Size: 19,834,036 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 01be49349cb800cb4fef21e83b60c955b9421746
SHA256: cd2c872b49cc830695fced35896952f822f341a17d7bfbf75185c7076f8c0229

Size: 2,655,498 bytes

Other checksums

Submissions

qyyacisw
Submitted
Wed, 26 Apr 2017 08:57:02 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.1.1-3=/build/agda-2.5.1.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"