agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 23 Jul 2021 17:24:35 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Sat, 20 Jun 2020 14:48:58 +0000
SHA1 of .buildinfo
a13719aba81d0796556449f1479504f63fa63168

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: b751d520e56b33ffe757a16ff3bd8f98dd74f523
SHA256: 88a05b0db906e6f31a1ec62454150b1ab97ad299ab118a49f88dfd90c58d929f

Size: 131,356 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 8f11df18515fc752cecbc73e7862db94b222f974
SHA256: cdd2cb55635c8ea6967eecaa370c904f86799fbec4b11071290f5a21b010853c

Size: 7,918,356 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 250f32217a2e85454bdd15afb3ec03860d1d8861
SHA256: 66730341a9de6c2e3c254c4d9716c2b94fd40e55fcc9690e43e8bece1444b848

Size: 130,936 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: d615c81081de6e176dd1d93881e5180744e8bd42
SHA256: 9192878f72945d5500dcfc034eb1c948e415bdb22c31f6ef3825eef1348d1fe7

Size: 168,500 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: e2d3d9e318f5195fb78aa7d2f7bbf0de856e2348
SHA256: b56bccc020b3a67d0902b8846215ed03108c92f99e0928222bda7d4a04c9f09f

Size: 23,337,224 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: dfa08c82405522ad1926b26fa56a608dbac9976f
SHA256: 648e4daee0ac0f30fa2ea4b3a7a9becef0c36a83f0c17b583f55611cbfeaeeb7

Size: 4,344,920 bytes

Other checksums

Submissions

zqoo3b7m
Submitted
Sat, 20 Jun 2020 14:48:59 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1567260153"