agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 25 Dec 2021 13:56:10 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sat, 25 Dec 2021 15:53:35 +0000
SHA1 of .buildinfo
4c47ee4e8ad5a56a08dc019a53aef73c256586a3

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: e2ea081f766a0a251ea0306fede400c7adaa3468
SHA256: ceb9baeda528b8a80507199b0ee36f087267ed2a6c073036719069afba7da927

Size: 28,928 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: d870e16cb7ee96564231468220154e84d24f77c7
SHA256: a5a266d90ce3278cc31a008962b91223eadce25aa841a18666975fd07a927a28

Size: 8,910,052 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 573c233305e14579b35c673fde9240883b52060b
SHA256: 24890db6849ab6d8dc1222531387beae3884ee03932959c7ec6c466753f10355

Size: 67,072 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: a5f8637ac1b8d9a6826bdb869af32a6bd97e7188
SHA256: 9984b025778febc15f6857a03a3407f3bedb869df3226c948a75d3bd05232ab3

Size: 37,937,464 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 8080d00134ab1e82a89368da563dc13bdff841dc
SHA256: 193018b44068a807947748283a463bdb795289b6b2839d230c48e5b971e0453f

Size: 5,913,316 bytes

Other checksums

Submissions

mw3frurx
Submitted
Sat, 25 Dec 2021 15:53:35 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"