agda_2.5.4.1-3_mipsel.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 22 Oct 2018 00:23:01 +0000
Build-Path
/build/agda-TcWSuP/agda-2.5.4.1

First submitted
Thu, 25 Oct 2018 19:30:11 +0000
SHA1 of .buildinfo
215aa28ab75fa72ee4da2b5ebbdddedde648a54a

Binaries

agda ()
agda-bin (agda-bin_2.5.4.1-3_mipsel.deb)
SHA1: e4400eb4f3afe7c0551b1f80a3f0a5fb8a0332ca
SHA256: 28330db49f58ef8b2e8e7b709cea2e54373b26f95741322054dcd1345e3f7f70

Size: 10,033,032 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_mipsel.deb)
SHA1: 24f0fd426ee8e6e55b48c03cadaaac17c162b6a6
SHA256: c8675e3fd616bca9763a11082bce782dc6c7d2808b5b48af286a6e89270881e4

Size: 23,012,248 bytes
libghc-agda-doc ()

Other checksums

Submissions

iwqn3zxm
Submitted
Thu, 25 Oct 2018 19:30:11 +0000
Signed by
0x19C73F8BBB39A447

Environment


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