agda_2.5.3-3_ppc64el.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 21 Oct 2017 01:03:33 +0000
Build-Path
/build/agda-ZmutUX/agda-2.5.3

First submitted
Fri, 26 Oct 2018 11:47:51 +0000
SHA1 of .buildinfo
c56a0edc51d64b6c3c83f749c2bbfa59a79ffd81

Binaries

agda ()
agda-bin (agda-bin_2.5.3-3_ppc64el.deb)
SHA1: fcbf23139851010920d36bbc3ae4e01590e68e0a
SHA256: 5700c6bcd5548d84172855349b11a21a5d5d5c49a1e4d2ea80780ebb2e9ccb3c

Size: 6,826,308 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-3_ppc64el.deb)
SHA1: 63c2a9d9fcb4db47b8fd6bb6f48abf2333c3ff97
SHA256: 28137b3aff65b52ec91b864147045aa831a66eb0fc1e14de4e34575b7ae3d5e3

Size: 21,398,288 bytes
libghc-agda-doc ()

Other checksums

Submissions

iitekxry
Submitted
Fri, 26 Oct 2018 11:47:51 +0000
Signed by
0x99CCF26EB5F752D2

Environment


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