agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 7 Nov 2021 16:07:33 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sun, 7 Nov 2021 16:07:43 +0000
SHA1 of .buildinfo
a0c5cf3097adbb71b18133875dc676b24c171db5

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 8c8825644b12abb57304cf2406a1306ab875695a
SHA256: 5e6ea676b15f6f76a3696d545a12520dcd26369ca8c28bbb28ca4c0f81ae7d39

Size: 28,860 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 315fae6432a2a4934699699053d6fe313af2be98
SHA256: 8f0946b94fb5c8c155dd3d85b9bff79a781ede674a231d234f97044799a35c9d

Size: 8,909,556 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: f3a80faa154110745e8d4302b4813233d177ea72
SHA256: c53481aa27bb191d9fc2d4353c305a8be0e32872454785a702e0eb9106c34a59

Size: 66,968 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 494c9bcdfe5c46e041854857aa193267ca67fb66
SHA256: 328214fed5bdbef06b39cc8754f1b42305232e89d9e7b12ee2dd63f4f6707a21

Size: 37,945,652 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: aa6f58882100ec4dd446804eac67c650ff75db7f
SHA256: 8f5634855c997f202b1ead5b7c16c699b24dc70830e8b3df98107ae042af909e

Size: 5,913,028 bytes

Other checksums

Submissions

kfcmdrxe
Submitted
Sun, 7 Nov 2021 16:07:44 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"