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
Fri, 7 Sep 2018 01:33:53 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Fri, 7 Sep 2018 02:14:01 +0000
SHA1 of .buildinfo
6117e73f6f1565dd0699c575336d9a43da0fed6d

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: 7969d34f69e6629bead91ca68d1c3ecbda214d65
SHA256: 8334bba97ecc3d58b03ae09ee145823bf7e9192bbf853ef4bd233921ecc133ec

Size: 80,246 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 1b8469258da54cfdecf31f77343e6a29b2373113
SHA256: 7d176091e6f73b988ae7329208688ae7f1a51fbb560bad53233db02ed9631829

Size: 5,219,810 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: cddb113446f7dfcd4964b0f62842f4ad36ce7e53
SHA256: d6a25c0faba6e661f255db223c6af201e25cc94cf695f4e5be95f38f521e1860

Size: 79,818 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 17de5a4fdd245dfdaa03289c1a821a2dedbdd10e
SHA256: ef8ed9dc4b1d9462a52262bf98c851eb95ccf0e2087bb08650a2be73d8985491

Size: 115,410 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 189a2c503573614f560ba4e0008069e7dd092995
SHA256: 07b18d0bdb1aa34f401ed404c727c3fa1ef2391dc9af6c596363e67bdc826471

Size: 13,240,160 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 3aae7248a55b937f81bd80e5e92dba67ef0041d4
SHA256: 1453e08adf9472f39a11cd58a72422b173c472d3e5961d572c20b0fce31ef78f

Size: 2,655,506 bytes

Other checksums

Submissions

gvh9sjos
Submitted
Fri, 7 Sep 2018 02:14:02 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1477607532"