agda (2.5.3-3)_2.5.3-3+b1_ppc64el.buildinfo (view)

Source
agda (2.5.3-3)
Version
2.5.3-3+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 5 Nov 2017 03:42:40 +0000
Build-Path
/build/agda-LBhkT2/agda-2.5.3

First submitted
Fri, 26 Oct 2018 02:20:07 +0000
SHA1 of .buildinfo
69f3470a4e79170bb0359001e5982a5bcc57fcff

Binaries

agda ()
agda-bin (agda-bin_2.5.3-3+b1_ppc64el.deb)
SHA1: 8aab2f012427ea011e7865cfdad580609ba8fbb1
SHA256: d53a92fd45934abbfce87921e9f8837d875b9f8714a24d7bee98ea929fb8b029

Size: 6,828,080 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-3+b1_ppc64el.deb)
SHA1: 137014d72c6f8ebb1d15fb4cb3420d25b02a089c
SHA256: d53899d585114853932d7f877e47f486a777784252b737d48b783bb643951cf2

Size: 21,410,972 bytes
libghc-agda-doc ()

Other checksums

Submissions

tyj3ibuu
Submitted
Fri, 26 Oct 2018 02:20:08 +0000
Signed by
0x99CCF26EB5F752D2

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1509852142"