agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 30 Aug 2021 02:15:00 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Mon, 27 Jul 2020 19:53:56 +0000
SHA1 of .buildinfo
f8f9398f428ac902e9d9ef57a52ae0f5f1057633

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 3b65a54f4f3ad54415d4a0bb1cdfbfb6bf71bc46
SHA256: 92123d9b5c1ec18187254648e7693b106bff917200565c5d120e1dee7ad46860

Size: 131,344 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: a67566cdbf1c6bc303e0bed66293ee09611b3b05
SHA256: 478ddb22a86d81850b38035c85c0c0e7620a2d1d11e267d1121a92dd2a83fd83

Size: 7,917,932 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 168606ca1a35b60e8e479ac71ae5c5696769bb54
SHA256: 2c37b9496112d05506fafd34805059d0f61ac279e4610ef24bfedf55fe5b94d5

Size: 130,936 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 4949681a933b82f2670252cedc58213278526092
SHA256: 04dbf3e680cd4d7a5b5c2b8b731948b7ca05fe9c11ad893b3d285e4b1a10bd6b

Size: 168,492 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 336a68bc18832df865ed333255eaaef4dbbc9c5b
SHA256: 017b0f3c3a16d871e796e899e5fd56d8e109df4bd6c318a46852a3d2616fb448

Size: 23,340,040 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 8eeba56aef34ad5ca123496089752a3b7914f835
SHA256: 0a21945cc4b7047611ecc89b2f442674f9dbea9d47f19b2246e90f942ca8b937

Size: 4,344,960 bytes

Other checksums

Submissions

syg3pqc9
Submitted
Mon, 27 Jul 2020 19:53:57 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1567260153"