agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 16 Dec 2017 21:14:22 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Sat, 16 Dec 2017 21:42:27 +0000
SHA1 of .buildinfo
f9c965feb25c99f6592ca5181a778a671d51b000

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 7afc7b0b6a0fccdcc97e790e662bfcdcafeed6c9
SHA256: abfe3d9e2db045adf5297bd8e27435d9689a627db4d43b7172ed1f0537ddb50f

Size: 106,056 bytes
agda-bin (agda-bin_2.5.3-3_i386.deb)
SHA1: 7d9282ec174dd3781717339613fd342663dab71d
SHA256: 89dd14ccf14eb0644010d46fd84bb02bff88b4acc3e14f2a818c1f43cc00fd39

Size: 5,822,100 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 96e399174d73171f6bbbe8566e58f0f934c21c75
SHA256: 7ace7a4f266edf96a26ca1016984d832754ae26f738d36a8ba917624dd774ea5

Size: 105,640 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 2362906bab68eac32d97af31ba4f4c818fb7b96b
SHA256: 584ec26a1786482bae217ec8c0004450bff2e922cfcb0ab9cb9abdf5c68d55e8

Size: 143,028 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_i386.deb)
SHA1: f7d30a6909a3bbe3ac7dbd3e7174960b32b1118c
SHA256: 7cd1b34bf84f3481e83c511e0586dcb6a2b82b5d82f8e7359850b8b91d252874

Size: 15,675,280 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 9110e7e5faeb813163ac1d92e32a681e3c3051ad
SHA256: 3b655bb0924a9b5461f0b5a289fb1d54495b5c260b45a98ba371003277ab39fc

Size: 2,862,548 bytes

Other checksums

Submissions

agdrswws
Submitted
Sat, 16 Dec 2017 21:42:27 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-3=/build/1st/agda-2.5.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507949671"