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
Sun, 31 Mar 2019 01:49:05 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Mon, 26 Feb 2018 01:55:09 +0000
SHA1 of .buildinfo
dfb9d0981c83dfbfdd19d3b957de6d218f5fbe28

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 87ff3817c13c3a1a42edec63ef043f642614c605
SHA256: 06ad128f4ea0c1d86809e93b838d8a9f12d216f41f3f4b1ed82d2d20842d2c7c

Size: 106,108 bytes
agda-bin (agda-bin_2.5.3-3_amd64.deb)
SHA1: 2c6ac283a234f5b175680dbaf851c1873929c356
SHA256: 1c413e6f433ef8599147cc6ea232d3bb6f1569cddd0d28f4f35e2368b4ed24f2

Size: 5,817,016 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 7a532e8f0fbf4616e35f02bb0d6219697ad2b709
SHA256: 743d8101ec410323e48399f425b2d9028346d554e3142458536443d68c6532eb

Size: 105,692 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 838ef10d9fc352ffab4a843202cf47a40efc5d7a
SHA256: b171d124babbb0aee9526adacb868f79991561a4b898974b503401cdf15196b8

Size: 143,104 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)
SHA1: 8d9a1be64d6ecc066957f1117e6c3182a117bcf4
SHA256: 2986d22aa65bbe78738024f213dc4a0efb8e1b6d6be82e62953283ed44a7169b

Size: 15,973,324 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 74c0676f66ad2b9d0276dc7a1a7aca06c595127a
SHA256: dbcdb1fb5cf9c2c8b1024500debef6be20c85bb283d0e7e576dc8d98ec614188

Size: 2,862,744 bytes

Other checksums

Submissions

7omkdmsv
Submitted
Mon, 26 Feb 2018 01:55:09 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"