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
Tue, 9 Feb 2021 10:02:11 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Tue, 9 Feb 2021 11:12:23 +0000
SHA1 of .buildinfo
f02992a2ba5d53c4248b78052bee36cd32790e2b

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 653277716b8679d65e53307e28d611f0a6356fe0
SHA256: 1b2dc034e7a5e1e39442b116bbb98e507b68ce202e55344f394264ec2e884b41

Size: 28,840 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 7a99056dc0e343d54c8ec1edcd9ebce4a8b21826
SHA256: 37efcd30f00841fa7d0d1358e46ccb5e9ba2cfca37e8917104ee25740ef03510

Size: 8,909,540 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 3d81bd32e389130cb9fc4782640eaa59a1a47c9a
SHA256: e2dc19d66056ad87f2072bf937b205655b303ec18fd47d9efdd10156c23de18d

Size: 66,952 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 133f61fb161555df2b6a58f4b1cf28de17d8e0cd
SHA256: 704d5bc3a80610c76e9ce23374019a1f0704d7898b2cb69b9eb4af62df2b87d1

Size: 37,945,648 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 9a834462f7a19ac731d90bdee5d3ec52abe804d2
SHA256: 7ea8abc33f717e4dda8bd8638a30c9613091055e1c5a689f2a6eddc9cf43c444

Size: 5,913,036 bytes

Other checksums

Submissions

xdco9xaa
Submitted
Tue, 9 Feb 2021 11:12:24 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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