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, 18 Apr 2019 20:18:11 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Thu, 18 Apr 2019 22:59:15 +0000
SHA1 of .buildinfo
5efd8eb69cf7abbd256bfccdd5f35be8ecf72ebc

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 44a500f496fa3ac9089c76eb58be6deb48f3ec8f
SHA256: 4af7475fcb80599f5169be0cd7e3c5b508757b009a1d68d6c44d07852085acbb

Size: 118,028 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: 30bae7771f96fa209df22cce32f768ebabefab61
SHA256: 8c308f3f54cc4e971fb2fe1060f34350eb228dadad54e97e1f7c064c1530198f

Size: 6,779,848 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: fd803272871eaf97349f738c3b273c74dce281f0
SHA256: 964441b0ccf31b8a1565022a883079183b1820cb997fc9fc9beaa114167f02b2

Size: 117,608 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 283c33e47fa3c76655c9858f736de3d74191a528
SHA256: 8146a732bd4281b040dfcc9fe4fb89495818f2b931122e95111050fa5ff3816c

Size: 155,544 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 46d4d58833cb8252b8bc70781c15336d10ae1e42
SHA256: ede393affb2eaa3a8b395859fddb32bc1e33df07329748b122a8cb401dd88de7

Size: 19,736,488 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 45cc2161c2a5ee3d5c009121503f528dc56ff259
SHA256: 5f80b8ebd0c74e2e53484171789c853fda37316019588701c2ea5ca7390d8270

Size: 3,789,840 bytes

Other checksums

Submissions

kmihypqr
Submitted
Thu, 18 Apr 2019 22:59:15 +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"