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
Sun, 3 Nov 2019 15:08:48 +0000
Build-Path
/build/agda-2.6.0.1

First submitted
Sun, 3 Nov 2019 15:35:52 +0000
SHA1 of .buildinfo
ab4d27badab2e5ddcb907541b5530447950bc6d6

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: 5a8d060f4f98fc413b59a565255679f668407eb5
SHA256: 48d00c2134e30e12850d8b074d0ca40c0c59029ca561c8836badbe0f317aba92

Size: 131,244 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: cb3e79f46be4a33ed96f9f37cc8fd38401b78392
SHA256: c6cb083089a0af4c9e9a59a7e7e510f479a1f54568a9b54c4f0274762a2b54e2

Size: 6,702,328 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 50c3743822c105397238cedfbf158a7a1ae18886
SHA256: 546244e820efde778e5aaad35f14dd3e1c51b99633d7561031af4c23e358b6f8

Size: 130,828 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 30f975358a0da7e0ce115e03edfe039713418403
SHA256: 9da5631e46a7a8d543417dca20c0b69703501f14142faeef83ce20452629eaa6

Size: 168,392 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: 66a586ff6a6495551201b980a811d7b7ffa3d751
SHA256: fdae2fcc2139ba4ed78d038f9c26653a34d72e3131da72db6d3b02482d2a8b58

Size: 19,833,492 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: bf838b97ce8908fd0f0cc297d1400472c5f42e02
SHA256: 59c0dda05a497733a5b8c1b9bbab1f6c9e9cb6ce3fefcc5c685548d498b7116c

Size: 4,342,440 bytes

Other checksums

Submissions

dpcx34pq
Submitted
Sun, 3 Nov 2019 15:35:53 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1567260153"