agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 5 Mar 2019 10:54:38 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Wed, 28 Dec 2016 22:09:30 +0000
SHA1 of .buildinfo
953ec1b2aaa2d628024439f4b72fcf4913a5e771

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 26cf65da8def8a3737e546780fe7f7e13efd9851
SHA256: 85669bfaa24c8bf6ce37366980846ac033990e8d4c008721e262151a8bda0214

Size: 80,150 bytes
agda-bin (agda-bin_2.5.1.1-3_arm64.deb)
SHA1: 0e549d4c9e5e850ae1163745e08b9883e70876a7
SHA256: 4361eceef8e78168a14f54309e63e9eb1eb92ac59a9844a6a8d2913e0ead0e25

Size: 8,486,184 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: db2e9331d49518d4e956f92ba4665835b4cbf638
SHA256: 6576531b20977a29d1b1c83164a749f2239e7ab672706c9ca491007381798aa8

Size: 79,730 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 5a3f56209458aee27834af8b5c483bb9b3e93dfa
SHA256: 0ef6dccf0bc2ff1dd11994a0e7166b6fad9996a56a2248541db907eb47217bfc

Size: 115,280 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_arm64.deb)
SHA1: 4fec3a9f876acd08944121c7904e07640340f4ef
SHA256: dd837727c5862abb4040c4526cd9e7039383cf637b2d39a8c8ec11f2220fe518

Size: 19,838,234 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 9403eae93ffc16a80f93020e7463ef99c6517fd0
SHA256: 8a8ca89bc08687d656cf75d1dbedd717840ca004667e9ebaf1581bcbd4b72734

Size: 2,655,422 bytes

Other checksums

Submissions

nn7eobrb
Submitted
Wed, 28 Dec 2016 22:09:31 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"