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, 2 Jun 2021 14:10:12 +0000
Build-Path
/build/agda-2.6.1

First submitted
Wed, 2 Jun 2021 21:35:30 +0000
SHA1 of .buildinfo
5010b39afc820f603e245c9071e675690d2a5713

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 763e8c15a0b96ec70d02764c9aee6730559b00b5
SHA256: e57369141ceb9276e6bd38a46abc5d07e1733b3d9edefd56b411faf31a98e73c

Size: 28,940 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 71ce7d79dda8fd06e650029b1de9f4d13f64438b
SHA256: 35c7a05befa9a3354ec2dcca30eaf3c35633903e6106ef41ef63fe9eb687ea50

Size: 10,367,648 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 6a7c7664d194e094220a2892f30b772ad5150c7a
SHA256: 1fec53cfbe76f769046b7a7cb621cd949387c9228836b76533767f9af5fd527e

Size: 67,076 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: d3d630bf97009e0bef25575bf33deacc26e9a688
SHA256: 5633b2ec58616434063bee93fa5b2ec7302c60134d7c85b14bbd739fd7fea2bc

Size: 44,791,308 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 0203aec027834f79c567d58c2d88cea442323241
SHA256: c963996d2f99dce5e725e4d4b54d19a65fae56d3287c1ec12b320dca1bcb1475

Size: 5,914,368 bytes

Other checksums

Submissions

izhdxrqm
Submitted
Wed, 2 Jun 2021 21:35:30 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"