agda (2.5.2-2)_2.5.2-2+b1_mips.buildinfo (view)

Source
agda (2.5.2-2)
Version
2.5.2-2+b1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Fri, 14 Jul 2017 23:48:15 +0000
Build-Path
/build/agda-Nf7vE7/agda-2.5.2

First submitted
Sat, 27 Oct 2018 23:19:30 +0000
SHA1 of .buildinfo
dc84e660fd2108536f4d6e1e55b37457cc117c3c

Binaries

agda ()
agda-bin (agda-bin_2.5.2-2+b1_mips.deb)
SHA1: 092c01676e4616a9071a5e2271b6ca678143c8f1
SHA256: 5fbe0a97117eeaab5398d895a85bcc3b987dafb045b30e4031651b52c43b2038

Size: 8,608,608 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.2-2+b1_mips.deb)
SHA1: dfccecc880ed4ec51ed2b7cfa03ad798427d8cf5
SHA256: d143ec5b07ca0f9ba6a2ab10c89076bff663aac2645e90eb55267efb613cd1f3

Size: 17,435,454 bytes
libghc-agda-doc ()

Other checksums

Submissions

ofozf4cg
Submitted
Sat, 27 Oct 2018 23:19:30 +0000
Signed by
0x3718B20D54A933AB

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1500056664"