agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 30 Oct 2021 04:24:31 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sat, 30 Oct 2021 12:30:34 +0000
SHA1 of .buildinfo
f9e67d45073b05f84dc5ebdb15fdbac8792090a1

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 7df5cc0362a1d4803d9758456efb5521166c4cf8
SHA256: be36281c6f9fd3c300943b63296a541752514820eb97308e51e74d43ce665a16

Size: 29,060 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 71025a7e551d64ad7bf87b0da39f4b02ad4a6b7b
SHA256: a108020879e235ed3bb785538fbce415c7b7d80f6a7681424b5e8d4963dc6f7c

Size: 10,366,808 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: e40779d83960895e48a8f676db449dfb43086334
SHA256: 233af6879a4d1be20404ff10b3b4d167a6e52edd74e50d3382778c14900195d4

Size: 67,160 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: 7d4282356832a93b743e533b4018111e64f6b1f3
SHA256: 713377a721398dd299295f35aab1f905701982ca0c0ac5e8d138f2bff2703d21

Size: 44,806,932 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 81de416bafbc1fd1e31df59fb6cd502be2f3775c
SHA256: ae6e8488a32626037cdc29274bdb0ed7885c10b4517dfe906677972abf204358

Size: 5,914,420 bytes

Other checksums

Submissions

hud4vmjk
Submitted
Sat, 30 Oct 2021 12:30:35 +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="1596036884"