agda (2.6.0.1-1)_2.6.0.1-1+b1_mips64el.buildinfo (view)

Source
agda (2.6.0.1-1)
Version
2.6.0.1-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 28 Jan 2020 19:20:09 +0000
Build-Path
/build/agda-3SKnnU/agda-2.6.0.1

First submitted
Wed, 29 Jan 2020 00:18:29 +0000
SHA1 of .buildinfo
198ef6ab0860abf98290631ae120c1fad7f93bc1

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b1_mips64el.deb)
SHA1: bf796c375dc7d4daed7ae8ebfe10b2558465b8a3
SHA256: dc25c65f2b20f706aafb4a3459aff6d081a4f89664117924474cbb63e19bb12d

Size: 13,343,620 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b1_mips64el.deb)
SHA1: eeec0d384f896dfeaa13f424ad94d509ae4e4ab7
SHA256: fb83a4954925afc15f094e57011eb3feca64c10418536ace53ccc2e16ac5af40

Size: 29,092,820 bytes
libghc-agda-doc ()

Other checksums

Submissions

odkshdme
Submitted
Wed, 29 Jan 2020 00:18:30 +0000
Signed by
0x6464A4F58A51774F

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580180978"