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
Fri, 26 Jan 2018 12:44:15 +0000
Build-Path
/build/agda-2.5.3

First submitted
Fri, 26 Jan 2018 12:44:45 +0000
SHA1 of .buildinfo
52ee858ce4c95af4a57aaf75b3321d6e670a8721

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 82490244d0badb2939b6f462d32b3ca5f4f42498
SHA256: da3d1ee77dd5865b0ce7775a2995b116b053cd17ba3aa8e1b0c64d72bb78b1c6

Size: 106,052 bytes
agda-bin (agda-bin_2.5.3-3_amd64.deb)
SHA1: 4906600ee2f942ac1db8bd1bc75645bf68a9d29a
SHA256: 464f5a78d292d66fe875990dff39d12d7f312ed21c8637423047c8bde967636d

Size: 5,820,752 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 8ee9ac41b308113b00efb6da9cbfbae824369b33
SHA256: e953c7ee455152112b26836cfddfb8b0be51f0be19fef62746aed344d9a4e0a2

Size: 105,632 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: c2421065e58da84fcedd32aca3ab665db78aa154
SHA256: 20a3829441cf2025a7bf364ee779ca4255fc0a643c2d5200f47425ea2c75262a

Size: 143,032 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)
SHA1: 2862fbf913e166bfc7df5f47713581b3507f307d
SHA256: 5e6e232ef2d68b64e1ab5358e74585816dce4ca10b322063522583794a8c47a0

Size: 15,975,356 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 77b2ddfbe379aafeefa40b993dc665faa3694046
SHA256: e203fbb5df5e23f5febe7282c18fdf3f383fb9ebaa9b965187b931a0092f6b1e

Size: 2,862,564 bytes

Other checksums

Submissions

gbzszxft
Submitted
Fri, 26 Jan 2018 12:44:45 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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