agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 20 Apr 2020 11:37:38 +0000
Build-Path
/build/2/agda-2.6.0.1/2nd

First submitted
Mon, 20 Apr 2020 11:38:46 +0000
SHA1 of .buildinfo
64373bc64879ad2cd678735c98172539486eaba3

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: a3ec2b945e7050fd65e9dd9f0d7d7eb764ef6db6
SHA256: c240251b56facc00effb602fb29e4d0c92a6f7cdc21fd065ce40f88b24a4036f

Size: 131,332 bytes
agda-bin (agda-bin_2.6.0.1-1_i386.deb)
SHA1: 15362cd0b25dbbabde3809aab09495b407993ba7
SHA256: 27cbe7ea1f9810d66755425ec79e63bab2807fa941237ff395f9737d36041976

Size: 6,767,992 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: df101a36165262399d40d53f4c0b89898298a405
SHA256: 404afd1b4841c563da8f6fe6876cf7643a916c5cc55192aaa5935fa5eb047db1

Size: 130,912 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 76ba8a33f6286d529f22236c18084d11dae7d93d
SHA256: 962b60e80565f55e93d3aae8f5aedf2b3d0c29ac0ccc4b10209d8ac59aa55c9e

Size: 168,480 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_i386.deb)
SHA1: af30298d9e09f9399f2cd75b7f68ce6381cca2be
SHA256: 0151fcc77aa7af1281db6962d4f50a34374d6b69f6191dc516d942cd4621a998

Size: 19,506,224 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: b5d22e114b5eea510818b2b2c402943c9fd1ddc2
SHA256: 7f07498c083ff741242078a72e4dc96611e33ea6cf0d8c35363b3076d94dfaff

Size: 4,321,052 bytes

Other checksums

Submissions

ya9avuhp
Submitted
Mon, 20 Apr 2020 11:38:47 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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