agda_2.5.2-2_all.buildinfo (view)

Source
agda
Version
2.5.2-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 13 Aug 2018 21:37:42 +0000
Build-Path
/build/1st/agda-2.5.2

First submitted
Tue, 11 Jul 2017 17:12:33 +0000
SHA1 of .buildinfo
62c83da2230ac273d24a6e67d8e1a5775cf3da3d

Binaries

agda (agda_2.5.2-2_all.deb)
SHA1: 847312fe8434eab989773612c7cb5fe8c98260ab
SHA256: abb93a8b986542ae10a071a5e66baf1214684fa4c5460a4f32bc574f8ddbf211

Size: 93,142 bytes
agda-bin (agda-bin_2.5.2-2_i386.deb)
SHA1: 5dd5a7db43d4acc90c280ed26c3ab98a9817213b
SHA256: ec6ad85d78bfd50cd75b4fed6210d0c21a323fbf07a8fc187acb52253b7e0278

Size: 5,089,692 bytes
agda-mode (agda-mode_2.5.2-2_all.deb)
SHA1: a8420275604358552d6c344755e3b5bdfcb9ed5f
SHA256: 8df9989d0b53619ae2bd2024da6dc0b8ba2b99956acd8a0f2791f75b23a5a8ec

Size: 92,724 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.2-2_all.deb)
SHA1: 60cc123928c812301a1587d0b542b61198e250e6
SHA256: e878095d4c351ee5ea2df05967aa269b3cc960817a13002b27d13fe98ac6e7e8

Size: 129,378 bytes
libghc-agda-dev (libghc-agda-dev_2.5.2-2_i386.deb)
SHA1: d874de7253d7e699edbd71b90cea87457d8a8948
SHA256: 38d5f9f84b18ac2663a3f018eacf9be3bd41c94cd109bcd8a1a60da063066ab9

Size: 13,208,318 bytes
libghc-agda-doc (libghc-agda-doc_2.5.2-2_all.deb)
SHA1: 8f9637e78ecc996a0ba70d057ac09919ec0bb039
SHA256: 5a5134ac2278b27c37c5ad80e270c21d00afd8d9344d0f019e654f6b8e573f64

Size: 2,741,932 bytes

Other checksums

Submissions

4heijy4w
Submitted
Tue, 11 Jul 2017 17:12:34 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.2-2=/build/1st/agda-2.5.2"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1499684076"