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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 11 Jul 2018 13:08:42 +0000
Build-Path
/build/agda-RZXoqQ/agda-2.5.3

First submitted
Thu, 25 Oct 2018 22:05:27 +0000
SHA1 of .buildinfo
5188b5fbda63ba8845dbd4e726b2ecdc09eb2288

Binaries

agda ()
agda-bin (agda-bin_2.5.3-5+b1_i386.deb)
SHA1: 4c162015bf81728dd249d89d663cbf62b4084b8e
SHA256: f64b234f3b45085affd9642cd17a60f5d7ecfb469602976eccdb2fbb5602b71a

Size: 5,957,728 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.5.3-5+b1_i386.deb)
SHA1: 092bf699943ea1b05dfdd2681542a1c9c1c03f86
SHA256: 37ed0202390cd174c456871ce22557e208d357b465ee70066f25ae27c47722e3

Size: 15,775,596 bytes
libghc-agda-doc ()

Other checksums

Submissions

ih3yzrom
Submitted
Thu, 25 Oct 2018 22:05:27 +0000
Signed by
0x15F701042D3F0B48

Environment


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