agda (2.5.3-5)_2.5.3-5+b1_s390x.buildinfo (view)

Source
agda (2.5.3-5)
Version
2.5.3-5+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 11 Jul 2018 13:38:49 +0000
Build-Path
/build/agda-1IeJxA/agda-2.5.3

First submitted
Thu, 25 Oct 2018 22:06:43 +0000
SHA1 of .buildinfo
d1c84693756a687be97ddb015cb02e468f55cea3

Binaries

agda ()
agda-bin (agda-bin_2.5.3-5+b1_s390x.deb)
SHA1: c74d305cb264f63f5cf26c64a7e757d77b1189b3
SHA256: 7d3b0d36369f4178f8045d9a52e9bb3091814b80d0be65ccbed7a50888b614e2

Size: 13,333,468 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-5+b1_s390x.deb)
SHA1: 3917cb7c4ab858a98a63fdda49408179e3dfb2e8
SHA256: 92e812bded196e40721d223a36836c4a4e96bbdb24f16b8101d8b3139e6a7763

Size: 24,640,152 bytes
libghc-agda-doc ()

Other checksums

Submissions

fvqdrnvf
Submitted
Thu, 25 Oct 2018 22:06:43 +0000
Signed by
0x5B445DD39A95A4D3

Environment


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