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, 31 May 2022 15:20:02 +0000
Build-Path
/build/agda-2.6.1

First submitted
Wed, 28 Apr 2021 12:16:18 +0000
SHA1 of .buildinfo
d22d15386296d32642ce4c4d76ad60638b694855

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 07caf99c994cb78529bcc90c4297d5bfcb52a479
SHA256: 0ce46023deb5bb40f80101f13851e39ba73b78ab209d5868c6badeeab31062fc

Size: 28,852 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 98e68f5ea366bce563f942b2bc121cad8b5f667f
SHA256: a5abc42b0479e3219d9605972a8069cd424ebfa3703952016afefdde5eaef84a

Size: 8,909,548 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 50ea13829ab663e444863119c8e68f5506763708
SHA256: 91cec620411e8b3e91280a25985dbcb0b62c65aaf8b370b1f961e1bf997d3fd6

Size: 66,996 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: ff9227a4206e1dbf5c85d33fd63d0f3b0776e830
SHA256: a37c4c113d1a141bde6e010e4687d2debaf782885721a5e17a31401f2b1611cd

Size: 37,945,508 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 72780cba45fb643356503c8f8010905be34b585e
SHA256: 587db6c9a987b5f5aa2a304239d64f0f6f8a603ace17c4804b31b23a02782a60

Size: 5,912,992 bytes

Other checksums

Submissions

t49gecpu
Submitted
Wed, 28 Apr 2021 12:16:19 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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