agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 10 Jan 2019 05:18:36 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Thu, 7 Dec 2017 22:55:46 +0000
SHA1 of .buildinfo
4eaae6aeb067869d8b34e1e7c732bd6d5114d60e

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: d34d294eb4f0edc3da138b40c6edc8ab6b04da19
SHA256: 716c8e4457d9ccd93b86a86d70c7f0456aeba01bc09eb8b1f057a23dce400274

Size: 106,080 bytes
agda-bin (agda-bin_2.5.3-3_amd64.deb)
SHA1: 9634cb56d9c31e1eee1a26a0475941020ef5ed15
SHA256: 7b115632f601e5e400ff05176b58e43b6cd5d9e1eef2816edc61943c488f6af6

Size: 5,815,968 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 3c6653ceb8934248d7a14af4ce52304f121acfcc
SHA256: ec04b6c045346beb1df6d117bd555f372fe6ea060e5715c8fb75871fc737fbbb

Size: 105,660 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 27822bca23c7421962fd20ac8dfa2a22b2ca0788
SHA256: 1830a8d514cf4e902bef621659c4273ba3604d0a37ce4c258169a83137a27613

Size: 142,996 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)
SHA1: 5662c0b377bc8af4ce21a4d2ec788d8a2a9500a8
SHA256: 90f141c9c5c68d53a837d6ebfe06f2220b290b7a2a44ca0f8c4b7efd92b3682e

Size: 15,975,388 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 4df7ea5375c3c70097400f9494e8ae492e140cda
SHA256: e53d462a023ccea0a18d40725c1b8b5d1077ebf3e966b928211aa23e0d07ec9c

Size: 2,862,568 bytes

Other checksums

Submissions

tngjp4ma
Submitted
Thu, 7 Dec 2017 22:55:47 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-3=/build/agda-2.5.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"