agda_2.5.1.1-4_all.buildinfo (view)

Source
agda
Version
2.5.1.1-4
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 25 Jul 2018 19:50:09 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Thu, 22 Jun 2017 14:48:27 +0000
SHA1 of .buildinfo
199f2c03630d7fa609e5861d19819de906d6a025

Binaries

agda (agda_2.5.1.1-4_all.deb)
SHA1: 680aa13fea5fdfedf99a3a30163f6d5e2fdf4a36
SHA256: 3366b8f9a314858849d72f688f970eada20d096000c55825352781a1799c0cfe

Size: 80,386 bytes
agda-bin (agda-bin_2.5.1.1-4_i386.deb)
SHA1: d4e39564d37d44544dbb3b50bd3a4f461679a823
SHA256: add25a1ac5840be4a94ff7738a4815a7ce1ed0929718e27f6c3e1396bffb94d5

Size: 5,110,684 bytes
agda-mode (agda-mode_2.5.1.1-4_all.deb)
SHA1: b15b19c7e52efdd59836b1189dc29599e98fd735
SHA256: 20bb82ab7d08475496a7f2ad152890f1185cfefd6986985c1148f8e2deb72d7c

Size: 79,962 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-4_all.deb)
SHA1: 8b754061fe295fd3242b0713d2215e0a7e6237c7
SHA256: 7e73cdb65f123df46a613901280ae3ee61955a1519c9617ae37addbfec68d084

Size: 115,512 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-4_i386.deb)
SHA1: a502fda0bea40eb8c853cdf09e413810831df100
SHA256: c880dc137c3456a287e1038610cb790ff0c1279f4eae6dcd579d2617cfa50f03

Size: 13,057,602 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-4_all.deb)
SHA1: 9c806d569d995b617f0e10a367b73838baf73ee0
SHA256: e01b549d03418a1614d728ac73c403222e5b4073702b64ab333c169648f5c263

Size: 2,650,864 bytes

Other checksums

Submissions

r34ydc3x
Submitted
Thu, 22 Jun 2017 14:48:28 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.1.1-4=/build/1st/agda-2.5.1.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485500060"