agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 15 Apr 2020 07:47:24 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Wed, 15 Apr 2020 07:48:06 +0000
SHA1 of .buildinfo
59c2a487f6f7270fd8db1c4747b75ca142a6a333

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: f17dfc6b2f84b48a9aeb9322598a02bace3b3202
SHA256: 922e7719f6b88680d8dfa1d6a4876935f4020d1be18b778803b9d0a7e5ba1572

Size: 131,328 bytes
agda-bin (agda-bin_2.6.0.1-1_i386.deb)
SHA1: 0c7bf721801627b84b071f24a09ec3eff02f8391
SHA256: 367766cbec5b0e67320baf8c531b8ec53cb5a38b2c1a4e1a4a7e06a9b131870f

Size: 6,767,984 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: d40d35511e69e60842f8937ab9fcf16266bc7cee
SHA256: bf6e13262a12f80c7d7e8955695d15c874261cf54d3040fba19e971555da90ff

Size: 130,916 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: cd5b4bb09eca3b71903e851d000fbd25af9d0a9a
SHA256: d41e51068808fce6665cbdc0268c2dc12973387d774cbd047313dddf25aefbe1

Size: 168,484 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_i386.deb)
SHA1: 3faf6fa500a21b884d931e4a55c003adef028c19
SHA256: 689c0dc45a247976ade620c0c88a313b56b961602c4c914bc185be03906e71c6

Size: 19,506,220 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: f45f1c9a7088674c0a3b0bea422a32711b2d8ff5
SHA256: 785907316c2ef0ee72a81b5ee0553e3c279786912fc1f7ea73b29a1cbafbcb82

Size: 4,321,036 bytes

Other checksums

Submissions

v7egwfrm
Submitted
Wed, 15 Apr 2020 07:48:08 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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