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
Thu, 13 Sep 2018 03:52:49 +0000
Build-Path
/build/agda-2.5.3

First submitted
Thu, 13 Sep 2018 03:53:01 +0000
SHA1 of .buildinfo
8be8d6e3ed30f3e4980abcd8b946e8ee5127aff8

Binaries

agda (agda_2.5.3-5_all.deb)
SHA1: 2e0246d0e47c5d30a26d6fc04f5da4ed1f0961d2
SHA256: 96a546b521c62c16091e750c4482da5cd113a22751273054bc8cc11b555eefb3

Size: 106,364 bytes
agda-bin (agda-bin_2.5.3-5_amd64.deb)
SHA1: 22bb35af2aef073892f47fa4a83954be4d2fb0ad
SHA256: 098ca98d23809e28d273d5a823148e423c5de83ca5a2fdd0d863251f0839930d

Size: 5,851,568 bytes
agda-mode (agda-mode_2.5.3-5_all.deb)
SHA1: b15993b2d2a6e53ecd6944cbb93eec8a5fe1d934
SHA256: e9c83bba07980519bccc2cd718cfdb07c37e0b4fd56cf4dee1d7454b050948a3

Size: 105,960 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-5_all.deb)
SHA1: b56907973b863449e8cf0b95cdf46cd535039cec
SHA256: a96b7fa608661b6adb48bbf3e5349c4f3602227d53ec2d425180e7278ffeed5c

Size: 143,292 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-5_amd64.deb)
SHA1: 39c5f2775d819383486c4267257fb0e6751e2d66
SHA256: a8b278dedfba18ec6802708541de0255cb1e38cc2fbf0071ab5a2ce0bbae970f

Size: 16,214,628 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-5_all.deb)
SHA1: 555641103a506d3b2d05ef75327abb189bde615f
SHA256: 05c2de45818c7235272f237308c25425f64825dd33d0c51242c1ff2a3eea3840

Size: 2,760,176 bytes

Other checksums

Submissions

4c3ziazk
Submitted
Thu, 13 Sep 2018 03:53:02 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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