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, 29 May 2021 12:14:39 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sat, 29 May 2021 12:15:50 +0000
SHA1 of .buildinfo
f6245b672eff23937be97d965e843a5a1ab17e97

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 6d64ec6dd42722cfecd099a08d90798ce3e78d15
SHA256: 3608f963bf0a46417cc987c3163e0d8fac62812de7506a0f2f124d1d6ebf688f

Size: 28,840 bytes
agda-bin (agda-bin_2.6.1-1_i386.deb)
SHA1: 57992aede4e859c0b3cab38c44332fd6afa5f2dc
SHA256: 40d29cad9d90723845225720757be6d7c02b62b5c78dc300f16012ea3df76c39

Size: 8,968,532 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 29d9d1354376e273a245e553573d8a334b75d3c0
SHA256: ea99fb7bfa6c6511ab7c764adf44df7eacb9179a4a99e011bf489fc6f51cff0e

Size: 66,968 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_i386.deb)
SHA1: c521c5eadbe0c66a4d50ce49b956ca063083d365
SHA256: dd216065c8e2b2504b923c1aacca18c2799e329a4078c075e7b9a2ea6e4f8c66

Size: 38,091,848 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 186b36daa878ffa9548051b254a85961e7a9b3b8
SHA256: 51d8fe95b58c374584d14d782ee714a02042ca7cd8f9770e97e3d96216b1860e

Size: 5,888,524 bytes

Other checksums

Submissions

uvyw7wfz
Submitted
Sat, 29 May 2021 12:15:50 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1596036884"