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, 14 Oct 2019 04:29:47 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Mon, 10 Sep 2018 22:07:39 +0000
SHA1 of .buildinfo
e9d176b38f4b34cc10100d6b872982c01152a775

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: 06f9cb90bd57b9a21be36a679b290fbb03f16fc3
SHA256: 0bff8f81137d79b5e4bcaf66e3fb630559e685943e2d25e083e019189164ed4c

Size: 13,089,090 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

7kqb9gzj
Submitted
Mon, 10 Sep 2018 22:07:40 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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