agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 19 Mar 2019 12:43:01 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Wed, 14 Feb 2018 09:24:41 +0000
SHA1 of .buildinfo
6c33919c5370c6fcace217f33479c9be5c5384db

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 81e5dcd1a837605f94e408eff3269a7a06867f51
SHA256: f0c6b4fd24da38961e67df30e07110a361b482d4277c9e3266257a1d3bc9d32e

Size: 106,108 bytes
agda-bin (agda-bin_2.5.3-3_i386.deb)
SHA1: 9859bd60bf7aa8dedcdae5c57b22263d091906ab
SHA256: e29c2d264290ee3848946ebb99d8b41982090408736f42afe2d6efb218fc4e28

Size: 5,821,584 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: d236415d107e4a4a3c4897c5a8b1b3e82830f29b
SHA256: 2202dbc6fe693e8edb0b44508b42d95f58e8f8c4417aab93e1dbf83cf6972e27

Size: 105,688 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: e469e90f6171057ac2e0e169385b625adc44e963
SHA256: fcea1b84444d526c05128c2ecdfa60119c301e0602bb64efe37c24551831d83f

Size: 143,096 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_i386.deb)
SHA1: 8f7f967657f7f61329b4a12b5b60488c8bc4bb0a
SHA256: 0e2f66d952a42feab03cfaa78fdd6d79c1040a9bb204f5fc5de2048b05faf591

Size: 15,680,396 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 8ea1710884a0bd0ac97ae720f0bfafcf39f9eacf
SHA256: 765c06d1198d7f8c2e621d8e21a678488ca2218be6a3e681ac294b105bfcbb33

Size: 2,862,712 bytes

Other checksums

Submissions

3roxngmr
Submitted
Wed, 14 Feb 2018 09:24:42 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-3=/build/1st/agda-2.5.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507949671"