agda_2.6.0.1-1_all.buildinfo (view)

Source
agda
Version
2.6.0.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 3 Jul 2021 09:16:12 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Sun, 31 May 2020 03:45:48 +0000
SHA1 of .buildinfo
929fefdc6ba3656743487236738eb59a4e54a728

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 6be9820b83f6e8d68d883bebae4b83f92eaae8f5
SHA256: 1e07eeea21bd576d7a3360cbc944d7bd6b98c85fd7b444d2c99ea95968734583

Size: 131,268 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: 6713f23622a22b02133ae25ecf244f14ed64188c
SHA256: eb92da3ce148ce851177314e475c000ca8829d1985f99114de06ac34d97a5730

Size: 6,698,836 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 6d0d5eceb901b716bae6974ecb4b8ba3c63583cb
SHA256: 80f794b77e7b2a6238a2f607d1f44179f123c6232fa1f96e6951202b27b84675

Size: 130,856 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 1539ca59363f7c0f503b21f2934dcc0f859e6a46
SHA256: 2b67c66b35b7c64a32672d5d57feed738f412b733ff9fee670da13f92576a42c

Size: 168,416 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: efc8dc4c525f0194cd00583bef77302070151096
SHA256: 20455b762486873f48deefb0e00c0c5f73efd1c5cf2366f781889336b61bbe46

Size: 19,809,360 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: 5da293eeadad56db053e6b785ca4e6fee7ff49f7
SHA256: d9a913ba17bc0ff7a33d57d83e4f3a97455a2654626542efe2af5a85e4243908

Size: 4,342,548 bytes

Other checksums

Submissions

dfsdgn34
Submitted
Sun, 31 May 2020 03:45:48 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1567260153"