agda_2.5.4.1-1_source.buildinfo (view)

Source
agda
Version
2.5.4.1-1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 30 Sep 2018 08:05:49 +0000
Build-Path
—

First submitted
Wed, 24 Oct 2018 13:56:50 +0000
SHA1 of .buildinfo
72bd7110b826b958be7880b554fd39b8ad7cdf84

Binaries

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

Other checksums

agda_2.5.4.1-1.dsc
SHA1: a9c775fedfa6db94011a610b469a73c33d67221a
Size: 4,497 bytes

Submissions

dngjomvm
Submitted
Wed, 24 Oct 2018 13:56:50 +0000
Signed by
0xD7A86780CC64403C Ilias Tsitsimpis <iliastsi@debian.org>

Environment


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