agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 2 Jun 2018 13:07:09 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Sun, 30 Apr 2017 12:09:27 +0000
SHA1 of .buildinfo
7a871faa0eb72533202e341293451a63b5447655

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 1fc52db03bec9b5e6074d1647446b07444de67b8
SHA256: 0db1fcefa8d51ef0a62dd13e4b0e646badfdfac368c8e94fd9c361ab99d3aa48

Size: 80,252 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 28b1e1a0aee7d856b3804d5dfb13b4d3733461cb
SHA256: 15df0f1b1d0cd2b0125e45e3d9099e1711337d20b0cbb0809e12edd421fcfd8a

Size: 8,488,820 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 2b0afed51b5f51c977037e8d8dd9ed329cc45a9c
SHA256: 6094cb2a0ef160b84ddfdb671e1bfcc08a142053fd2771e07f4beb4ce4fac6b0

Size: 79,830 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: dc14c8133fab41add76a91c3c85b881b4cd0b192
SHA256: 27a9ef5c44828a39410aa15c5f3c6628067372b542937e2dac55df8dc374cec9

Size: 115,432 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 6e9e3526c6839a4686fe60fe6b800c2f99b4b4a9
SHA256: 1b636169095e7121d3247fd1e684f3da2a6c9df18441447af69d047327bf9f91

Size: 19,834,038 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 93fbea13654bbfd73b08e221944dee7aab092c14
SHA256: a026a7bd26f4cc087295a96633c3c9c23dc2af2c2f6be9c310267018d088f378

Size: 2,655,662 bytes

Other checksums

Submissions

otjv39yw
Submitted
Sun, 30 Apr 2017 12:09:28 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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