agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 5 Nov 2019 13:05:18 +0000
Build-Path
/build/agda-2.5.3

First submitted
Wed, 3 Oct 2018 07:20:38 +0000
SHA1 of .buildinfo
5e6c76810285b0477e607e2ccd284ba85c029052

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 10fef15d8efd2bd2ff98ca2224a556b5400d8a32
SHA256: a447bd46703108548ae53d37ac241a976a04269c722b4e7c2a0f7857c24909c2

Size: 106,372 bytes
agda-bin (agda-bin_2.5.3-5_amd64.deb)
SHA1: 9ad96c553991ad186fd9104fa1d05f09b032e799
SHA256: d4c76b292d256473eb4234b1c8298e4b04c793f27727e52478efa86a9004e308

Size: 5,851,588 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: e0cc5f16a4678f5272622e91b3e77ea59d9be165
SHA256: a782feebd241d9007d80f66870d1b628311a31ea2060d2920b2081b27ee4218b

Size: 105,960 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 030ed2b2ef3e8bb80ec00a0f9b106e7b6683e81b
SHA256: e91079589d7f349a842c9e28e6cdaae005935f53b67e65e9576d3c96d64a6423

Size: 143,336 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_amd64.deb)
SHA1: 9500da85493c4ef8b1bd93b291357e4c1ac9990c
SHA256: 3f0d384164f13d08aa5ab0d05143f90f09207b57fa4b889755bda82fab1505c8

Size: 16,214,568 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 68674eaf909a62df714f54ae62f4c632b8a4752a
SHA256: f8538b92e74755a30f99a541e70e332933b9328cac35523b469162a496443737

Size: 2,760,264 bytes

Other checksums

Submissions

zmvnjqbr
Submitted
Wed, 3 Oct 2018 07:20:38 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"