agda (2.5.3-5)_2.5.3-5+b1_mipsel.buildinfo (view)

Source
agda (2.5.3-5)
Version
2.5.3-5+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 16 Jul 2018 22:51:50 +0000
Build-Path
/build/agda-y6RGYH/agda-2.5.3

First submitted
Thu, 25 Oct 2018 23:11:44 +0000
SHA1 of .buildinfo
a1e6ddfed87f94a82515f6c2c9aad3692bb6b1b5

Binaries

agda ()
agda-bin (agda-bin_2.5.3-5+b1_mipsel.deb)
SHA1: 55f0ccc29f5ae9c92bfc25c2909630b8154fec5e
SHA256: 69f9ea18ab2046e4e197fccfb77d2631969d247f1df238240fbf8baf6e625798

Size: 10,019,276 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-5+b1_mipsel.deb)
SHA1: 373a8f03627888f8476c15677a364c5e27a36ef7
SHA256: e2c4b77fbd9f76b9fc58bf5ff04cba16a16be79618d3023bb7885dec14d80090

Size: 21,329,696 bytes
libghc-agda-doc ()

Other checksums

Submissions

9joowhq7
Submitted
Thu, 25 Oct 2018 23:11:45 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1531765004"