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
Fri, 29 Nov 2019 07:46:30 +0000
Build-Path
/build/agda-2.5.3

First submitted
Sat, 27 Oct 2018 01:23:52 +0000
SHA1 of .buildinfo
f85404f379c2b09b0d0000e49b934cf63a1d6882

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 06f59351d8c639cbe2f2c572288897e4bdf1763c
SHA256: 56ce5676897959c6b889f36ec0378e539c8ddaaeecbe9729f8bd4f21e0b2b09d

Size: 106,488 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 24c6d37938d7a68b2713c3e206682046673c050a
SHA256: d3570d2da687bb8885c60144423437cc508e06def1d4187310a6df814ffd289d

Size: 6,635,616 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: afab5047052a44d930abc82452f75e9744df2186
SHA256: 898aee0eb0ae76037fe63385b5dbfa90f17aef49ffbabe470167470283c50850

Size: 106,072 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 86c7ba9e28b91f0c41367ca35044bebd7e2a1254
SHA256: 400070b2ea3b63f62419aa8e9847930b2047082941b20dfeb3ce4966992b7ab7

Size: 143,464 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: ebee8e98efa6dc08979ebae03d7adbcfcc8a3259
SHA256: d4d3a1cf142912d58dfc86b53fb9de0c1721d6cecf18acd8262ecf779592ec61

Size: 18,560,576 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 8a19d5c56e2e445ae1f8dee316047c57505a4d95
SHA256: 305c9996751eca0cb5c009b07a772efc8ad6d47cdbc00664f98f2834d86173f7

Size: 2,760,420 bytes

Other checksums

Submissions

nxbzqmca
Submitted
Sat, 27 Oct 2018 01:23:52 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"