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
Wed, 22 May 2019 19:21:27 +0000
Build-Path
/build/agda-2.5.3

First submitted
Thu, 19 Apr 2018 13:07:37 +0000
SHA1 of .buildinfo
e096b69bcae1c88e6b5f5c1aee377a9cce003400

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: d45b424dad49ebaecbb40698bb369bb1a694f63b
SHA256: 75df17ba087e55d62cd32ea035e5a1a843f3b159bf17830dea244c9e2fefaeab

Size: 106,088 bytes
agda-bin (agda-bin_2.5.3-3_i386.deb)
SHA1: 6533b79bd077bea22bc1a146b004a2006c0945fd
SHA256: 3d6027c8a86966fd4a6e6d30133dca577cd6db764e870c515d7bbdc7497fcc84

Size: 5,821,424 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: c6b376df21ec5b272e5014ebb608b4ca5d9a2841
SHA256: db985a5d400b732ab9b918812518cb12acb81d06e4ae2b08a01fdcd1c0bd4713

Size: 105,668 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: 3c9e3c0e3f8f5f8b36affe888f0f2e08191c51dd
SHA256: eca2ef9d713d6a53e2cda29ea76d75b61d05d72ede2779a01662a8be4a8dadf4

Size: 143,056 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_i386.deb)
SHA1: 2626d13fe048a613c58adf4d64baa9429b5141d1
SHA256: 543367e855a493b69a265f25bc61b5b9bbae53899d2ee9e6e2cf3be0b323d785

Size: 15,679,028 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 9d6a5258a45d22b60b024ab5cad2a9450fb3636d
SHA256: eea81bb84c84cf207b25391ff45b5f4d34cf13bdb54643af04a55bac27f16e22

Size: 2,862,424 bytes

Other checksums

Submissions

rot4c9rr
Submitted
Thu, 19 Apr 2018 13:07:37 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507949671"