agda_2.5.2-2_all.buildinfo (view)

Source
agda
Version
2.5.2-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 27 Sep 2018 00:20:57 +0000
Build-Path
/build/agda-2.5.2/2nd

First submitted
Thu, 24 Aug 2017 17:59:23 +0000
SHA1 of .buildinfo
68827fb8f6ec55202f8365b16d4416ee65b36079

Binaries

agda (agda_2.5.2-2_all.deb)
SHA1: 844e6df96af6ce629f64e73c9cc6aa80ef005778
SHA256: b015a10ceb190403ac0c69b3e31d562bb351de055b1e18e44caf41a07aa07e42

Size: 93,204 bytes
agda-bin (agda-bin_2.5.2-2_amd64.deb)
SHA1: 708b451858ae6d68dd997ba6d6ac8e23182c2b46
SHA256: 2ea153f904b5eb640630d2d9c9822d7e47886b70a0e92c5e3343e92489f32137

Size: 5,054,468 bytes
agda-mode (agda-mode_2.5.2-2_all.deb)
SHA1: 443ade2734b42f404c0124703e66c3a04df530fa
SHA256: b3d487ee93039e25a94a48f90f571acf8a4388561d33e4600b0e627d4c17e537

Size: 92,780 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.2-2_all.deb)
SHA1: 36bb162786c9aea91c0fc0243daea3a6f3fa6048
SHA256: ec702def5ad52c3a5fa21687a19b7dde87fc257709bbfc20c22d3a46bce841eb

Size: 129,446 bytes
libghc-agda-dev (libghc-agda-dev_2.5.2-2_amd64.deb)
SHA1: 283dbc03df37fc740c99e6751bcd2defbddddef4
SHA256: eee5753245e8fdd59142b471d0546a42b7c755710e43cc125aa8386a91746735

Size: 13,319,542 bytes
libghc-agda-doc (libghc-agda-doc_2.5.2-2_all.deb)
SHA1: ae8dfa57d3840b9759881c833b2c56db423810a3
SHA256: 99e77189b65f5d4972175e90dc49d7b3ca615a981fff2b46edd32aa91d594750

Size: 2,741,814 bytes

Other checksums

Submissions

3wifxevx
Submitted
Thu, 24 Aug 2017 17:59:24 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.2-2=/build/agda-2.5.2/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1499684076"