agda (2.6.1-1)_2.6.1-1+b2_s390x.buildinfo (view)

Source
agda (2.6.1-1)
Version
2.6.1-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 14 Aug 2020 23:47:21 +0000
Build-Path
/build/agda-AnHdAf/agda-2.6.1

First submitted
Sat, 15 Aug 2020 00:31:29 +0000
SHA1 of .buildinfo
509c8aa3828ef610438a9b02381dc5b63a4f9110

Binaries

agda-bin (agda-bin_2.6.1-1+b2_s390x.deb)
SHA1: b262953f7bc2f47c81e9a9ee0d962f09e941175b
SHA256: 180130a9ab67baa415d7f51c0cd2fd49ac804f4f99d0eaa9e4e6c2aea4a63f9e

Size: 23,902,416 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b2_s390x.deb)
SHA1: 5288e507cac0169a0cf96dfbd6ee9fb89dc7c514
SHA256: e476a71aa87526753fa86c5b507bca27406a32a37e6b8c36ae9cbebf6aebee2a

Size: 58,075,764 bytes

Other checksums

Submissions

jsnyqppn
Submitted
Sat, 15 Aug 2020 00:31:29 +0000
Signed by
0xB5B68F9C8464675F

Environment


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