agda (2.5.2-2)_2.5.2-2+b1_s390x.buildinfo (view)

Source
agda (2.5.2-2)
Version
2.5.2-2+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 14 Jul 2017 11:23:22 +0000
Build-Path
/build/agda-tF5kBc/agda-2.5.2

First submitted
Sat, 27 Oct 2018 23:04:41 +0000
SHA1 of .buildinfo
44ad7a8295c7769926680043bf71021793126c02

Binaries

agda ()
agda-bin (agda-bin_2.5.2-2+b1_s390x.deb)
SHA1: 7e96ff53ea15f7fbcf2920ae9eae4d17ed11c53c
SHA256: d1b9fc17d3da259cbf5def4378ffaae75228740b1e3b6b0c62b84303e89ae913

Size: 16,234,430 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.2-2+b1_s390x.deb)
SHA1: 7b22f5d99be95a0f4e7da0c3176dfc2191ea5892
SHA256: 49b4d0d9f2ad8f9ac983534008d3552b5ac8e8a3def9f2ea3c9c84d2eb3e0891

Size: 26,443,066 bytes
libghc-agda-doc ()

Other checksums

Submissions

7wjosiui
Submitted
Sat, 27 Oct 2018 23:04:41 +0000
Signed by
0xFF8E016B689BEFB6

Environment


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