agda_2.5.4.1-3_all.buildinfo (view)

Source
agda
Version
2.5.4.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 21 Oct 2018 10:37:35 +0000
Build-Path
/build/agda-2.5.4.1/2nd

First submitted
Sun, 21 Oct 2018 10:37:52 +0000
SHA1 of .buildinfo
e4d01e83e0cdcfb61dbe8db003ff572a53effb57

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 666cfede770568a2b10f83770d2fb5d5a3803f0a
SHA256: d62d868fc0b448021e79816c330df47edce47c81d99de6afa321ec72f9bf0cd0

Size: 118,216 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: a89d755024d0f6689066554c086ec5fb782267f3
SHA256: 9f6e57a94191d09b8fa68432dd9c346b5b3080440b952ee5768487028c27f6e0

Size: 6,774,904 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 1801d294b1c83c97718c44d19a6bc3d9a194c90c
SHA256: 57cf2ab02b5c9fdeb47f7771559990439bcf4df41d360016a2e143fdbfebe7b4

Size: 117,796 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: c086ab80ba9a25bb5fd9d70f4a2bfae6ecb110e9
SHA256: bbd0d71b66a37b895c691a47b214a19dd35b2ed92ae3e5b68166b62d40d4e89f

Size: 155,540 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: eddd611e5ec6b3136aff43eb396067846e3e8f19
SHA256: 19408a9f008c311f253ac2e111fbb2154e76581eb735e1259916c15d92c24d60

Size: 19,729,852 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 3adc84df365b8d202fb40f7b24f87a8b36e0e4ac
SHA256: 2927fbdbbed8d8812e8ea4e819c4dfc3f8202e5f9a54fb286e2c874d840b2c3a

Size: 3,791,568 bytes

Other checksums

Submissions

z9nuox9c
Submitted
Sun, 21 Oct 2018 10:37:58 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1540066938"