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
Tue, 24 Jan 2023 21:07:00 +0000
Build-Path
/build/agda-2.6.1

First submitted
Wed, 22 Dec 2021 20:47:00 +0000
SHA1 of .buildinfo
fcba7b17661ea6b72b699722dd84616b05db530b

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 62e29220cc08ec0175b9b92d2c35f7e864dbcd75
SHA256: 6842e8c11639fa89ea234c56b4c5fcf17356373814e399f20f63c89524d92dc1

Size: 29,056 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 35439929b4cd3033bf47d6e92cbf4099a13876b6
SHA256: 6462537c991f5b963aafb43ef08311713f95fae7ee169f6f5711a8c344cfa271

Size: 10,368,332 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 8def19c82d145e224d9a3be2265b8ee0256265dc
SHA256: 23ab80c4bcb2e9f1e9de739768690454f7c9a707378906dd358a93d78fbda2a7

Size: 67,180 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: caee6bc0fd8f2719babab1679c1732163e529051
SHA256: 055efd9805df7196148bbb5bf43aac493735f28a14b36883774a5be4f3e1977f

Size: 44,806,384 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 6a60b23185fa2619ef27ae92aeb3df51e559febd
SHA256: 791f7d25fd546ea571bda50995e5e3455a0d6d8b0e1da3849dc006fcf91b478d

Size: 5,914,556 bytes

Other checksums

Submissions

at4aegrp
Submitted
Wed, 22 Dec 2021 20:47:01 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"