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
Sat, 17 Jun 2017 01:59:53 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Sat, 17 Jun 2017 02:01:04 +0000
SHA1 of .buildinfo
84e592ab969323e1d98d0d7038c2de3302f39be9

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 4e78af9bcfb1da0dbb119b73d755ce4813450ac4
SHA256: 6ed4d5222a5c2b74365a2ef6e0c2a21a6ba1715a148ea457a2aa8842986b38e7

Size: 80,164 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: 52a1fa1049cbb585197715fcf7186d585d7d924c
SHA256: 1a92282b2cb619ad271c7485c95f6f7c2256d1a3a5f2e328cc9c71dcf51a496a

Size: 5,478,918 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 20ad0a86840235ff6e2ed26d2373eafc381a4c8f
SHA256: 83d85a6c6e4bb643a7efb1e017daf9407e0ba300a84784e4a04609166cf32000

Size: 79,734 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: f051979a6dd41d83149cda76d9ec173f446fb69c
SHA256: 841f2b77acc61ddf2328e10c8a9514a79252668500285959825391cbaf2723ba

Size: 115,352 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: c35c43d64d023c269ee1396486de7b40acf2e0aa
SHA256: ead47c1d1bf0468b86966501a357202063580562bfca9d7066142fb7d46c953e

Size: 13,088,938 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 146220293450f08157ac179d11578e40b79262e5
SHA256: 9efa97893b21d392dcc3a367b601e0ea3729185aea07bdb3010c38cb01d9fc4d

Size: 2,655,522 bytes

Other checksums

Submissions

jnxccvm9
Submitted
Sat, 17 Jun 2017 02:01:05 +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"