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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 14 Jul 2017 14:21:18 +0000
Build-Path
/build/agda-dgQVrA/agda-2.5.2

First submitted
Sat, 27 Oct 2018 23:09:15 +0000
SHA1 of .buildinfo
7b282cf8ebc76f2faadfc90e4e4241c4ce5bcf1d

Binaries

agda ()
agda-bin (agda-bin_2.5.2-2+b1_amd64.deb)
SHA1: c1157e94e565ee7e6f98839a81ab05b1e11db262
SHA256: 1fb66bfa08727bb0652afe7cd04f46a478161b1c77b8f07a4f249ae3f19caa49

Size: 5,056,190 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.2-2+b1_amd64.deb)
SHA1: a2d7c07280bbec23ccdc452884c461f44a5dd433
SHA256: a5fcdc18b5d563e6d5a929fb7b80c1e4e80f51759a830206c6d880ccf1ac54f0

Size: 13,328,920 bytes
libghc-agda-doc ()

Other checksums

Submissions

wqvcju4n
Submitted
Sat, 27 Oct 2018 23:09:16 +0000
Signed by
0xB7E8DA62F2F4A5FC

Environment


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