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, 21 Mar 2023 12:54:23 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Wed, 16 Feb 2022 08:38:10 +0000
SHA1 of .buildinfo
4b7d1bb0798e5733c116cac1e9724e615b3ed42c

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: af7f703714b824e32d4ae1b16a420cc7e2fa7cc0
SHA256: f1f56993a72ed853c4d8d2e0cee9b1a3bb0133d58508b13f00e1e1dbef91a92b

Size: 28,928 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 6d2efe9b11be39fba0a6753f7669a83fddb80332
SHA256: 96c3da95e5f63f3696d3251b4d78cd56e83b55dbb895285b0ff4715cc55104d0

Size: 8,910,264 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 65427cfef545040afe20bfd7c20ce5f033ceb5e9
SHA256: b5993dcb00e34c790c946211ba78faa9165fb7754454063909fd2566a965729b

Size: 67,032 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 07ab3f01080e6cdd60094a909f6426026c19edc1
SHA256: 8f47cde1435596dad3bed82d4b6a29bedf6be44991d3ef8a36168451df1210e6

Size: 37,925,000 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 8b5a1a7912bd780ecaffcf1eec0f18f482ca03aa
SHA256: 9865e920765f929adc9a96e1af10874cb2efd78fef2601b18982d1829ca8edd6

Size: 5,913,300 bytes

Other checksums

Submissions

nnggzff7
Submitted
Wed, 16 Feb 2022 08:38:11 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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"