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
Mon, 9 Jan 2017 06:50:34 +0000
Build-Path
/build/1st/agda-2.5.1.1

First submitted
Mon, 9 Jan 2017 07:32:56 +0000
SHA1 of .buildinfo
e5cb97b195e974712f54c0ebfa827f4345709bcd

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: a8690bfabc4dd8f70fac98983dc283a04e13ed69
SHA256: e377b90a1c88c5f208427f57a307c06d4d5cf75050f1c668777530afa0693784

Size: 80,130 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 5d3f8e62774afa2e8d6e894840c07e1aeb319642
SHA256: 3b2db45d250deb38b0582589a8a46a5430b0d9f9bd24fdd48926fd1ebfc3e2fc

Size: 5,222,926 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 72e9312a90866ed261622a4443af4a0549203c13
SHA256: 0e2f9ff01edc24c4cdf4356f54e1428e98eb86d1ed910a2cc577186fa0c63d0f

Size: 79,706 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 58206ad68643a4342e78d232edb613dc45a3ea10
SHA256: 7f8463e35a77e75bfb2fed81b81a7dfeed82a658605d6249ceb90e30efb44d64

Size: 115,304 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 00289ce4f3d4e616f0dd97d6fc956dab8ea48aea
SHA256: f146487504f387b08fc61f7f1bdf27a23f18173ce574cfd33b5a1249e7da5d41

Size: 13,240,500 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 0b2d27d2db5279210eaba9996b6de212830e50ea
SHA256: b2513aa05c8fb1234d867b88e6eff1edc446488f61620ab86c1af02ddd49d2ed

Size: 2,655,396 bytes

Other checksums

Submissions

qzxogezb
Submitted
Mon, 9 Jan 2017 07:32:57 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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