agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 9 Jun 2020 03:12:03 +0000
Build-Path
/build/1st/agda-2.5.4.1

First submitted
Tue, 7 May 2019 22:21:28 +0000
SHA1 of .buildinfo
8611393a2e36d866fcb00a82cd94db507fc6b2fd

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: cc3d441bbf101a11c25a407d3b372acc16ef7ef9
SHA256: adcecdeb2e4e02a8cd34aa3dc9d2ad9f7ace0601362978e3cb61deb3f1d8e881

Size: 117,904 bytes
agda-bin (agda-bin_2.5.4.1-3_i386.deb)
SHA1: 066dee83c45b85d17aef8ad0f5ed8b821d87c35b
SHA256: eaae12b0e55829a7d2957be7839f10a53670b50e31261c8efe6ed9c4ba77fee1

Size: 5,945,040 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 31f6cbea5a2df79bb3ad19df8fab62bc54c9c948
SHA256: b13813703a7f0d177eaca9b02e2cd659946d9804e5f10599820aeccf6e0462ff

Size: 117,484 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 15c6eaeab296550faad01002fe8d43f3c788e352
SHA256: 506c7ab3cab7197cc58bbd747826b16d3de15186e2893bc65983c5757373fb63

Size: 155,444 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_i386.deb)
SHA1: 4fd3d675ddf84846beec34e48e916de370de0291
SHA256: b77437cbc71f826a297b2e33425aa73a6192c683052f62c320b62a9b3c479546

Size: 16,797,816 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 11d13f61000344ef139a1d36007bab6a56e46c1e
SHA256: eee3f4e242f34dbcd79bb68baadad9e335586ef4accbd3150218567b1fa4f39b

Size: 3,768,848 bytes

Other checksums

Submissions

yygcmamb
Submitted
Tue, 7 May 2019 22:21:29 +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="1540066938"