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
Mon, 10 Sep 2018 21:46:50 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Mon, 10 Sep 2018 22:07:37 +0000
SHA1 of .buildinfo
5a47157fac1bb4069d8358f93b2f26aa2ebb2615

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 97eb2a65d84972c5ca55a2c5666bb496d8f9518a
SHA256: ad5dd76fc56e80bf9cec8cafb2da5704d856fdb2d15a3f7c255df562d4fca64c

Size: 80,222 bytes
agda-bin (agda-bin_2.5.1.1-3_i386.deb)
SHA1: a9d1d0ae2692c6c3efe652f157cfa0a20752211b
SHA256: 12ffb50eeba0e635d8d4a009a3878d722e32d0719a34affdf5bd1f51befa1a1d

Size: 5,478,834 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 1fecb78341a18b0ae455975169310fa0f9a63466
SHA256: f36e298b984d40f7994ccef193b1a21ab6963310f3a68b7a13d5f0fd35c6d4f3

Size: 79,810 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 128f65598846d16c2cfbae3992811a1a010af9fe
SHA256: 60c896df715065b59c6cc00f63f66e77fe1415aa8a373aac70e20a6b45795022

Size: 115,388 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_i386.deb)
SHA1: a5a3b4d51f9056f13686c7e6f33c218e8270d132
SHA256: 5f7282e49a044b6cc44ec43d5f5cee7f97bf6f73b48295efb994217ac590f96e

Size: 13,088,974 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 32d341f0889e18dcac5041e1fe7e2f193ca942cf
SHA256: 9f32b002fffc9347d3cf757c963924e20c521d1a7cad49dfde5fb2dc46c1b4ae

Size: 2,655,578 bytes

Other checksums

Submissions

mfzck4nf
Submitted
Mon, 10 Sep 2018 22:07:38 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1477607532"