agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 15 Jun 2018 22:12:30 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Sat, 13 May 2017 15:49:40 +0000
SHA1 of .buildinfo
0b8e98dd792864bf61b7a247933125a95f5e9970

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 1104e3ed34aa7f44762c585561eaf56def9c5f00
SHA256: be045083f927cc0d9ea29a1ce2bc7b73b0154068534def87cae1d8d4a81a1cdd

Size: 80,182 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 8b6213b82f0b22faffb41d96ed77d875f630aae8
SHA256: 55c2fc4a510857bd5a087c552d10a146398693c2afdcd0ec7a02b5264803cdba

Size: 5,219,040 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 67678ccf71d85feeb103a056a9fa713376f257b1
SHA256: ca16a3fb8d8457a9279d7f67e72556e7ad94f5982417b509909018a22fb7a9ce

Size: 79,762 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 26facdf598a848a850579f320684a340d144fc9f
SHA256: 75f43c23286364fb4c22acd796e490894c0c61ac6c017efb108c381104db6f1b

Size: 115,364 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 1915d82f0d721d97f6dd8a5cc1573ae75a62d59b
SHA256: 5af57820941510ace2f0107abf1dff3cfde5030d6c451c2f539720b53843d252

Size: 13,240,108 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: d4eab9817c3671853bf0e400f1a4d070f6439ff9
SHA256: 96b15e9b7fa31ff9e81b910e4e1ddf9faa1c0890e6ac456f7d9af63aefc1d2cc

Size: 2,655,546 bytes

Other checksums

Submissions

azouod3x
Submitted
Sat, 13 May 2017 15:49:41 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"