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
Fri, 7 Apr 2023 19:57:16 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sat, 5 Mar 2022 15:06:11 +0000
SHA1 of .buildinfo
b6f603f5867e5e7973c16a80ec29cb72511851c6

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 911d70486e6667228ce6f510a1f93ae020c8d818
SHA256: 48816cb7d68ad34c371942fa640125667a1de5d7e2cffca8307c5e7ba33b01bd

Size: 28,940 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 7eca84a79737ab3935d67c3169300f05eb30cbfa
SHA256: b138351abd552f5e92637c08802b7886c65684348d4e9441ade2b4a5eb1bbbe3

Size: 8,910,336 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 22c3be69774e4dcc2d790c3e12331ca8e60aeb42
SHA256: 8cef20a22ca1f8c28af6bb9dfdffaa2aefaaa32290fd56201946e267b66d9958

Size: 67,040 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 7bc40fc8534f36624b7fa601fe465fccc08da0dd
SHA256: 3360f1ababf9820db4837f575f7be66b9f95590fbea3b9bf7c0202bdbfc25d5f

Size: 37,934,548 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 1aa0b34e0155a044bbb01812025361d11bdae1a2
SHA256: 9dd131c4b0b08fe49b575298057cdc34c326202b430980875fca0424acdee18d

Size: 5,913,284 bytes

Other checksums

Submissions

k73cocws
Submitted
Sat, 5 Mar 2022 15:06:12 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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