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
Wed, 1 Sep 2021 11:36:08 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Thu, 30 Jul 2020 11:49:41 +0000
SHA1 of .buildinfo
e38f35c9d2f543753b04934f4e8cf4843899575b

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 2f0b705ec6e1779a347c4e80984aa0e0806ec782
SHA256: 61930f1cc6c79e6958290429336c047cbb124a821dfe8e1160cd87f58d12412e

Size: 28,852 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 617a9edcaa1b20612ebd75e8c612ca6119df95a9
SHA256: 8105e8b1b8269fb155cdfaa34e6cfa76bf1b6cc7d859113d0dfd5a93c612aeaf

Size: 10,387,692 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 26f46b6fb7ee9814af03d0abc083962a1d89c8d0
SHA256: eb609dc1e7a6ac48824d49ed89073b982a44483d241fe2c77c99cef26a3ba6a1

Size: 66,968 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: 877ae5aabdce058c55283373c949f098322314e5
SHA256: 7cf90e78c9f700f7f466d529e9aaa742b63bb75567844a5abdbcb4d6c5fcef06

Size: 44,847,108 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 0216d2df1453796c73d137a2c0b14fdeb3c182a2
SHA256: 4d415500595a3c908ffae3df5bcbab38958a242b7f63ac80110dda394f4e5dcc

Size: 5,800,188 bytes

Other checksums

Submissions

3msqgovb
Submitted
Thu, 30 Jul 2020 11:49:42 +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="1596036884"