agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 28 Aug 2020 18:29:27 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Sat, 27 Jul 2019 12:15:04 +0000
SHA1 of .buildinfo
9727e15ff3b52e4eea545746d73855e7f25f42ba

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: faef25626a3e712ad7ed8f5d401b7c508deb0b21
SHA256: eb69aa7ff2a8979f61c69bd46ad4aa2003cdbb09ec6020de62fef2daf2c5348b

Size: 117,956 bytes
agda-bin (agda-bin_2.5.4.1-3_amd64.deb)
SHA1: 3f1074b7300ca56b7f350664a586e64835c7c3d5
SHA256: 0ffdea1d3307873b60622dc0a4915f4966c05dbf2e2db9dcbaf3e6bb783ed012

Size: 5,867,728 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 800c11a166d5a0bebe30246e6bba0b6e96a411f0
SHA256: 6c900b503bd0823c34a798f4f41f9239a9ecadf8296c6685490c6710ad27fa8b

Size: 117,532 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 59536365fd23f342c50d49275b834dec971d51e5
SHA256: aa2c37812ff796800c948e3d3a15b904647aa81cc4f608172128137335b9debc

Size: 155,496 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_amd64.deb)
SHA1: f337184aa920add57c0c0f66e0ec7fe821bf654c
SHA256: da5295debad1cfeff1df630cffdc5c733f520981f30342d154401013b594ad59

Size: 17,171,516 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: a5eda57d3ed3ca504fbc877e7ef78f9e882c03eb
SHA256: 3d98b4701da54b17cabb06cfd8005f4bb280922a84530bbfdc6236bc0a332a50

Size: 3,789,828 bytes

Other checksums

Submissions

jjozbrp7
Submitted
Sat, 27 Jul 2019 12:15:05 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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