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, 17 Jan 2019 10:06:29 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Fri, 15 Dec 2017 11:33:45 +0000
SHA1 of .buildinfo
737a0b4302a30787702b1b5c977eb4b300967dea

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 41a6580892fc38024dfae4b801ea76becde31995
SHA256: 6a3030c56fe40a82d50beb5d9761a8e8ff6970ffc997802b5694ff806ee6b339

Size: 106,180 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: edeeaaa39311879db5e9fec5f47afab79e4736f0
SHA256: 24ade07492f3f449be30f242a1679272a19c64def0b6bac104d82bb02f8dd52f

Size: 9,228,848 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 1280e8796d9228046f270dc3e5139bd9819d3d58
SHA256: a422ba4744f2a1132522c9774461dab9bf6c9765b423424e523475afc4465ccc

Size: 105,764 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 14bae5838bf3606f8e73f5bc62f9950dcc81edb5
SHA256: 03e1a5627ed05053a6029846839ce80b9b5d3bce7388fcbd94de76a7dec79db5

Size: 143,128 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: 736cba4ff906b6a5caadf45dcd6f7a287f6d5846
SHA256: 653097b21c74c001976d972ccd41bf3ad7ee4236fcac9c13cb4787913f8373a2

Size: 23,944,648 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 9c69adcd3e6b3905aa788dc359141875242be36a
SHA256: 3079b8a94e034f57c1e650450de36d5fd7a4d8ef3318050ea59a0119b4186781

Size: 2,862,740 bytes

Other checksums

Submissions

qcqjeehh
Submitted
Fri, 15 Dec 2017 11:33:45 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"