agda (2.5.4.1-3)_2.5.4.1-3+b1_mips64el.buildinfo (view)

Source
agda (2.5.4.1-3)
Version
2.5.4.1-3+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 23 Dec 2018 13:46:31 +0000
Build-Path
/build/agda-LsZ7oq/agda-2.5.4.1

First submitted
Sun, 23 Dec 2018 18:10:38 +0000
SHA1 of .buildinfo
171702b17c44a587f0fc0ab033e531f630ab9589

Binaries

agda ()
agda-bin (agda-bin_2.5.4.1-3+b1_mips64el.deb)
SHA1: 60d27e8709aa6ce27942fa0d7234f9d4c5dae8b8
SHA256: 05f5df76730498df02a8f11abce87ca1c346101f4a45ef06d4331e7811da5fea

Size: 11,195,152 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb)
SHA1: e90239be6ee4b8d31adec7c96f22f7131abdea88
SHA256: c74974ca221d528a44fb1104afc7e8b11bc9ec8d5ab49ea9c7e70c133d1035cb

Size: 24,536,388 bytes
libghc-agda-doc ()

Other checksums

Submissions

9avimxbd
Submitted
Sun, 23 Dec 2018 18:10:39 +0000
Signed by
0x0E8B73AB6C6E8A49

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1545550545"