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
Tue, 16 Aug 2022 05:02:02 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Tue, 13 Jul 2021 22:39:13 +0000
SHA1 of .buildinfo
0722483e30a3c582439d5820a7047ff98b03eac6

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 015305aa1e0cc3e3f82313a7442ecdac647a29bb
SHA256: 39ea4b8114b0125ffaf12cac6890f3a6126a1c11ca4fb8c718890fd94e71df43

Size: 28,832 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: 38485142987ee9a17d4d7eb3534e842232f1d8dc
SHA256: 29e95753fd99036578c656250c2637736dda4230917e287afb573e6451c883c9

Size: 8,968,520 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: d99297602d2b8f83a5a88c6cd7f3fd4d549e327c
SHA256: d2871cbaa85aec023225203273426691386776a7510f4041b2260654159fe911

Size: 66,948 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: a92aa36d60be2a6dbcc5cc41e212eb9acda61115
SHA256: edd68c9a8c19d3fd87767efa31d0e9102ad185c63a75f1d340fd1bfd3b1787dd

Size: 38,091,896 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 898de491834608343dfd439b7035d7cde36e65fc
SHA256: dffdd8df98b2a4c6e7adc03e4f212b64d95587ec4c1b823da5f7a2251f8ef017

Size: 5,888,428 bytes

Other checksums

Submissions

d4otxpfv
Submitted
Tue, 13 Jul 2021 22:39:13 +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"