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
Wed, 25 Sep 2019 12:27:49 +0000
Build-Path
/build/agda-2.5.3

First submitted
Thu, 23 Aug 2018 06:05:22 +0000
SHA1 of .buildinfo
e042fdb7df55f24d9dbefed260caf27ef84703aa

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: edcdb1812d53b3df8261b0c5cfe8d269e9709bd9
SHA256: 0bdfff4855defd6a558970f2de7fcf605da8d36a59f58d3044cc137fa0a04d3b

Size: 106,484 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 45f18387b26ab5ac28ed8e4914b51991fd5a66ea
SHA256: 766062e3d9fcfdc15f5fbdaa8cdb035df0796c0671a2193bd57106ba24013774

Size: 6,635,640 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 4d7a21e88a1ea94ef4e4f6f2f04034b388c04cf3
SHA256: b35819568aa87ebc547aa70aecaac45b9f82e269050c7c8db341461f09e2187f

Size: 106,064 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 6b98ae393ac19d6a4b478f8e13379721451a0574
SHA256: 8c2a29b9d6bb4c0b3aa811fd207d4d536c4d73467adf5ecd14903ffdc891a47f

Size: 143,424 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: a00b7673de57849dc1947ecc4d8b6f8bff3f46db
SHA256: d480211d8a434c85671d0b5b620d97ab5699aa0f7a394c7236db874d46544e00

Size: 18,559,608 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 63adde14d987d18695093249983a42c9ee2d7354
SHA256: 148d5198c60d3202173ad78865767e9ea2125352c2cfb5c4e0ec7cbc23269ae3

Size: 2,760,488 bytes

Other checksums

Submissions

44bpjpat
Submitted
Thu, 23 Aug 2018 06:05:23 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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