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
Sun, 12 Feb 2023 06:40:20 +0000
Build-Path
/build/agda-2.6.2.2

First submitted
Sun, 12 Feb 2023 07:12:03 +0000
SHA1 of .buildinfo
ca73aa45bff047493d7bf9a1a931a435e5b5568e

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: 76795983e5950bda30cb09f37e0f1860dd86fb57
SHA256: 45be4dce32ef01d7589077619a70232ce6af88b921cec77ae786ce10b40007de

Size: 12,252 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: d238e2a0fd62d67957ba2b7d3f9c7cb10f1872a6
SHA256: be0256386111dcfd967e02984c8928856824cff4c5052d852538052dd8bf5ffd

Size: 7,752,376 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: 42c6e96ba29e1bb661849d01c56e741795863bb6
SHA256: af7039dba37a53b32e59a3860d2bc67c40064970bd0ffc471506b5cd590b7477

Size: 50,888 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 95a98eb7f285aa8c0c34d2a1c755f8d765dbda0c
SHA256: 2ba81f3197066de43f1c8cd2c1049f1ac1b66292ac8fefbbe924f10253e1f406

Size: 24,862,740 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: ff06bb653bc012ac2422e8739eeee146dbd576fa
SHA256: 2737109e468984892381c3d4cae413ed8227d2535c16cad3ff9702be0cd034e4

Size: 6,600,112 bytes

Other checksums

Submissions

ojzqqiw7
Submitted
Sun, 12 Feb 2023 07:12:04 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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="1670342260"