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
Tue, 25 Feb 2020 06:03:25 +0000
Build-Path
/build/agda-2.5.4.1

First submitted
Tue, 22 Jan 2019 23:40:47 +0000
SHA1 of .buildinfo
9eacaed4e5902766f490d7d249a3da3e148551aa

Binaries

agda (agda_2.5.4.1-3_all.deb)
SHA1: 06f944cae561fdd0c8ee6662f3134040e023e139
SHA256: 6f802a97b25bf8b6a557215f4faecf638646033b82e4e10bd6449bfcc07053ea

Size: 118,068 bytes
agda-bin (agda-bin_2.5.4.1-3_arm64.deb)
SHA1: ed9e53bdfdbff8748dd9d7253bcb89a1be50b236
SHA256: c509eee7be898fed7a9e41c04e5e877ed92cf7a5d4913926386f3282b48527c9

Size: 6,780,620 bytes
agda-mode (agda-mode_2.5.4.1-3_all.deb)
SHA1: 9e245a09cb1d5ff39642eb0113188cd4888f35b1
SHA256: 386f044d8dc13ea95541859c56b42eb5ef08f2c44513ae373e48efab0268c158

Size: 117,652 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.4.1-3_all.deb)
SHA1: 7eefa2511326c21341a92e54c95d60cb6a10992a
SHA256: 6b757f9b0cb9fa4331e679c3d8cab46aa67377443d3f620df42d267dec499478

Size: 155,560 bytes
libghc-agda-dev (libghc-agda-dev_2.5.4.1-3_arm64.deb)
SHA1: 89339486c1a98cd7ed4695e4174dd2615bdd3336
SHA256: 908889090c2cdd2c6bc3f6927de2fc2b49beb5d6b2972f2e26f37c9abb8a273b

Size: 19,736,352 bytes
libghc-agda-doc (libghc-agda-doc_2.5.4.1-3_all.deb)
SHA1: 339e89517f2fb9221a634c7b6afc51a35075fed4
SHA256: e40ae8fb108517269db65af096bf2dbc563120329ca8f3a748481120971a5822

Size: 3,789,836 bytes

Other checksums

Submissions

jsms4doc
Submitted
Tue, 22 Jan 2019 23:40:48 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"