agda_2.5.1.1-4_s390x.buildinfo (view)

Source
agda
Version
2.5.1.1-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 21 Jun 2017 10:03:18 +0000
Build-Path
/build/agda-oOK5AB/agda-2.5.1.1

First submitted
Sun, 28 Oct 2018 05:30:51 +0000
SHA1 of .buildinfo
d8e9ba05db2128945a905c96583be73e6a5b81c6

Binaries

agda ()
agda-bin (agda-bin_2.5.1.1-4_s390x.deb)
SHA1: 4dc81c98869a97b5db703fb4fdb26071d46a1797
SHA256: c2ef5238ccd0050035125274bda771df89cfd96762d60851beb260d59e1584e1

Size: 17,955,868 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.1.1-4_s390x.deb)
SHA1: 8ce2ade2f86a2aa4e0bcd57a28253d0e55bc5ee6
SHA256: 9c1c2bc7cc05034806e718f678000cefccfe38e0acf61e2c3c8b9b5c335d8482

Size: 26,150,714 bytes
libghc-agda-doc ()

Other checksums

Submissions

vdvx93te
Submitted
Sun, 28 Oct 2018 05:30:52 +0000
Signed by
0xFF8E016B689BEFB6

Environment


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