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, 16 Jun 2018 13:04:36 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Sun, 14 May 2017 07:48:45 +0000
SHA1 of .buildinfo
b2affe167c0bd297a4faba83697c45a80a07b86e

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 19245dee130d2a40907554ea95b375dd9a57ccb1
SHA256: e82fe3ae743abbf2fdcd847b3cf406554aa99d9da6c617b9481f4a1dbd767a39

Size: 80,166 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: 8ab32e0d69d3e6de72ffb643b4add92630cbaaf3
SHA256: b5e952883029db48cf181617f964012ef7b975aef874f147b1a15496274a4bb1

Size: 5,478,738 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: ada913016d6c4e166299963fde6f83759c091a33
SHA256: d13ad5795baf14c1c3b640a6fe9fb413da349f3dbfe774156a9e10db4e328eda

Size: 79,746 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 6754340e45c39009ab8fafb605b1f5f38212b8ea
SHA256: 430ab4c31b15aca7122c99ceed90e437c944072c0311b1354189626cc402c664

Size: 115,358 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: 6425d9f1bddef55cc271da5336ba61cee6f2dd0f
SHA256: be62907705bf90860c74744a9e8c02bb6290e1d2bb02b0a01aa9e4194528e2b4

Size: 13,089,030 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: d7abf03d163409019f2bd86cb9a6af5c9b435def
SHA256: 7171a1bee1518befe1fbbd8448f569b154097e8f6b0228733aa2351b7a0111c6

Size: 2,655,486 bytes

Other checksums

Submissions

kqfairxn
Submitted
Sun, 14 May 2017 07:48:46 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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