agda (2.6.1-1)_2.6.1-1+b3_arm64.buildinfo (view)

Source
agda (2.6.1-1)
Version
2.6.1-1+b3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 3 Oct 2021 14:19:33 +0000
Build-Path
/build/agda-qoxnYW/agda-2.6.1

First submitted
Sun, 3 Oct 2021 18:11:48 +0000
SHA1 of .buildinfo
4192d25718277c90c18549e414505766af294795

Binaries

agda-bin (agda-bin_2.6.1-1+b3_arm64.deb)
SHA1: a3701c3290503a17a25edd16ece0aa7581ba9970
SHA256: 5c8b1ac14a865501fd92f9544883b36b28ed1b4651b7039c524ea81270999a89

Size: 10,370,112 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b3_arm64.deb)
SHA1: 76f288f55740e747b1c6f74f0668b97a59dd6296
SHA256: ff77ab419034c39b5042f96bf080ae1bcd9314c20421f4a5a8a9d112837081bb

Size: 44,808,040 bytes

Other checksums

Submissions

d4gzathk
Submitted
Sun, 3 Oct 2021 18:11:48 +0000
Signed by
0x9635BBF7FA2F0B37

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1633254164"