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
Thu, 21 May 2020 09:30:10 +0000
Build-Path
/build/1st/agda-2.6.0.1

First submitted
Thu, 21 May 2020 09:57:05 +0000
SHA1 of .buildinfo
8f20103593bd9189acdaa74c5e105354b65e58b8

Binaries

agda (agda_2.6.0.1-1_all.deb)
SHA1: da88b7a42ac39c6dc11c190b068fd903b3c4317b
SHA256: 2d5739cc915df503f92b436eb2bbe92b2accd64a10f7c3754cadf2108ffd2a55

Size: 131,264 bytes
agda-bin (agda-bin_2.6.0.1-1_amd64.deb)
SHA1: a5bb7f34f1aebfc3243a7b690b5b748861d23207
SHA256: 3bd6a455114a19db8da9e4cc3696c0fadda761ae80af6be66d369e5328cb3d62

Size: 6,698,840 bytes
agda-mode (agda-mode_2.6.0.1-1_all.deb)
SHA1: 5ca894a660286aca9b342e582a603bbf328d48ae
SHA256: 48d379ff5855eeeead3f63673eb8c16692c0f210dd4c6f03933568e17c99f570

Size: 130,856 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.0.1-1_all.deb)
SHA1: 79c0d5d724cc3f68ab0f65f17c9afce2f72a0016
SHA256: 243aad1010d5c465e22f8b646d737ca0bc70fd87775454eb2a2582f1c1cbb36d

Size: 168,412 bytes
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1_amd64.deb)
SHA1: 8259ea2b45d1b15de4614ca4dc64c356f238219d
SHA256: 2dd52f1f587a7f19e932fb3642fe8db85e8b2a1369f1529916d681466695e7ef

Size: 19,809,400 bytes
libghc-agda-doc (libghc-agda-doc_2.6.0.1-1_all.deb)
SHA1: d93f59dad567a8c67eb4197b28b0b450d6344e05
SHA256: 0c4720d790353087ce246e4129a62abeeaec14ea8c0cd60dafd38ae9bc78f60a

Size: 4,342,504 bytes

Other checksums

Submissions

iqz33b3o
Submitted
Thu, 21 May 2020 09:57:06 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"