agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 3 May 2018 00:24:11 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Thu, 3 May 2018 00:24:44 +0000
SHA1 of .buildinfo
67323e1d1f3a3fba8245832b2596ab44cbdbc248

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: ee15eda249fce4ae23b3ef8e309308866cc2f214
SHA256: 311e93026fe593fdbca5f45da5b6e1fcb62af7811c8722f109ea95cf6b2b9f6b

Size: 106,312 bytes
agda-bin (agda-bin_2.5.3-5_amd64.deb)
SHA1: ca9e7790433f9e18b598c790cbc07ae50af2b4b2
SHA256: 998b5bbcb4c572b1e83eb4162859fe1a9bf11d2feeb5fcb08298009acd6a4ed7

Size: 5,849,816 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 8e8bbcbacaa7f3477859344c2f3226ea26e0c0c7
SHA256: 3a9f70eda098296953bbb76d5e05b4fdfdbebcac169907619a8507f85815782a

Size: 105,904 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: a6d453c189eb63975cba3dc7a64cb21122b70a31
SHA256: f8eb412d10783693ebd730b3506b9350a78798efcf20ac99e11dfdbdaad5e53c

Size: 143,264 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_amd64.deb)
SHA1: 3c4bb3389e3a335b640e2069bc879a06ec95b7f7
SHA256: 89e10cef68d20402b590898c8e529b340dbff6a1c5a266ac377dbfeb9f39462e

Size: 16,208,976 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: deeddd551f72c4fd3694c7b90f2d22859d5879e9
SHA256: a1647e5324446f18381b11e01f83bde0c437c3e6228b6afa6f911a0fc3c6e61c

Size: 2,760,088 bytes

Other checksums

Submissions

rbkprkpr
Submitted
Thu, 3 May 2018 00:24:44 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-5=/build/agda-2.5.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"