agda_2.5.4.1-3_mips.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Sun, 21 Oct 2018 06:37:22 +0000
Build-Path
/build/agda-8mIMHR/agda-2.5.4.1

First submitted
Thu, 25 Oct 2018 20:00:26 +0000
SHA1 of .buildinfo
ed9f9995460ba46e32a6803ae444a6d61a5cef5c

Binaries

agda ()
agda-bin (agda-bin_2.5.4.1-3_mips.deb)
SHA1: c895feefa6434ee125e473081cb0695846a49b99
SHA256: 999cc32c6b52abf93cdc39efcd772f8375732719427a10999dd172ed356e98d8

Size: 9,715,088 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_mips.deb)
SHA1: 86e18b2eec4d86e8bf69e48836d9926c0d2d5461
SHA256: 3a3094d8c1d68e97b79b7736feefd74c27da639b8f4dc9227c6a3176dfa327b6

Size: 22,437,340 bytes
libghc-agda-doc ()

Other checksums

Submissions

kdkjqsht
Submitted
Thu, 25 Oct 2018 20:00:27 +0000
Signed by
0xBC7E2A61744A767A

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1540066938"