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
Thu, 6 Dec 2018 20:51:35 +0000
Build-Path
/build/agda-2.5.1.1

First submitted
Fri, 3 Nov 2017 15:23:31 +0000
SHA1 of .buildinfo
5d8e0af5b17da582444769738a78712e19ce3e35

Binaries

agda (agda_2.5.1.1-3_all.deb)
SHA1: c55bc94f4b3ad640159cb6617b5fc8e336390832
SHA256: 42d6efd7aef4e8862e2f11f1ea8e98365ea7c732b5027fec590d84dbd66529e9

Size: 80,218 bytes
agda-bin (agda-bin_2.5.1.1-3_amd64.deb)
SHA1: 8eddec1a21518a9d63c7922e3980e0ce189edb1e
SHA256: ddde9e8beab37cf6076eebbb14849e5af8914499c15282a353e94ca095cf809d

Size: 5,219,274 bytes
agda-mode (agda-mode_2.5.1.1-3_all.deb)
SHA1: 1a5b6360a2ea6b04300bcc7a25a7a966379e6b18
SHA256: 5f15bedb65f1e5e56adbae4ff88bf84e05d45cbb095ed27adf965df7a5d91da7

Size: 79,794 bytes
elpa-agda2-mode (elpa-agda2-mode_2.5.1.1-3_all.deb)
SHA1: 9afcf9fc84d76adddb96475538050018e8eb166c
SHA256: c5486f1785890d64723e8be126a41581dae4d3f5cf357e66f7efd731f325df6a

Size: 115,388 bytes
libghc-agda-dev (libghc-agda-dev_2.5.1.1-3_amd64.deb)
SHA1: 41d85a38bb8fda3c9abfcf7a889242b08c33fb88
SHA256: 243ba6ab5d8979e0698e5b378af0e2b86c0c8367e5ba5981ea85035b99e4f879

Size: 13,237,092 bytes
libghc-agda-doc (libghc-agda-doc_2.5.1.1-3_all.deb)
SHA1: 73ee974dd5fc1e276150603519c39c16b06d84ad
SHA256: 58470abbcb4650ada125808c4e1d70755fa6b5e8e065d4e2e83879d3797f21f4

Size: 2,655,474 bytes

Other checksums

Submissions

hq7tksbo
Submitted
Fri, 3 Nov 2017 15:23:31 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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