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
Wed, 27 Oct 2021 14:10:05 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Wed, 27 Oct 2021 15:21:50 +0000
SHA1 of .buildinfo
295cf45410f236374b16669dc33e98e08543c5c5

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 382f3c15bd9ce7bba260c5d4f81c6393f07f136d
SHA256: fe816efb129fb485c382eeaaac4e06e4cc01ce01a5918f23dde46f0e3ea3c3b4

Size: 28,912 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: bc0908057b0829fd556c7b9e957dc574e46ca545
SHA256: d6218c97236b996587d3406b5bd1fad0c2d70a1eb8a509e04fe57cf52edcb631

Size: 8,910,588 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 990b06fe11f0c2e7fdec3aee66e71e1b5eb0c30e
SHA256: e9f13bd0e580a44e669509637e67a1f115d22dd33ab8d816dcf1e08002ab6cba

Size: 67,036 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 6d48708abe99dd509961e76aef29716e032c8832
SHA256: fe9837e4f5cefd68fbfb2cf2891c4fc966ddadb861e2e49500377e39c7c9f150

Size: 37,936,152 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: ba4096abae7ae3ed532eb30f8f64f69219229a15
SHA256: 93f2d192692aac60ad1619d6a9c8016e9ff8268d8c062b2ff2a2b3abef9b29af

Size: 5,913,360 bytes

Other checksums

Submissions

knyjofor
Submitted
Wed, 27 Oct 2021 15:21:50 +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="1596036884"