agda_2.5.3-5_source.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 29 Apr 2018 12:42:11 +0000
Build-Path
—

First submitted
Sat, 27 Oct 2018 01:00:41 +0000
SHA1 of .buildinfo
ec6a6ded3caa40b3e91b1501161aa7851d940989

Binaries

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

Other checksums

agda_2.5.3-5.dsc
SHA1: e08c0e3867464eabb6f498d7d8a56c9d647bc6b0
Size: 4,661 bytes

Submissions

hf4z7cra
Submitted
Sat, 27 Oct 2018 01:00:41 +0000
Signed by
0x5592331E199D38A8 Clint Adams <clint@debian.org>

Environment


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