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
Thu, 11 May 2017 19:51:53 +0000
Build-Path
/build/agda-2.5.1.1/2nd

First submitted
Thu, 11 May 2017 19:52:21 +0000
SHA1 of .buildinfo
4b104b65e69352b455e2f79951f35ecb8df48fc1

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 546214e55175e015bd6953003ca61ad1dbd5e0e1
SHA256: 6c569cac08c384efeeb6ce35a3230f556c328dc394498641ceb140941b7d37c5

Size: 80,170 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: 2f09b0f16273fa1987a37c6b6c87803d2315d03e
SHA256: 340cdbb45fcd6bc52a44cfc933272998781d534b30aca998dd32489aec18008b

Size: 5,477,734 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 79e7a6d8946d4128fc6d94b793a97aa19e663c0a
SHA256: aa00269663334f9dc9118b99b44b07f6c6d9b2b39b9bb2a7785afd1df04de40b

Size: 79,746 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 2ef48130c6269a9b6dc22cada8dfdd3136e4bf3c
SHA256: 9c4172257b06d9d92cdc36acf42ad76b0a44ed71d492f621544fef0e790ef46b

Size: 115,356 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: e9a9419569a3faa829d4dfab489285394e9b3e37
SHA256: 4564c98c6bf23b0c769545be0ba4376b3172b2037c00e7c3f41518006357483e

Size: 13,088,962 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: e53880a33b18a9605ae960a74e424bc2642d9227
SHA256: d3cb3ce82d37021b4d3cbd5678dc4b9363add16a5142222bdefafab4e83419d8

Size: 2,655,514 bytes

Other checksums

Submissions

w3yq3wtz
Submitted
Thu, 11 May 2017 19:52:22 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.1.1-3=/build/agda-2.5.1.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1477607532"