agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 15 Aug 2019 08:25:55 +0000
Build-Path
/build/agda-2.5.3/2nd

First submitted
Fri, 13 Jul 2018 02:03:20 +0000
SHA1 of .buildinfo
5856d3b2049f6a092b385b6696c84420beade330

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 70558d29fb493c52bad21eb7a206700003b0d515
SHA256: bdc201e6890809ebf0821063a542dc5d9ded2c70d163fc0e122e7d2fb1f9a641

Size: 106,424 bytes
agda-bin (agda-bin_2.5.3-5_i386.deb)
SHA1: 99ff5b1efa8846ff6fe1870ece0dedfb89571b2a
SHA256: 00b01d54418bf6341afa06b9cf77bd69a4e0bfeda6533e4235b979a2b2d88540

Size: 5,956,872 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: f33a6e66909fe3ba91cefc86369f86b195681741
SHA256: d50915ebf8b107a35607e556e8b9959b2edd38243cefb9170c4544504c4e7ff9

Size: 106,016 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: 9ab0162b6ebddcd056ede5523964a0e03fe08d4a
SHA256: 7d7dd2298ede9a6b40bbe8434932e30fe7aa48de9480435c9cb11a444e139d3a

Size: 143,384 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_i386.deb)
SHA1: 2810c54fd0277c21de45d3707ff236d654c2fb8e
SHA256: ef3d3a90e3483b987175cb4f84ceb4803c1e9ec0db7de97b553458443f103103

Size: 15,790,852 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: f265ded47f8549b83e00bfbce9e25afb093d5233
SHA256: 714c873af8846a0cf63a6400c89089702f027dc8097fceafba78b1296bdaaf52

Size: 2,760,204 bytes

Other checksums

Submissions

pxj3rvk9
Submitted
Fri, 13 Jul 2018 02:03:20 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-5=/build/agda-2.5.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1525005701"