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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 19 Aug 2020 23:51:48 +0000
Build-Path
/build/agda-DhhfPp/agda-2.6.1

First submitted
Thu, 20 Aug 2020 00:28:21 +0000
SHA1 of .buildinfo
c44cf37f745fe648c027f0e87eac78f062ca84c3

Binaries

agda-bin (agda-bin_2.6.1-1+b2_ppc64el.deb)
SHA1: 434c9af822a83ca3537f39ecab0841bed7b07174
SHA256: fc49ebb4752c64c46be4ef5726316e579d295f6f85950893a27ce45d6e749220

Size: 12,325,964 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b2_ppc64el.deb)
SHA1: 46d3e6f146bb7b4353efe102740727f1caef28cb
SHA256: 5d3d0fd0c3ad9cabf3bac3970fcc5285464b606c807d6143d1692c9afcecee6f

Size: 55,865,268 bytes

Other checksums

Submissions

gog3cwkc
Submitted
Thu, 20 Aug 2020 00:28:21 +0000
Signed by
0xBABB02E08CB68C5D

Environment


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