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
Wed, 5 Feb 2025 19:04:53 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Thu, 4 Jan 2024 12:42:06 +0000
SHA1 of .buildinfo
00e205cb39bee69d32f7b6eae1cec2e6abf04f8e

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: 11e74472408b9a2a14dbce44da010e15ac233205
SHA256: 9677b09a0bee22e46eda69c7233af480216bfd75e3c164903158a1ffce702f34

Size: 20,140 bytes
agda-bin (agda-bin_2.6.3-1_arm64.deb)
SHA1: 09ac17a28a40bfcac56e1d877f5ef629eb6def29
SHA256: cb9aa0094d881cc521f96abe1604ba03982a08692a4c4c64eeaf26b537c55b7b

Size: 10,310,488 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: 7562ffa01b5742e35931ef5dbb9f0981d31c3821
SHA256: b47037f9a12a93a7b081cda6e57421a947b6b29f4d45f8e12230a2abe99bcbaf

Size: 59,252 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_arm64.deb)
SHA1: 572c529ce65c9d471b254917a5735a303f3592c4
SHA256: 86fcca0fa26215f318106ea9e079d0f3ff2d307dbf1d7bf0e4bfd44abcb2dd71

Size: 25,423,964 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: 216863467f6520509a5c712c66aac9b083b0d390
SHA256: 9172b17938b4d20f6820f274468e27b6fdbfa43204e252765138194d07e72cec

Size: 7,023,304 bytes

Other checksums

Submissions

kvcdnu7w
Submitted
Thu, 4 Jan 2024 12:42:06 +0000
Signed by
0xB2C8EDB564786B74

Environment


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