agda (2.6.0.1-1)_2.6.0.1-1+b1_i386.buildinfo (view)

Source
agda (2.6.0.1-1)
Version
2.6.0.1-1+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 13 Sep 2019 17:13:34 +0000
Build-Path
/build/agda-9KZRwR/agda-2.6.0.1

First submitted
Fri, 13 Sep 2019 20:44:07 +0000
SHA1 of .buildinfo
3f461b8a25bb82898517711fadbf90eb8d2abce5

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b1_i386.deb)
SHA1: 1c475f3701007cf67541b6944e6028b8e36243be
SHA256: 273594c25fa6528a9221de845efe10f6c94262641e4530c128a47ab4d58e27bb

Size: 6,769,952 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b1_i386.deb)
SHA1: 91a7473ac94adc8f775f5ae4e7899bfaebbaa00f
SHA256: 2cb36b5e2a5993c3e7306093aad9ac20a890f4d05f2187c173695963bb4728f9

Size: 19,521,108 bytes
libghc-agda-doc ()

Other checksums

Submissions

wsnjsfo7
Submitted
Fri, 13 Sep 2019 20:44:07 +0000
Signed by
0xD4D51947CB93A7C6

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1568393304"