agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 26 Apr 2017 07:03:53 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Wed, 26 Apr 2017 07:30:23 +0000
SHA1 of .buildinfo
3f6c54073a7da8ad439a26a7bf20eb419f30b8a1

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: d21d675b103f10ba53a190f2b427e2e10ce4871b
SHA256: c08dc9242a9addc1589c3083d22b0236305446e0732000509a8e9647216152ff

Size: 80,166 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: 120cec681c0b65ca63e80cd6492cdf181396a4bf
SHA256: 122d8cbc8d5f50726e91d4b569cd03b488204db971ed2cc52f693f4bcdd6384e

Size: 5,478,754 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: df1720bd0228e677555823a1c889af28deb61acc
SHA256: 42d96e6e5ae98a79039c728e031026e19f257ff718809989dcfb95a7159cee50

Size: 79,738 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 74ba7c0498b624b716ffe648bb8341f7734acb1b
SHA256: 8b902a3a0fd9a321644865437a45f972092d819595ddb2e286e88ded1f4164be

Size: 115,340 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: 60e312f1bcaf20b9787f2bd4ab5075f3f6d9217d
SHA256: 54df6a691767f50b394e5c7bd0daedaa830cf5ce6e8083a1042112acc3fffbf6

Size: 13,088,934 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 007ea96bef52469a33b5f1e0578f8b4c72fe58bf
SHA256: c1ca4d8afbfd553d2fc24c5ab00fdd9e37365b9035310b982a04cff7fb49fccf

Size: 2,655,550 bytes

Other checksums

Submissions

r9b3dxmr
Submitted
Wed, 26 Apr 2017 07:30:23 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1477607532"