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
Sun, 25 Nov 2018 10:07:25 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Mon, 23 Oct 2017 09:52:45 +0000
SHA1 of .buildinfo
476fd18c4a3fbb80f2869c2f9821fc7c0c8cff69

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: a2ada40849e4003090e6662134a86aae6095a045
SHA256: 75191f0646cec58036d00e0bd7442f7896229b716404e6a2b650a5246b77aa84

Size: 106,148 bytes
agda-bin (agda-bin_2.5.3-3_arm64.deb)
SHA1: 8c9a446f3a1ee74b00507cb3d0aa519657ee5762
SHA256: 14b5f467abfcccf35696e41823cf63f7450e2b20e6b06d886801b0e68c52c946

Size: 9,215,804 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: d148f7e71c167e220e684c0fd44e03a2bbfdb0ec
SHA256: d0e12c0ec3780b1e99cdebfb95acb8cf81675c9aaf21baea952cbc3381d92051

Size: 105,728 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 85d5d43f9523782f7880b69da855c0f1088539ee
SHA256: 40183912a12a3efaea6a3dc19890ea50fc9f49e1f19c0d47c6387a219b8b2c7e

Size: 143,096 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_arm64.deb)
SHA1: 610120cda90d26f02f840f568141fb4f02d30af6
SHA256: 4696684f20ef8a969da80e25e006b717eaba46186153fc29dab1e93ddced83c8

Size: 23,894,292 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 64f8121c98cfebb738b62bbcd082a02bb4144154
SHA256: 6be05d26c611fd88b16198641a1648ec03eacea8deb3ccc6649ca0aedf4e7785

Size: 2,861,948 bytes

Other checksums

Submissions

ykoooxqq
Submitted
Mon, 23 Oct 2017 09:52:45 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"