agda_2.5.3-5_ppc64el.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 29 Apr 2018 13:38:35 +0000
Build-Path
/build/agda-g4Vl27/agda-2.5.3

First submitted
Sat, 27 Oct 2018 01:01:18 +0000
SHA1 of .buildinfo
fdadcdaac8b5c3e450076c623e775c7142760347

Binaries

agda ()
agda-bin (agda-bin_2.5.3-5_ppc64el.deb)
SHA1: dd01612cb67cc61a1d2f41f68901660e660d5b00
SHA256: 311ffc6a86a27f6ee36e4d7d2a2e8792cc514f9db33acbda717de0a5f03737b7

Size: 7,899,916 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-5_ppc64el.deb)
SHA1: 351e71b25f045a5a032596006994668075ce9af5
SHA256: cc450ce9c94b52503af75d9ae9eddea05852ec057c4dbb7b73354c7c45c91056

Size: 23,233,656 bytes
libghc-agda-doc ()

Other checksums

Submissions

zd3srqay
Submitted
Sat, 27 Oct 2018 01:01:19 +0000
Signed by
0xCBAD7C74AF82802C

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1525005701"