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
Thu, 30 Dec 2021 13:20:37 +0000
Build-Path
/build/agda-2.6.1

First submitted
Thu, 30 Dec 2021 13:20:53 +0000
SHA1 of .buildinfo
784d9e1fdb1ff4a87a836df615ce3e7676dd3c6c

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 720f422a6c1e9be89683781cff9f280399da70f1
SHA256: 007ec8f494a64d2957d2c082f6c3e1f9c7f5fe5e37a8e554b7b16f4bdcf10248

Size: 28,916 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: 0e86c551235a1a955cde548242560b8c5d656df6
SHA256: 520b450124630d401f77f4d71d4bfdeef1a3c57faa43478303198d60a9ec68a1

Size: 8,967,596 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 167d1dfe604d41bfd535fbc06384df1d5f421c1a
SHA256: b490c687b47d9c39775df2d80d9c76cb26ec6e82b42d9cc3d4a4ce276bc297c9

Size: 67,024 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: 8cc7219c62c2a414e35ad7976427e2b0785f6995
SHA256: 4768fa0e17d885d2a7229a985a49e5484c65748b65256378d32ea6b92b40ee8e

Size: 38,089,364 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 6a2b4dbacef0f93c8138459155479061b19a4d4a
SHA256: 9b83755330f3b9dd7b549d1c4e059f639139b98a6b913c9250669ef3b703661e

Size: 5,888,460 bytes

Other checksums

Submissions

psz9smyk
Submitted
Thu, 30 Dec 2021 13:20:53 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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