agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 9 Apr 2022 02:26:56 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sat, 6 Mar 2021 23:39:02 +0000
SHA1 of .buildinfo
c9a29f367369a551b0a886b3f0d4b2a47fc4e03f

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 35222945a723f169bbaf0b0f75c3d6675bfc54d3
SHA256: c00ae8f4bc58ae0cc74a9fdd1734b74c683e93dd2909ec06b66efc67ad1ff774

Size: 28,848 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: 36b4d87a8c1d04c170793a5e0575e735681fa143
SHA256: 1a7f305fbad75c6783a23c463340233fd62c67361af63f2ce879d8e42598ae04

Size: 8,968,540 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 49769a5ce13dc7383e7925d541e058f49d398df1
SHA256: 703c6e8c3788e9a8af654aadd4bfa7ecb065b234687af9afd3cbfd16458b6d70

Size: 66,952 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: 2fdc1083733cc49ff57eab2052020601e52de10e
SHA256: 7c5021151e63c3cc1b0c1095a7c3b6723a6157e358de3e3fa1739d0c03d928e0

Size: 38,091,968 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 4d3c3c4b6b9153431deb5991ea2867a677d64a6a
SHA256: 5cd0f2b03909620ca8c6df3d4c4927253c6126c6c893d398540e7d89203dcc24

Size: 5,888,412 bytes

Other checksums

Submissions

suwtr43k
Submitted
Sat, 6 Mar 2021 23:39:02 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1596036884"