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
Sat, 14 Dec 2019 20:17:34 +0000
Build-Path
/build/2/agda-2.6.0.1/2nd

First submitted
Sun, 15 Dec 2019 04:55:25 +0000
SHA1 of .buildinfo
847557d6fdf2b6d207986fe25f91357553fa6d9a

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: bcc605de5c969653e08a944db9af077140b5a2e2
SHA256: 79b1d656d70b3129b1853d85c5a3a528162a2d814f1cd9c99c349cf5ee98e214

Size: 131,352 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: e50ac6224057f2817812c2dcb4231a2c32910a74
SHA256: 97e84651c43d8716b685ba1f4d7ebc9c306fd4c54f7d0c36c4ee755ee04786aa

Size: 7,918,628 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 5db59ecdda74ae3c727185b648bd8b974079c8e9
SHA256: 1d2c5e6d1182ca32058697f0099494e940e357805f1a39916b293377c7cc263d

Size: 130,940 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 53b21f2e82679b2bfd17a4aa7a615027aabe7d32
SHA256: 8c63d44426c93562753ce45eda95a953b5417cc2880b325364f19224e9c9771c

Size: 168,500 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 24d4131e3967b1f3970c5741144d4e44754c89bb
SHA256: ad7b1ee3708ae35242bd34e108b0bbb08f0c93a423ae3d91d710b322fc31e325

Size: 23,336,280 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 64eccdd1bc8aa701573bc95ff4f8dca7e884b4e9
SHA256: dad42584055dde2079f6323374f294653520bd73efc37b9289e5548abf7f502f

Size: 4,342,760 bytes

Other checksums

Submissions

wspcdd4c
Submitted
Sun, 15 Dec 2019 04:55:26 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1567260153"