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, 11 Sep 2023 03:50:59 +0000
Build-Path
/build/agda-2.6.1

First submitted
Mon, 8 Aug 2022 22:13:38 +0000
SHA1 of .buildinfo
54122848b7df399093d326a4f99efb00b2b9d3cc

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 64942429e92b48a555026e2a772e1658b6226853
SHA256: 88962dec2ca04d33abf20224d7fc61b30e84b89fd13d17f5b2835c4af3af1ce9

Size: 29,272 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 06a5d40ea5ed5176ffe233cf73cc6c4323c0e4fb
SHA256: f46896b3135ca648d603e8a69b1ccc634dd0dbe0adf037e6f2323eb77d8f3b14

Size: 8,911,176 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: b2616389cece29fa3201f9cd00d9eb3a6fa56bc7
SHA256: e6026f69eaefb9da9c5d39c585ca9e28c41910fa7b6d655352daf472689a28d6

Size: 67,392 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: d3a8779b472cab96267d93919ce838dc154f8755
SHA256: dc74e88eb5882f592febc692a68c3643a204cbb27205f5877df7e42013fe88c5

Size: 37,937,240 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 34d0ddafdd60f69e16a0d144d3e5121fc6774278
SHA256: 04f98f4eef8fdcdfe0aef2c11dda01b41ba0fac254a694c12eb4c2ea2ece3458

Size: 5,913,708 bytes

Other checksums

Submissions

q9hpnnur
Submitted
Mon, 8 Aug 2022 22:13:39 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"