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
Mon, 26 Feb 2024 20:58:39 +0000
Build-Path
/build/reproducible-path/agda-2.6.3

First submitted
Mon, 26 Feb 2024 21:21:28 +0000
SHA1 of .buildinfo
76e5ec3b5c6edfe94161516d2b0a8f0726801b4e

Binaries

agda (agda_2.6.3-1_all.deb)
SHA1: 4328f5fdaee5c51faf87bd83e36f6fe8f6c64188
SHA256: b384877ad7b782d892b500cda631dc54201be4e785fcbe52c44705e87b2c6e58

Size: 20,284 bytes
agda-bin (agda-bin_2.6.3-1_arm64.deb)
SHA1: 1d82ebe2ccc1b5c5aa37ddab8ee7b8fcc467b4d2
SHA256: 66d01ade2e919879ce8fae903f80dd845711f7d664dbf2f2c8a944d4843d6313

Size: 10,310,480 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.3-1_all.deb)
SHA1: 19a0ab358248d85b2df060cf1eb80a2fafa23c32
SHA256: 736571d4cc1d382a3ccfa947652d22b503a98bb24c4dc47cf9e6be8c9dd8b2fd

Size: 59,408 bytes
libghc-agda-dev (libghc-agda-dev_2.6.3-1_arm64.deb)
SHA1: 709ee391f2f499e4dd6c66b4165dd9f0faa1b510
SHA256: b4b4efdd310e971e03ea752f2263e360226eb574f611367098dd70de887001fa

Size: 25,438,928 bytes
libghc-agda-doc (libghc-agda-doc_2.6.3-1_all.deb)
SHA1: 52b3c54a1fa5a6bfaaf5fee2ba2d53adb68297ff
SHA256: ad3baa493d2b058d499c6fb5560dddbacee3bfff46fbe99a72ef4dfa26ee10fa

Size: 7,023,320 bytes

Other checksums

Submissions

qfedxq73
Submitted
Mon, 26 Feb 2024 21:21:29 +0000
Signed by
0xF088F61B03D475A8

Environment


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