agda_2.5.3-3_source.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 14 Oct 2017 02:56:00 +0000
Build-Path
—

First submitted
Fri, 26 Oct 2018 10:26:04 +0000
SHA1 of .buildinfo
2d8973ac1f7c707fc7acb6c74d81035089219a2a

Binaries

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

Other checksums

agda_2.5.3-3.dsc
SHA1: 8cc14a2ec8fd095152797112735b4cb6676f2025
Size: 4,580 bytes

Submissions

um9fejfm
Submitted
Fri, 26 Oct 2018 10:26:04 +0000
Signed by
0x3D908AB3F0FBF51F Joachim Breitner <mail@joachim-breitner.de>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="de_DE.utf8"
SOURCE_DATE_EPOCH="1507949671"