agda_2.6.2.2-1.1_all.buildinfo (view)

Source
agda
Version
2.6.2.2-1.1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 12 Jan 2024 01:45:44 +0000
Build-Path
/build/1st/agda-2.6.2.2

First submitted
Fri, 9 Dec 2022 19:22:55 +0000
SHA1 of .buildinfo
5d976cc68e5dddd54fd74bb5ff2287030870fb56

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: a1a58b058fe870ecb42d8ee0675055b5c732eb2b
SHA256: 256c0d53ea71e0d683a7eea3f6f31cfef066c27a54ce55070d3d2e523237db02

Size: 12,316 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 9f3b75973ea653f7e93b50f6c0303a08487a4765
SHA256: c73ddbe56a348b6f8b49c9501d0d95c69094b86085dc6eadf630187af63fa548

Size: 7,752,328 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: a635b09140f6a7627438f2502f663463c7d4deed
SHA256: 1a4a9963743e3110c64f3bdb1583c3ff31f6e10269616ba4e77d83f860eb6d99

Size: 50,944 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 998c20755be855eb76894597e7269bf0ca6e3611
SHA256: a7a7f18c66450e1c8531e1a4660fd8dd9d1c16d4be293be6b6f16e8ee7d3d93d

Size: 24,863,456 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 3ffc021a66ee3a5f7eba2ae9f6f2e63d23e2bf64
SHA256: 79d0c9b93fdae40ce5ec917023eb97ad37e070672bde79231982d6d4b1993c46

Size: 6,600,116 bytes

Other checksums

Submissions

aik4xxtb
Submitted
Fri, 9 Dec 2022 19:22:55 +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="1670342260"