agda (2.6.0.1-1)_2.6.0.1-1+b1_mipsel.buildinfo (view)

Source
agda (2.6.0.1-1)
Version
2.6.0.1-1+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 27 Jan 2020 11:04:56 +0000
Build-Path
/build/agda-48sNKg/agda-2.6.0.1

First submitted
Mon, 27 Jan 2020 13:03:53 +0000
SHA1 of .buildinfo
5cc05dc84cd9bb2ada746bf47fc90010ddf974d2

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b1_mipsel.deb)
SHA1: ac88a822fcd489edde945c300597e56d4650a990
SHA256: 521cd2b4017be513033dee0e299b46ed3af4ab2d4024344336b704eda8b0ec5e

Size: 11,880,472 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b1_mipsel.deb)
SHA1: 8a983aead47277796e5fd5226d1698013ac6dbff
SHA256: 2925927bdeea2b4856dab741f60eba09cc0c27dba3bf416953aa9a4a48765d0c

Size: 27,182,628 bytes
libghc-agda-doc ()

Other checksums

Submissions

ghdsahuw
Submitted
Mon, 27 Jan 2020 13:03:54 +0000
Signed by
0xC0BF082DA8AD6020

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580098848"