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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 3 Oct 2021 11:15:02 +0000
Build-Path
/build/agda-xJclPF/agda-2.6.1

First submitted
Sun, 3 Oct 2021 12:13:25 +0000
SHA1 of .buildinfo
5af67348131a741909747da86dc6a72f5d7ca34d

Binaries

agda-bin (agda-bin_2.6.1-1+b3_ppc64el.deb)
SHA1: 7a9f3ed9b585723740b3916f3dc56ef2d6c6a2ae
SHA256: ad13c92c10ab564e59a2dab9b725388366bb5c1363d9da544eaa89ab7971919c

Size: 12,325,248 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b3_ppc64el.deb)
SHA1: 84aba2f3154dbfebb06a9464b6acf99c4e313065
SHA256: 8be37eeb5d15b1dc3f00817605500477e938357262d0487b33c2d80505fe012d

Size: 55,855,836 bytes

Other checksums

Submissions

huhkasgn
Submitted
Sun, 3 Oct 2021 12:13:25 +0000
Signed by
0x434BE1F07F07C6FC

Environment


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