agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 20 Oct 2018 21:40:06 +0000
Build-Path
/build/agda-Wpk0zd/agda-2.5.4.1

First submitted
Thu, 25 Oct 2018 20:39:13 +0000
SHA1 of .buildinfo
410eda1d263ded2feeae7279ea7f0cae308ae976

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2

Size: 118,104 bytes
agda-bin ()
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 8d28581f0d81e7a8fc0f04cef99bb1d4b2f4e074
SHA256: c5dcfbf6e895cdce4e5c4e561ad71a8ec70248e481d4f90cb2899ee7ce466786

Size: 117,680 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: fb2facfd6cbd3889be6dcac8b2ac08899b21a9a8
SHA256: c7899b0d257f768a8e30fdf1d92faba18279f466328a7c8f16bee35432354fb1

Size: 155,444 bytes
libghc-agda-dev ()
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: cfa809ed154ba36ce32eceefa27b1579855797e4
SHA256: bf5a30361046262e826b991143beefa20c863d169c5c05d711c6894cc1d4756c

Size: 3,790,832 bytes

Other checksums

Submissions

m43fobzr
Submitted
Thu, 25 Oct 2018 20:39:14 +0000
Signed by
0x018F3B75701C19A4

Environment


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