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
Tue, 8 Dec 2020 21:23:08 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Wed, 6 Nov 2019 18:29:02 +0000
SHA1 of .buildinfo
d4e9cefb9d822e171fb12eba199306030b92047a

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 2c4afb5aa8caa4dbd459cae85b9bfb3a2d691e77
SHA256: 1f30797105ae304eabd5fdd30b383668d7de86a3161c778bb730d5c4b029390b

Size: 131,332 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 581aadb7933ea66268f9070fd3e30b0b9ec11c97
SHA256: 0bc767e42d14f5da22e8cdaa99e57d988325b6ff3a786fa40c04b6a89575b91a

Size: 7,917,644 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 104b34784d5bc7c0e77f67f0ab272e86390bd908
SHA256: 294b27983c5623a14743e4b1f1b7ee25bdd6bca78a0f9d121ff79b5a21312943

Size: 130,920 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 170d13086dc2e28d4f63048d9f0cb3bb910e9a88
SHA256: 1bfee26ba9b309f09d3ddf3843646c79b2eaa8fe687a19e37d40927c4a928edd

Size: 168,476 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 1e6410bde2874960cf4acdccb53c14768e3ba152
SHA256: ef428289c3aedf6f2126a721e520b054a84e9d3664de9c62006dc4ca07678bfd

Size: 23,336,332 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 7c413cbca39ac8ad730dd54a12a42b21ac12a755
SHA256: ae4e70d73080254953a8a9f34c6bfe7d31f1ea9fdbc0f434fd9f26e4125106c3

Size: 4,342,752 bytes

Other checksums

Submissions

d9xrdgg9
Submitted
Wed, 6 Nov 2019 18:29:03 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"