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
Thu, 25 Aug 2022 10:05:55 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Fri, 23 Jul 2021 07:10:36 +0000
SHA1 of .buildinfo
c54e4edd86aa361d2118d92a5ba11803250ed5b6

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: cf64f7e6fbf89b555f5ea70695578be54163ab0c
SHA256: f33465b57461350ed23783929f6bbe3e2d8b96685c43234af4688ea840abc32a

Size: 28,828 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 79cdca461a9ec8659a78758b1c7b90aacc36fb0f
SHA256: ef032697f803862adce0fb4a5c42d3719ce6f7d81c2a34a6d045533ff9990ce6

Size: 8,909,520 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 97fab9c0450ada83675f2ed459c23aa5cdea1e91
SHA256: f37afb613ac1dbcde7aef67bb7317e90ae348f8984164fac42f02e26f43b8964

Size: 66,924 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: f58d6d2b0a84aad7fb420ad74392b6605a1f6f7e
SHA256: 5c7996575a2b54afd08324edc7731d22abcabcfe1223c0b22579a31d5aee4638

Size: 37,945,560 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 38c77aebab375ed236e568e895510a6b773f5a56
SHA256: 23c73260876e11b68baa3c109ccd6a2c0e07a7319dc28abd2a82f54d3a222d21

Size: 5,912,972 bytes

Other checksums

Submissions

shsnm37q
Submitted
Fri, 23 Jul 2021 07:10:37 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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