agda_2.6.0.1-1_s390x.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 31 Aug 2019 16:50:04 +0000
Build-Path
/build/agda-DlpQlf/agda-2.6.0.1

First submitted
Sat, 31 Aug 2019 18:11:49 +0000
SHA1 of .buildinfo
498a362d00f91123349a37fd5193a7317bdc8098

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1_s390x.deb)
SHA1: 93b8cc18865c819eebdf81725cb6fdc69237df7c
SHA256: 77c992ebbcbf7c18af16099aa02369df0dd8a0f4efb6cc557dea9ea11ac27f79

Size: 15,724,672 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_s390x.deb)
SHA1: 99886ce05a69bcfb406c07258cbdb12e7e2cbcab
SHA256: 0dc42c81ef6d6ae6e786150dec28b83be52a7bd96d28d3873d9eed6a9dc2142c

Size: 30,357,812 bytes
libghc-agda-doc ()

Other checksums

Submissions

hvwjad9e
Submitted
Sat, 31 Aug 2019 18:11:49 +0000
Signed by
0x7057D4D074EA5A5F

Environment


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