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
Sat, 1 Aug 2020 11:42:45 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Sat, 1 Aug 2020 11:43:18 +0000
SHA1 of .buildinfo
715463533cc0fa3ee976a90abefd7726de3a1a90

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 3c1e392e6dd203b29d9804042e06d5bd9bd480f8
SHA256: 3afc576014ba6ad2f62f681bbc7ae4b674792e023340fc742663fd57eae70012

Size: 28,732 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: d9fe8813ee5928a350b1317d69b1364be12dcccc
SHA256: bcc9e33fc320ed60540fbcb5430ac536c1d4d1c61568168423622b17270b78d3

Size: 8,915,524 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: eb89183421b32c286e2a8b98bd92add098c2dd43
SHA256: 768145839f5c9956f97f7567659e8bdc28d2710e353812bf6e7be9323935181e

Size: 66,828 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 08c8c34674809ebb20a151b0d628728d2882aa9a
SHA256: cc14aafebc0e0034e9693288b60bdcad2f319ecfa9dc08b7044c482c6fab8e49

Size: 37,929,128 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: dd330fcc23b5ae5d0c5f1effc357b10f46b3df9f
SHA256: 876b5853019fc590c574763eabb58c8846fdbe67a7f2b0d74cae0c3238197460

Size: 5,799,712 bytes

Other checksums

Submissions

mhewzd3g
Submitted
Sat, 1 Aug 2020 11:43:19 +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"