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
Wed, 26 Feb 2020 22:58:51 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Thu, 24 Jan 2019 16:36:08 +0000
SHA1 of .buildinfo
fe61e1bbdb143b9d438101c75c1e779b5b3df1a4

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 46234ec1e991db543d6eab3a074375b81a5e7999
SHA256: d56b0e739da93c85c399040bb61c39e87afb544843c494b4c313755aa5d286a0

Size: 118,068 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 71d207b907c7b9047c36664c7f2494911feb83ca
SHA256: e82b7390dc081df6678bff5d73dfcac941e45ecb96831f5d293378e2398ed447

Size: 6,780,616 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 33082671a0c7d901541cef2eb219bea2d6a54766
SHA256: 4460e71f2b701cf79af7d6192729fd23fddaa1ae5a0589158f776248e10c65a8

Size: 117,648 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 3f83929aeea076ca53f0ffdbca2098af3ef1fc45
SHA256: e6641936f0013cd04c8ee3d23b414467d131a7352c7226f9dff9c5972ccd2823

Size: 155,608 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: d17cc5cdc3d70da306f62dddaa78b5dea8fe47e7
SHA256: 8f1751c23df42be7a8a80ea253e761fe8cec3f2fe7e98955fcbb0bc78cf0e912

Size: 19,736,324 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 521ca17b677edd8f773c0d02983d34e51ee83669
SHA256: 3895a4a64a31cb56b19fa48cff24cbdc290d99008a3d2c26a35863fb847d9aa9

Size: 3,789,760 bytes

Other checksums

Submissions

ihqms4zg
Submitted
Thu, 24 Jan 2019 16:36:08 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"