agda_2.6.2.2-1.1_all.buildinfo (view)

Source
agda
Version
2.6.2.2-1.1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 11 Jan 2024 21:06:14 +0000
Build-Path
/build/2/agda-2.6.2.2/2nd

First submitted
Fri, 9 Dec 2022 14:43:21 +0000
SHA1 of .buildinfo
2d0f35b37835fdbefa460df199677e5101990b9b

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: 641fdd40cd4060f16fd30b9d593d1cffbd3600d8
SHA256: 29cce00fe8214599f61082d0ac4604543cc376ee667574a8254f0ef3b8c5137e

Size: 12,316 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 9863b03521812170d28b58f6cdce7e3a2e8eac18
SHA256: 7462513c15b0881ab13a88c24d7fe2299e2429a7d9af47a5cff88afeb48e62cd

Size: 7,752,260 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: 6be4942383a225368f2f3d0b13707831df05aaba
SHA256: aa620b76b21e5583e01c2a20620cdee2c3ef2c0d5cf1758f599e978687916151

Size: 50,944 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: b0793c94400d4a9dd4d29d1c5198b16f584e9040
SHA256: af2f7a0c35e28ac4e6c8e84ab4005e97784f2853fa8b532b2a7c76bf03ff50ad

Size: 24,853,356 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: d440e6bb635981e898b74d718590e894f1f4bcd7
SHA256: b67b78cbdad2f28a4ffe47ca79512bd5d486695dd59ad7c74715e795afbc371a

Size: 6,600,128 bytes

Other checksums

Submissions

azkathnb
Submitted
Fri, 9 Dec 2022 14:43:21 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1670342260"