agda_2.5.1.1-3_all.buildinfo (view)

Source
agda
Version
2.5.1.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 2 Mar 2017 14:13:53 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Thu, 2 Mar 2017 14:51:32 +0000
SHA1 of .buildinfo
c8954d6822d0f47896455c8221e448c777b32c25

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 19a26ddf8fef7ceb2abd96c247f18d7aca021696
SHA256: 2968174d471f945c3f7bef6e843a8a1562d092828b697ae40a089bb9b2076532

Size: 80,190 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 632c329058f92ce547d5eb9c83b75b398e3b2d8f
SHA256: eac10cdd6345f153edf329dd7c7696dbc0b32f0722840fdf9488d46475c25a5f

Size: 5,219,530 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 7786a5be074579ff2f13298d37c3b9180df6670d
SHA256: be6bfb02f4a60c5e9526142892d1e84b1d2e5928d1b30dd67510828f298104ec

Size: 79,756 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 81b26e6f3954bd8082c1c7269c1946dfe8e3a3d2
SHA256: f2c2f9210480504c58d88be451ed9646b16dd595e61f35629b7b1a52afd297c1

Size: 115,372 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: a3fdb09aec88ef27334ddc9d29c1e21339c32292
SHA256: 53e7e5ed7a44caa4928a84797526b8491233032de1c88e3ce92cd8b63164f9eb

Size: 13,240,534 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: a001aae0a246222ed7bdc0768413feb09609b936
SHA256: d03954762e8a5c77c6000c0b6855ca95137c7382a9e23d7619b58d72bcfcdc65

Size: 2,655,498 bytes

Other checksums

Submissions

r7wipnrv
Submitted
Thu, 2 Mar 2017 14:51:33 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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