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
Thu, 14 Mar 2019 22:01:54 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Fri, 15 Mar 2019 01:17:33 +0000
SHA1 of .buildinfo
11093f3e316b4ee17577834631d63150917964bf

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: ffe8f758ee7b7bcd8dc43054d9da772be2145fc6
SHA256: 3202f068f1289207e04622f67d57260598eb5865e255086e90fd807de2d5139f

Size: 118,024 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: de4071b81243514e981083a8bd7c373a720b7f71
SHA256: 6ba20b7012ce2b677a7ea8acdc5f3e125a24f84b50233b09c9df01eb2ff94942

Size: 6,779,756 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 87c50f11120012ed81006535ded13e1bb38a2cb2
SHA256: c770af7dcd7d4f06fa4b523071729a30e9bc6d74fa496a4b58ad52b65ed9e396

Size: 117,604 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 7341246a6ec6f527799433b6772c2fc6a4f94042
SHA256: 6f861717c4db25fc91b1b2831e51c8ea89d18e1893527fb37e36e222add04add

Size: 155,556 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: a52d78dbc1ecd3407b08dbed43c2369ec28c7a0a
SHA256: 82ed2bd36ce4207a7ff11f841a9c493a8036ba374bec826530fb4dd0555141a3

Size: 19,736,548 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: fa70fae5b7bc263c6e18add9486ad8ae22ac0ec4
SHA256: 6908f4efa6c418376e0c53fa8eaa9a5ac32062970cfe0e001595c7092fb789b8

Size: 3,789,824 bytes

Other checksums

Submissions

zguerw7s
Submitted
Fri, 15 Mar 2019 01:17:33 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"