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
Thu, 12 Aug 2021 18:05:27 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Thu, 12 Aug 2021 18:05:52 +0000
SHA1 of .buildinfo
de8284995fd309401c268889d9cf55f2fd9a4aad

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: c58ce22def7a1288e1c9a5aa4d29aad4e0b6d4d2
SHA256: 99c1a9cfbf97c1147a5485ab76aafe50567eb44aa32fcda9d2c0be4b81e8d989

Size: 28,936 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: d4fba3d2c44d9bf490b5e1dbf24c5990cbacf2af
SHA256: f0721bb7837d2da0cbe0d2dac3c6ea07a7a50b28f8e6a75d00228d4d4ca45680

Size: 10,367,640 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 6c104a6659b76fc787cdca89adab4788e4666fbb
SHA256: 1d2c25163a1a9f196ae3490d081ecaa888f8ad1e39610e83bffb29cc6b8044fa

Size: 67,080 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: cb280bdded0f313baaa17c120bdcbfaebb31c0bb
SHA256: cb5f5a8e158d68784cb2bc251cf826eff3919c23547c6008fade0726b7b2dde9

Size: 44,791,432 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 375656c1d79a0c977b33e8db47dcdb12f1c3121d
SHA256: 25dbe9bcbf0d4f2f266169936563ef6077ada00cc7005d2eb8d973cea7d7c9df

Size: 5,914,408 bytes

Other checksums

Submissions

mqgxdrzk
Submitted
Thu, 12 Aug 2021 18:05:52 +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"