agda_2.6.1-1_source.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 29 Jul 2020 15:36:55 +0000
Build-Path
—

First submitted
Wed, 29 Jul 2020 18:14:12 +0000
SHA1 of .buildinfo
00eae87003996add956fd15a27c7493d20ba521d

Binaries

agda ()
agda-bin ()
elpa-agda2-mode ()
libghc-agda-dev ()
libghc-agda-doc ()

Other checksums

agda_2.6.1-1.dsc
SHA1: 1d768c2010ea6f9e09b25409b1008c35636e0f0b
Size: 4,186 bytes

Submissions

zs7qgncn
Submitted
Wed, 29 Jul 2020 18:14:12 +0000
Signed by
0xD7A86780CC64403C Ilias Tsitsimpis <iliastsi@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="en_US.UTF-8"
SOURCE_DATE_EPOCH="1596036884"