agda_2.5.3-5_all.buildinfo (view)

Source
agda
Version
2.5.3-5
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 4 Jun 2018 05:14:22 +0000
Build-Path
/build/1st/agda-2.5.3

First submitted
Mon, 4 Jun 2018 09:25:57 +0000
SHA1 of .buildinfo
ad1cf8470bcdb0a6488a4701caf20132be2e7f64

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 876fce9041680373627b6cc7dd2c3c35d32c5a46
SHA256: 5a308568fb0ca6d0ff15d38d8dbace8542d7f3a47af881db0b35db3a5c0e540c

Size: 106,448 bytes
agda-bin (agda-bin_2.5.3-5_amd64.deb)
SHA1: 76e84a906ba850fbc4c801b500c1ecbda38f0b0b
SHA256: a8bb6388676ab0f1998111b099aed9fbf654020db369f7f3b9099cc405bd2f28

Size: 5,849,940 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: 35fdc7dd220044c5b9aa05e8cdb24b0c65d1246a
SHA256: 3fc7410b433e878b1d44a2a2050971a57325eeb96629ca06e27444ab8154bd2c

Size: 106,032 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: f21163f3ee8ff0f13faed83558cba47067e82a03
SHA256: ec99f6d42542de5f85ac0f7ce7c663bea74a4eed28e93f3c3766815e919f47ae

Size: 143,360 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_amd64.deb)
SHA1: a1d2b5eefdcf232e3f3d196ac1fa3ac72fb2259d
SHA256: 73d9587585186f1ebf033f3802081e7a7733c0aac7eddde70cc520f7ee7a7c64

Size: 16,209,132 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: e54b82fa54617032a4f99be8042baa5cf3de72b3
SHA256: 41dbebe0653dd71df7849fc209e684af17d45c2cff205f26e4904f0f7406e894

Size: 2,760,364 bytes

Other checksums

Submissions

casxkdd9
Submitted
Mon, 4 Jun 2018 09:25:57 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="agda_2.5.3-5=/build/1st/agda-2.5.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1525005701"