agda (2.5.3-3)_2.5.3-3+b2_i386.buildinfo (view)

Source
agda (2.5.3-3)
Version
2.5.3-3+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 25 Nov 2017 05:26:08 +0000
Build-Path
/build/agda-BnBhAI/agda-2.5.3

First submitted
Fri, 26 Oct 2018 06:49:46 +0000
SHA1 of .buildinfo
6a969585ce890d9199a43eb457947c0533a7ee92

Binaries

agda ()
agda-bin (agda-bin_2.5.3-3+b2_i386.deb)
SHA1: 3714f528f80093d27f14d0c66bd07a28b9d323f8
SHA256: 4e3d5ea552c348e82a3493708f7221a6ba2655dfa0867bfa53549d6e3687f60d

Size: 5,822,044 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-3+b2_i386.deb)
SHA1: b7eb8f08491b82fb9da4a86b3a911912ab95351f
SHA256: 88de5f77e6c6e623d8b10334fe4212c067186a6d105ffed25a5aed6f0afd3bdf

Size: 15,689,108 bytes
libghc-agda-doc ()

Other checksums

Submissions

3u3bn4sx
Submitted
Fri, 26 Oct 2018 06:49:46 +0000
Signed by
0x69616CDA9356D1F3

Environment


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