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
Thu, 18 Feb 2021 04:07:55 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Fri, 17 Jan 2020 01:09:29 +0000
SHA1 of .buildinfo
2535374f1a580908365115ef6e69a4fb67b05c96

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 329b3a3db323ec7dcebe56d3292ed73e8e1f9390
SHA256: 051cb6d5df330bba0c8c9ec863dee55a9e13b077721d6bf2c1ec86809947fefc

Size: 131,352 bytes
agda-bin (agda-bin_2.6.0.1-1_arm64.deb)
SHA1: 709fd947aeb27504c52d55f535c40ea9ebfb7734
SHA256: a209d2cbb2f1f7ce221a006e087539c89998f743222cf8e10d5ed84cb945e3db

Size: 7,919,032 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 5cdf92cf76d37bdd5210209b62a2c79be857bd68
SHA256: 25cf88e586a7e9bbb5dd8fb9d735a317c2cb392e1f607c43c1d0d1ced7bde182

Size: 130,940 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 46afb0cee8fa04e582211142e0e4c6202d2606c6
SHA256: 2b71892139e9165d6ad7c580e5af5245f869927fffe5eb16052cfeea569bb0b8

Size: 168,504 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_arm64.deb)
SHA1: 53fb98bc230aad23fb45b3bbc61a0d69451c757e
SHA256: c108e0515e21a7402219eea352bc2c152fd52659967830009f9efecf1f6525e6

Size: 23,336,448 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 7ec6ba6301339302ca2b32ff348c63bfcf0400b9
SHA256: 7ad54fd69f8b29ef3f8f2f50e729f8409f9ad2f92f6be7338516f9f6973437bb

Size: 4,342,756 bytes

Other checksums

Submissions

rd9cvp7n
Submitted
Fri, 17 Jan 2020 01:09:30 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"