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, 4 Oct 2018 19:16:22 +0000
Build-Path
/build/agda-2.5.3

First submitted
Thu, 4 Oct 2018 19:16:38 +0000
SHA1 of .buildinfo
01abb15494bf9793c50bf08805d8d01931395204

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: e1f7426135e5cd4213fbb45b5fd5ccdd4ab0c3bb
SHA256: 7c44f055994f9837baf175fb794be60a07270fea4d18495b654eb1fb7fccd368

Size: 106,496 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 8e5198d7310d10a8e17a09c8169f1065be668f9e
SHA256: c07da00507bfd9bd74e570d0015c4751f7b5515e316f3e3de33375d17292cbbd

Size: 6,635,444 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 6a9d32b60cb935cbac72ee54279fbf122057b672
SHA256: 5b0ef7f685146365f704abd5def177838bf9d75cb16f68cc54eb4df05aa8184f

Size: 106,076 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 5a35ef164a2b03a30ab7d503cf15ccb358d87c46
SHA256: 2e73b8ad32ecacbb8e0fe14545712b59c5f7558215cefbbf2c2a6e9500ed12fc

Size: 143,416 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: 9f257c1e411f05c60110a39757945d2e0bc03462
SHA256: d295fcda80f81f207c6fb7cbad6d0421801ce831f661d9380cbe5372348dc721

Size: 18,559,072 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 305093756d69beaf0f0754ed154a6034a50a1410
SHA256: 4bd65e3ab7d146a2b668153fd6344ced3b6b1c0137aa8278babd0e13a3148a4b

Size: 2,760,444 bytes

Other checksums

Submissions

rgyz7fyx
Submitted
Thu, 4 Oct 2018 19:16:39 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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