agda_2.5.1.1-4_mips64el.buildinfo (view)

Source
agda
Version
2.5.1.1-4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Thu, 6 Jul 2017 05:34:34 +0000
Build-Path
/build/agda-wytLfi/agda-2.5.1.1

First submitted
Sat, 27 Oct 2018 20:56:12 +0000
SHA1 of .buildinfo
c1e83a40e457238be71879b833649b702b6983fa

Binaries

agda ()
agda-bin (agda-bin_2.5.1.1-4_mips64el.deb)
SHA1: 824e8062178688946237d0e5b75a77a10b03a4b5
SHA256: f7f561aca170d09ff26196ed4306ee60aeadb1294b4cc0bea61fe0b7ae665d81

Size: 9,904,860 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.1.1-4_mips64el.deb)
SHA1: 1c7ef61718101832446543f0556e946dae554853
SHA256: cd78e94495f2672a13c002b8460d8e9b5a6fdac09323d4d774e59c85e20ea419

Size: 18,982,464 bytes
libghc-agda-doc ()

Other checksums

Submissions

eictqxdo
Submitted
Sat, 27 Oct 2018 20:56:12 +0000
Signed by
0xDA158D8C164EDA41

Environment


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