agda_2.5.4.1-2_source.buildinfo (view)

Source
agda
Version
2.5.4.1-2
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 Oct 2018 15:24:55 +0000
Build-Path
—

First submitted
Thu, 25 Oct 2018 07:48:39 +0000
SHA1 of .buildinfo
e13b4c1a8531a588b428736f538261b98b0653a5

Binaries

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

Other checksums

agda_2.5.4.1-2.dsc
SHA1: 5f675680d5b0e5118af5f25dc7fd82950b6af2c0
Size: 4,239 bytes

Submissions

wgukr3yg
Submitted
Thu, 25 Oct 2018 07:48:39 +0000
Signed by
0xD7A86780CC64403C Ilias Tsitsimpis <iliastsi@debian.org>

Environment


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