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
Sat, 6 Apr 2024 20:34:44 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Sat, 6 Apr 2024 20:35:11 +0000
SHA1 of .buildinfo
1ed04d0059854e653eedea57227a869afdae844b

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: 113faba6c2ec216f4e95285e97d74a71d8afc924
SHA256: e5d6584741ec9ade3380ea31b6f2f393aecabc05a7ce2d63d92e9d7f8b923485

Size: 20,280 bytes
agda-bin (agda-bin_2.6.3-1_arm64.deb)
SHA1: 14bdacdef3d5a4701ec71d8f551955f019e2a9af
SHA256: 4336fafb1d3f46c9783b41f01a70598ffa4ae4f55732d7c051de25849eecada1

Size: 10,310,436 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: 8b260215bf3da7eacb0310ed11adfe51191ba500
SHA256: 3cb7023e7c97425a7c45654d8f73014abd0cc0a94dc2279144b9c78371d3d4bf

Size: 59,396 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_arm64.deb)
SHA1: a947c14b06c9e94b58fd5a34609ddda98f69d433
SHA256: d24f704501d17d3f99a5a8999acf00d41b304e6b5ee57512e7168f95dbb4ed99

Size: 25,441,464 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: 4123079b2c6f8b60bb97137b8dee32bca6f372e1
SHA256: bba8f08e37cf2e4c2b30ad5a8d7f82348723acdcd523d79175e197e43f61b693

Size: 7,023,356 bytes

Other checksums

Submissions

mz9iinuk
Submitted
Sat, 6 Apr 2024 20:35:11 +0000
Signed by
0xBF8D76BED99F2426

Environment


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