agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 16 Mar 2018 08:04:09 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Sat, 11 Feb 2017 01:59:01 +0000
SHA1 of .buildinfo
aa50473996c24ae0feed7c53afe203291911fc12

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 7e1a0c399180e44fc993043de3f3678225fe780e
SHA256: a899a9114c3e33255b5fb30d32147f10eee5e6696ac728beaee6064375ed6012

Size: 80,142 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: 1e1890545ac8efbf1177edc96140e793d2fedc70
SHA256: 6c7b80af4b9a4f0f00e64ccf9dd64426bbf2586df29f095240f32fe30183ce64

Size: 5,478,906 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 4258665d3980bb84f704408c8d46a14278150a0a
SHA256: d4cfffe6b2e5cb4bc5590d5947209fd9cb5bbcdff141c8fd09bf058e7d92d1de

Size: 79,718 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 4167f27d2f6492757a74ec86ef715205d96f1e76
SHA256: a0e0b30c4fe87e137dfe32bba0b61362f9b522e2fc45e1fe00cb92da6fd75432

Size: 115,320 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: 6a71b27ec0867fb0e7510ba779284585c4f94e1f
SHA256: 7ad08a29b6c040dcd591c9a64fc02ba9eb773051b3b265b8654c68bcc99e7ac1

Size: 13,090,624 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: bc2c81d6f410f20099ec7ce0f58f7b782717d989
SHA256: 1b72ffcf167a4fe18ba517ac9c1a043b185d63e51383eaca9b69ae7574ea5981

Size: 2,655,428 bytes

Other checksums

Submissions

gnteabtu
Submitted
Sat, 11 Feb 2017 01:59:19 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1477607532"