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, 20 Feb 2022 23:21:16 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Mon, 21 Feb 2022 06:56:00 +0000
SHA1 of .buildinfo
29f8e0fa84feda5ddceb65b4504f75cc2db0f229

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 2382b3ea6ba2dd255f1a28ee36f455ea63a55a0f
SHA256: a4a900f8ee00c4f3157b43ea6fb12c136e6e7ea96f6f6d8f6d9c8522ac3ecca8

Size: 29,036 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: c802484b613119622fd376ea01f39214788770b5
SHA256: 5860e1fe7c72baf427e4bb5b3d2c80ccf46a11a3fdc7aa36107c6c48c37a62d1

Size: 10,368,464 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 6a59d55c901e5a7d6399480ae3c6092f1490f950
SHA256: dae91975e90ee525e8f6ffe5b3a00765183b8999c65ccbab783cff66e0b06818

Size: 67,164 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: de102d1afc7ab6873b0aaaeee64495e72540a017
SHA256: 4ac3e17d17d0d40345a0a9e2ce8c0b2f0fa3b87b752cb757a786302b333449f0

Size: 44,810,760 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: a4ee96a87a829cda3e7722f322f58eb5a7a585fe
SHA256: 932e42ee32e87c19ea79808cb141b5e0727a355c4b87c25e62e49ab797db1c6f

Size: 5,914,528 bytes

Other checksums

Submissions

uzu9v7ox
Submitted
Mon, 21 Feb 2022 06:56:01 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"