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

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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 13 Sep 2019 15:12:38 +0000
Build-Path
/build/agda-WEaxw1/agda-2.6.0.1

First submitted
Fri, 13 Sep 2019 19:43:54 +0000
SHA1 of .buildinfo
31b9361b9c860e1d389053c58cb2d4aa8598ea20

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b1_s390x.deb)
SHA1: 6a1ecc934f328cb9f1385f08d6a03eeb068ed183
SHA256: c7a37ca17343f5a952af9930a9b4dc7492fd4094aa9177d1d3f919eb283aabae

Size: 15,716,692 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b1_s390x.deb)
SHA1: 3cff08c9b3960c3789391a1e38ab65ec721c4caf
SHA256: afe4ff648d4c72fe84993399ddd99ceeebc2d1e2010d0f8ef23dcd9d744d8937

Size: 30,415,176 bytes
libghc-agda-doc ()

Other checksums

Submissions

asqehmet
Submitted
Fri, 13 Sep 2019 19:43:56 +0000
Signed by
0x7057D4D074EA5A5F

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1568384279"