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

Source
agda (2.5.3-3)
Version
2.5.3-3+b2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sat, 25 Nov 2017 11:55:17 +0000
Build-Path
/build/agda-TO1XMR/agda-2.5.3

First submitted
Fri, 26 Oct 2018 06:59:38 +0000
SHA1 of .buildinfo
57db20b3e7d35dfdabde067a1a03f0540382c5be

Binaries

agda ()
agda-bin (agda-bin_2.5.3-3+b2_mips.deb)
SHA1: ccca4da5e59708aec46216eb8cf9158c5eb54e37
SHA256: 9b311e24473f439f8d1e640ea065f8f124a15ed403ef79a6c870f00e53fba44f

Size: 9,690,052 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-3+b2_mips.deb)
SHA1: fcc0291b8e865a14982c039771b6c0a12066a488
SHA256: 070a76e3f2b983ae3f116efe1cef1a148606f100401862c1e002b308d1123d7b

Size: 20,733,380 bytes
libghc-agda-doc ()

Other checksums

Submissions

zpahjozz
Submitted
Fri, 26 Oct 2018 06:59:39 +0000
Signed by
0x5D72928162D605A5

Environment


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