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
Sat, 19 Mar 2022 08:06:30 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sat, 19 Mar 2022 16:25:49 +0000
SHA1 of .buildinfo
ad4f20c9c862780c81081f8ce706e18a4e64ff59

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: e8024f5c39745f3846d4ca4f1ae8815873fb116c
SHA256: 498a495e2d531824b6cdc0691b56ea9437197392d551c4f6dc3af6d44377747a

Size: 29,096 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: ef5897326e991bb07b0f70b58e5189fe463052ba
SHA256: dda61ad186cf0a2f600e7897e229d77049ad5dcf9a409a239401bfa16d67f67a

Size: 10,368,360 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: a2335ad726df4c721acc61bec1c4ad60d6ae179b
SHA256: 2b09d310a35aeb8782948ed022f58aa1dfe7e0331aa2b6415fa4513be2648446

Size: 67,200 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: f2bd3a3fe95454c9a16da44b4ba4c56cae81ce4b
SHA256: 7595e8423db01a8e4f77ba1db9901d3b4fa74c58a513a270c42f0748223c1741

Size: 44,810,008 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: f7c913eb332551013d30c33e8f8b452d5b0dfc24
SHA256: 458b5a01bac6981c958c94f6ab3501b53193b5375a8b1400687d230897afea75

Size: 5,914,544 bytes

Other checksums

Submissions

zdohs9sb
Submitted
Sat, 19 Mar 2022 16:25:49 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"