agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 15 Nov 2020 00:19:32 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Sun, 15 Nov 2020 00:20:14 +0000
SHA1 of .buildinfo
e6264162a5a584d6d8b000b75bceac926ad85b77

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: e5b6c35b1313ad4f2d91b7de84354fcaf12d8eac
SHA256: d1dfcf9628f1c1e9c37e78166ec65ff3fb270456997ace4dba3631cdd2a89a57

Size: 29,024 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: d5dd27e98d026ae51e5e456413d09b6f28dd605d
SHA256: 81162c14433dc1f25f64edc6dfc7726d4407fa1f4a338365fd32fbaa29f5ad92

Size: 10,374,532 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: a28ffaafb59c577502d14e42feb90772bf77e932
SHA256: 0934f38a92790ac44f1451ecbaff27a6f3d3055af0553b354a32affe0dc610eb

Size: 67,136 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: 712363b9fc8ebfa2555c38c5bca56856e894c894
SHA256: e7296d83fb98091c5ad09d72b41520e1092618b7d4bdfef9db0f666848d99787

Size: 44,821,184 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: a22c850acb9f48bd54887aa098937461a67460b4
SHA256: 8143b5c388b2f0a5c2e2920668ab89219ce140ddd209576fffb9c361af3678cb

Size: 5,799,064 bytes

Other checksums

Submissions

aamw4pju
Submitted
Sun, 15 Nov 2020 00:20:15 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1596036884"