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, 26 Apr 2019 14:45:51 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Fri, 26 Apr 2019 15:22:20 +0000
SHA1 of .buildinfo
a4c37d447acc05c4731e0123382491f56346c7c3

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 4127842c55ea068670a1ba917e7ff9ab812151b3
SHA256: 051d8326fe178f49455169e675e2a88fb080a344de835a56e8c3570e8fcbd961

Size: 80,250 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: d27964402ccad2aee06dced5bba739f2c74469ef
SHA256: 80147424e74e2dd2c02b28d3c3b8e28bf510d917686d8d72cbe039b119e11c07

Size: 5,219,824 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 4aa6ec86427de37e615b34c0d0061c603e64a6f4
SHA256: 88e638fb5cc22331d5d1f4b75f79b866cb365237d6284f328a5a12ad86be6294

Size: 79,820 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 9e874a23b2781b22e5b238bc506a5d3539c2bd36
SHA256: c62736730e074559f55615e71d83eadcc172a02eb6f1f4029f32502dfaa6bdc1

Size: 115,414 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: d8fff325ba6ce20b20498f55d8f56e352adecf38
SHA256: d93b082bbdb1cae29aa95693d80780852a4a8355454e8e9aef6b231a220c1bea

Size: 13,240,102 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 462ea312a8d0f5a1c2a65b36ec1b05ca4b0f223f
SHA256: 5502a16a852cf0459670a7a5070403c5ac71909ff2fccb23320a8dd29b9c641e

Size: 2,655,622 bytes

Other checksums

Submissions

zrh3dcty
Submitted
Fri, 26 Apr 2019 15:22:20 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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