agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 5 Aug 2019 20:17:55 +0000
Build-Path
/build/agda-2.5.3

First submitted
Tue, 3 Jul 2018 13:56:24 +0000
SHA1 of .buildinfo
68f2878f1384a1efa7258fdbbc575b327fbf8cc4

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: a71331d39c2e7f925f13a8ffaa74ba974b0dae1c
SHA256: 46d7eedab00c0213e09ab97b5d11306f8f9cbcbb4e859a8bfe313a7bf6bc6c90

Size: 106,528 bytes
agda-bin (agda-bin_2.5.3-5_arm64.deb)
SHA1: 5f04c506c96aae8e573cb242f2827cd91b706bb4
SHA256: 5dfdf255ce3042998d08cedbdc9e1636d3f4aef072a9d7e998649c621904c8a5

Size: 6,636,816 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: e0983a79d211e113742bb68dba672cb9ff90c0ed
SHA256: 156a1663aa9c48d12189fa1207b6c39236bd8a20aa196e70bf0c683164aa5ad9

Size: 106,116 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 0ae5fa5c1763289ae8b37bc43cc3818487960ffe
SHA256: 1a5a6af603c9f7048cb473daf58ec14927d43c74feddd57f538e4016a03e7841

Size: 143,508 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_arm64.deb)
SHA1: 465a1e386d09844aa6c10d60bfde23d1dc4e537b
SHA256: a0d3ca4e14fd4322af25cde49ccc6f1da723888d93daf0aed3f598836c52ef06

Size: 18,558,208 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: df8aefb3cb5bbd29015c2585802dd1a9026f7d8c
SHA256: 6989087f9431de89bb24661ced776f6ac08c2dfc5363a8c4d6619b70af9e15ec

Size: 2,760,420 bytes

Other checksums

Submissions

n4ufaifr
Submitted
Tue, 3 Jul 2018 13:56:24 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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