agda_2.6.3-1_all.buildinfo (view)

Source
agda
Version
2.6.3-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 4 May 2025 22:08:30 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Mon, 1 Apr 2024 15:45:42 +0000
SHA1 of .buildinfo
f56f47c18f97d5e592e8e41c27e9916fd680558b

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: 92baef7e9b730471a81c54e8a9d03340da527802
SHA256: 42ada3e18114e779d2d22bee5d9aa38efb82ef4b65780ed573d417732ad26478

Size: 20,296 bytes
agda-bin (agda-bin_2.6.3-1_amd64.deb)
SHA1: c5556b78b560cd2a4be8094bdf2a67a4a5eb7122
SHA256: be7ddcdd4701f0ad067f7ce8441905b2425293db79a4a90bfed4c33147fdf442

Size: 10,253,044 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: d9aa5187877b9b068b720ed645d08fbc15efd063
SHA256: 20718b8a6bd44e16f889128a5d1f185f3518c8f75c7466381445e689a901d2fe

Size: 59,416 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_amd64.deb)
SHA1: cc9f451b0a91390b123367492696b671c26c6ec8
SHA256: 4d4f4a1724442ecc856a0fa579ddeaad024e00ae7f7673ac898414afa7f2745c

Size: 23,639,912 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: a6d239dd774063c4b119da8a7b0b2b639b88f585
SHA256: b907ba82bf50a7f6198103dd46739073fd269e442d02fd29ccedca4b20c3c1b6

Size: 7,061,408 bytes

Other checksums

Submissions

chpcnkmm
Submitted
Mon, 1 Apr 2024 15:45:42 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=42 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1697209066"