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
Sun, 12 Apr 2020 00:22:16 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Sun, 12 Apr 2020 00:22:49 +0000
SHA1 of .buildinfo
ea57173fba536289451ff48105b26a76821d0739

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: c2ca6bed12bd3b0e8b81497ad5530aa4a8bebc1c
SHA256: 4a3b11b0a3460ec58c4db3be6005c54a27a71fc8607357a15cd4a98c3d071f95

Size: 131,436 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 896e0cc70122f44d42c36047e8207024c1c05c21
SHA256: f57b6227222bdc26cc1ea5313afd05e1ef2f4e5f7a240a90f7028e8a311e138b

Size: 7,917,948 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 3996e9fdd3a4ef4c08667245b10c7396393df5a8
SHA256: dfdf84036e9a30664835e5052f3472507131e6879a63ec88fae78f93c7dc1639

Size: 131,020 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 30cdaddc88ab7c5bdbb97a02bcbefff6db4ef6eb
SHA256: 7984d729d6ad4f65068ffba3bb9eae9f5412f3398cde2f398ce9eed06e34aab3

Size: 168,576 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: b2058c2a97cb82755065a8430e3e343697009a4d
SHA256: fde4328951e28b40787511f1ed68a7826a0a855956c675dea3b9076c5b5f69cb

Size: 23,338,272 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 2fe6a21a452deca4fe0848e78ed6f8e9a2101921
SHA256: cc239d9f2916c070e13d4aa2592cfc7e99de418fd7c7359aca5bb4f100f05984

Size: 4,342,896 bytes

Other checksums

Submissions

p9bzfkej
Submitted
Sun, 12 Apr 2020 00:22:49 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"