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, 8 Aug 2024 18:32:26 +0000
Build-Path
/build/agda-2.6.2.2

First submitted
Fri, 7 Jul 2023 15:24:41 +0000
SHA1 of .buildinfo
e09a944af9fa08e468996071f5e945664d3f041a

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: d4ad18628c9dc5fc3d4d9aa08d3f64e870dc96a9
SHA256: b77a9470f6f18dd84a1886065c1f8ac1c0e4a7431f985eb5c90440ae20856319

Size: 12,320 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 4456f406479069f100e6c80bb239de7902037664
SHA256: c0230c588a01abeee2b11932572dffd6ae875724f74c916ea7400dfbcde4a415

Size: 7,752,220 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: d025b912a2ffbd28ba1b115e3585e1726730baef
SHA256: 563d9914e87c3b871fd698f59519eca879cec2a15786003e117174e424f92c87

Size: 50,936 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 92ceaba72d6e0df92c2ca0e5b7e2e4587550a3e5
SHA256: 0090e9a36de8063e1f767166f9cf8d6341e3358f82954dce213dcd248d2376bf

Size: 24,862,964 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 6e444194ce4e96bccc002c4683bba94c8e37cd67
SHA256: 9651ad1b626a1fe28f5d187004a7549ee1d089041fcb0d231b60d10afd725e01

Size: 6,600,224 bytes

Other checksums

Submissions

yfuvymhk
Submitted
Fri, 7 Jul 2023 15:24:41 +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"