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
Thu, 15 Apr 2021 00:02:31 +0000
Build-Path
/build/1st/agda-2.6.0.1

First submitted
Thu, 12 Mar 2020 21:09:18 +0000
SHA1 of .buildinfo
005d3e07ed8f5db52c1289987a0d1f27ac631f62

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 5ef0293a1c30f76636df80f7c54e04579e84f51f
SHA256: 7346a769b8dcca527fca725f2b27482e7602849ac4768168ad13904e33934d6e

Size: 131,432 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 87e45b53f9b8b77e0c806a7870486d0cc224cb7c
SHA256: d60b77494dfa4620b1cbd4331276b211e18dfbf795dc3200e22986a2f8235fb3

Size: 7,918,236 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 48d852b65d48066f0e953019d14f2e4d5dcc7258
SHA256: 16076cbac4981d11bc947b1e05a69a039529d36e6152409de0a09a3203441216

Size: 131,016 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: db32728c313bf9086318374e19843c9351b37a47
SHA256: c48a1f4ebf9bfe12a15a1b0d492b1797ccbc285b05edfa5bfc2a678f46c8f2d3

Size: 168,576 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 8c7820c86ce600ffeeec49c522ef036bbdf10f95
SHA256: e7c8d6b691bccbe76ce4e5da601f4559b637035ccece0699cbe0ca19b39782e3

Size: 23,338,288 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 060f19ed6350afd4a6656b536d4c245faec48849
SHA256: 6703446390202dc38700e43ee5e2c60a740d8e3d864864c61227e5c01f199107

Size: 4,342,864 bytes

Other checksums

Submissions

fs7mu4xw
Submitted
Thu, 12 Mar 2020 21:09:19 +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="1567260153"