agda_2.6.3-1_all.buildinfo (view)

Source
agda
Version
2.6.3-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 7 Mar 2025 05:30:35 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Fri, 2 Feb 2024 23:07:49 +0000
SHA1 of .buildinfo
1def8280014c467badfe43db4a42878b3b765655

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: c07dc1b2e35844710c184a2a13224f23373630ba
SHA256: 2a97f1e914deb2e7498c38ae63a3c6865d4bf7351c67a777bc8c5fe3cab8eea0

Size: 20,144 bytes
agda-bin (agda-bin_2.6.3-1_arm64.deb)
SHA1: f653bd3a185c7683cc13d7edb6a77f9a3c9e2594
SHA256: ff0ae42ccaf48c4a40fdd50fcc3078687c225e65faab994316e4ad98da082dcc

Size: 10,310,244 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: c3ab77b98d101e84919a7d542ab1c8e781722037
SHA256: b90971cd83e55811f120dc29b5f4b522be2496b3e7f935b68bef2b0405da681d

Size: 59,256 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_arm64.deb)
SHA1: 5837dce35172d15251f107381c600cc65e05bd90
SHA256: d2e9f678ba9a3001f9ca12c632cbcfe1f2cb8e816645dafb7e1f91cc86d1d8f4

Size: 25,420,832 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: d61d9f94eacfd5e43fa8a33235c52bdbf8791e0e
SHA256: d0ff66db6f9285d3d80105ea630205c4915c60f9591ddc6fcf4b05da19171b65

Size: 7,023,280 bytes

Other checksums

Submissions

733e3rrv
Submitted
Fri, 2 Feb 2024 23:07:49 +0000
Signed by
0x8C42C611576CA54A

Environment


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