agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 15 Nov 2021 08:30:23 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Mon, 15 Nov 2021 08:30:35 +0000
SHA1 of .buildinfo
a585212119cce23d708f4a2cb515d66527f0719e

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 68c7c23524cf6e237dec71cefd4b62dc4c5cece5
SHA256: 7e1e6c9aa12fadba7154385cbbe6bed2e0a066dd8b22ef2b918776bef8987856

Size: 28,912 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 8e85635081c73a077fefd1907038b7c8c13dbd25
SHA256: 49cd3aa36bd453038b2a31c9ae7f5b711c1bd12ab9ed2518f2e5872872a259ee

Size: 8,910,584 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: a52627d29b8907abd0f15657b4491454133e4eb1
SHA256: 2ac053eec8d85812a5db39de38b59bd2eaeadda4b771dd996fc2d082a6f9b87a

Size: 67,024 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 5c30cf9ae7597af4f5257058a0dcb13eb5770776
SHA256: 0421e2ea5a7b1557fbfec1b33c18d5e19471dffb843cbe6270a7126f6fab6134

Size: 37,936,156 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 3770da3bf0cb0351b66299cb877c09a833b18832
SHA256: c7a489f3dd7a2d15b090413b31940d3c62aa9e9ef872fa021d3ee7c66c1f71dd

Size: 5,913,332 bytes

Other checksums

Submissions

tbjeuedh
Submitted
Mon, 15 Nov 2021 08:30:35 +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="1596036884"