agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Oct 2017 22:50:08 +0000
Build-Path
/build/agda-HaNDGG/agda-2.5.3

First submitted
Fri, 26 Oct 2018 11:46:12 +0000
SHA1 of .buildinfo
24acf2cc91a4bdb7aa85bcc3df9390fcab3a30e9

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 3f1179c552093c992467d08a9520e3a459619196
SHA256: 50c274939576a274a207c3a5ff9cec56a674f6e0d8fce1b6a646bd001ac6d692

Size: 106,028 bytes
agda-bin ()
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: 81c5d1763eed366f6f8bad6b3def921f875a5634
SHA256: a4ce98321becc7b187987426a2e4c68bafb7a2a9598f36eb61647908a4db588e

Size: 105,620 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: ae01adce3ee5e165e986a0024c6db0324d047776
SHA256: 9c18e8ff38a4dd5962b0f86817f69032648165edeafe50817d616e2cb93f815e

Size: 142,956 bytes
libghc-agda-dev ()
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: fb693bc57dc3b732fe7bf6031897443046d8aa38
SHA256: 36033843f0678d05231781117eef0b6f2712d2da80b977bf40c3168ee219b373

Size: 2,861,828 bytes

Other checksums

Submissions

kc3txghn
Submitted
Fri, 26 Oct 2018 11:46:12 +0000
Signed by
0x77A935AC72C39EAB

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1507949671"