agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 31 Dec 2018 23:34:13 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Tue, 1 Jan 2019 02:16:20 +0000
SHA1 of .buildinfo
529f0360162342bfa7ed72d2c9e9f4bb53da4f72

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 555bd33986b743500b5cd5f484dda5146a17da33
SHA256: 89f1f1524f3475098367542b59cc7218d01d8a0a4bf3f4c61518e16a5f062c14

Size: 118,072 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 23d07581f92fc7ac96235a0456a8b03ca5583b18
SHA256: 9280aea4902bbaaef95dbf3e0a9f8c067a83976073ac13cd57ac3a7d74829917

Size: 6,780,152 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 3360b4293210a83d701606806f2dc03f2dad33cf
SHA256: 314e34d97e9665ebd7c314ec016754a215b0f73b1ee08e7235f71460bb0357e9

Size: 117,652 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 27c3cfa55f0df54939bfebdd77f263863433da99
SHA256: cec51e5e0f7ec5d4065bacd3f40012199e0f6e9c51a26ff063ea4a57bf391898

Size: 155,568 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 816197a0e5d021dd65cb9996cb162f38ace28877
SHA256: eb1ff478597daf5f20ea47c2cb19d93f7422810228168784c26662ad25f62b4e

Size: 19,736,516 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: e9dfc4a21a7d498c00693adc8a7ce1abb049747a
SHA256: ad58da72295c4ae0f53fc7b3c71ff98ff685e25b59322094bfc5b62c2056591a

Size: 3,789,756 bytes

Other checksums

Submissions

wkawnr4p
Submitted
Tue, 1 Jan 2019 02:16:21 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"