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
Sun, 4 Feb 2018 11:44:55 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Mon, 2 Jan 2017 05:22:03 +0000
SHA1 of .buildinfo
c97bec4a2dcdad3c82b841f863b5cae30f5da8ed

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: dd9337c18db2ee25278f9aa4090aaf7213c24836
SHA256: 14aab5d183de371faaf2a231da2907ef4b21f0d8dd09c5a9dda93fb5622e89ff

Size: 80,114 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 2319ba7ea736f7c7bfea7a83df1abec7208bcccf
SHA256: 10ca2499c96ff7f43a7199d3c44afa2ebc379377af2cf6d8823a0df265d31703

Size: 5,222,988 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 81d9d17e7818332a64f55c92cd99f7c89c582192
SHA256: 66e51191f1a803ba759e23321dcabd73806fc018600e0ce0d88809d6f9048747

Size: 79,690 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 5507fb7c36d3b254bc9278790db1b952d0366b73
SHA256: ca9a056308482464b3a42ce12f4dfa4b0fa36c8489099b721c09aa149b7930c7

Size: 115,252 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 9466b1b7d33be21ede919b290de5d30378aa72a4
SHA256: eb0e94a2ec2462a2d9b8a2f7d9d562cb70199174c9ffb461f0b43815b9518ff5

Size: 13,237,896 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 4b74313aed90149b71f30cccd5632626b903dce3
SHA256: 324c775905daff717040fb8bafb3929a73741856e0b79a4c90dbfae64ecdd680

Size: 2,655,396 bytes

Other checksums

Submissions

noztpemx
Submitted
Mon, 2 Jan 2017 05:22:04 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"