agda_2.5.3-3_all.buildinfo (view)

Source
agda
Version
2.5.3-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 4 Aug 2019 21:06:18 +0000
Build-Path
/build/agda-2.5.3

First submitted
Mon, 2 Jul 2018 14:43:19 +0000
SHA1 of .buildinfo
76e51986f133ee8071c1861a7992b2dd2e13458f

Binaries

agda (agda_2.5.3-3_all.deb)
SHA1: 01ee32f37cd2fee17e9faeb0ffc9811022ab920e
SHA256: 0852ff4cbbf9833bbe9dc8a8f076cb1669bd5f931c38b13ddc44f596dec46789

Size: 106,240 bytes
agda-bin (agda-bin_2.5.3-3_amd64.deb)
SHA1: 976e273264b90db9966ce807664a1d32c7aa4ea8
SHA256: 5e71f29dfc414b46e1bd6cc48d8db7350d6bb34b6fc7417d0be956e177c9acdd

Size: 5,816,908 bytes
agda-mode (agda-mode_2.5.3-3_all.deb)
SHA1: f6e97325964c16271539b2617223c11eca7c5cad
SHA256: 6a6830bd32f8521c15f2d49a65cf19470dc50f88c7ec66f653d2c7257693696e

Size: 105,828 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.3-3_all.deb)
SHA1: d83fb7b11da9195f699ad98f3b3a0c8960501fb4
SHA256: 8b065f4f31d7aa33c2844441d68fb2ebc8416f921e9761771c12c8a4346b4ea2

Size: 143,196 bytes
libghc-agda-dev (libghc-agda-dev_2.5.3-3_amd64.deb)
SHA1: 39f26f1a94a3738c5309776f501f5eaac13b223e
SHA256: 7ba3ac58f44227b8a35e633be790c3ec576c3e5da8e016cee44ea7aebfd69ae0

Size: 15,973,968 bytes
libghc-agda-doc (libghc-agda-doc_2.5.3-3_all.deb)
SHA1: 8c021e91d327e3c16cb82ee784e5833e7ac60392
SHA256: 2b5bd4ac50b9e429e7e6dbde6ace0cb0d8e6b0666d60707626bd0c79b83fb55e

Size: 2,862,560 bytes

Other checksums

Submissions

4oo7ggav
Submitted
Mon, 2 Jul 2018 14:43:19 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507949671"