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
Wed, 29 May 2024 05:20:38 +0000
Build-Path
/build/1st/agda-2.6.2.2

First submitted
Thu, 27 Apr 2023 00:02:10 +0000
SHA1 of .buildinfo
6eb4ebdd38749c33ccf7930719e12d3334a5fc2f

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: 28a535d1d608f1f4b34de03d3f7e56a0ab12decf
SHA256: 8eb6977760bd403d27e6c2b914beb9511e271bbb6dcbbc08eca6f4f037e24d0e

Size: 12,308 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 518240d101520315d5eb284aa122afc09d1309e3
SHA256: de2f8dd15b5251ac377f90956ed2c48d0556ecff81c816f3040a5a6b0e62aee9

Size: 7,752,432 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: 95ac52a1b83800b07d2b6dfab06054925b9b87bb
SHA256: 4867a0c4236f699acdc9299fc0cb0f5d9d5c982f9703c021779a31523f18c861

Size: 50,960 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: c30df35f457b9f42e7552996d468e912022c02e6
SHA256: 97b8afe764b6c866c3e85b0af89e58a49aacf3e1a1758f734828c0e9d9ac79f5

Size: 24,862,804 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 1ca4c9f5fd257a6db2522152ef67c76494159330
SHA256: edb79b29690496a167e86a7ba5da1186a2cb06fc7e4f91105037c0ede3e9f5f8

Size: 6,600,188 bytes

Other checksums

Submissions

ktxnryz3
Submitted
Thu, 27 Apr 2023 00:02:10 +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"