agda_2.5.4.1-3_amd64.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 20 Oct 2018 21:31:13 +0000
Build-Path
/build/agda-8mmJZD/agda-2.5.4.1

First submitted
Thu, 25 Oct 2018 20:37:34 +0000
SHA1 of .buildinfo
4abde474a19a96f26edfbc5d3581c2a95fc0e752

Binaries

agda ()
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 3ee6d8ef1d07967de9b4cc3d6297ad1d3825f741
SHA256: c8c4dedc5d9ae89552ee49ff31a46a1fb59ac7f427b446d3d0626ab32a593bc7

Size: 5,864,628 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: cf228cf0bc376e8bbc45bc2c2d2e01a4da226b8c
SHA256: 51917954390125c460a95b25c09ff613ce241b7841776842b99557601e2dae6b

Size: 17,155,580 bytes
libghc-agda-doc ()

Other checksums

Submissions

ncowuhzz
Submitted
Thu, 25 Oct 2018 20:37:34 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1540066938"