agda_2.6.1-1_all.buildinfo (view)

Source
agda
Version
2.6.1-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 6 Aug 2022 23:13:44 +0000
Build-Path
/build/agda-2.6.1

First submitted
Sun, 4 Jul 2021 16:51:10 +0000
SHA1 of .buildinfo
26ac90c75818b555febf0869a9394177fd454a74

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 0d9fcdb04132828cd26da84142ebc8436325f8ec
SHA256: ea51f2d3b65baae443b2084b1ec053cd16c1341440c9dd611496e541d8dfba0f

Size: 28,944 bytes
agda-bin (agda-bin_2.6.1-1_arm64.deb)
SHA1: 3d7f73c5b064d0e7d162fa6c961e0ff7007da7a3
SHA256: eaef432fa62dbcb1d326c2850c24c1271b6ca469fbbd2c1258dc1e266156bd93

Size: 10,367,640 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 71ec1d0c9283bbbce5353958b664870861c5fb6d
SHA256: 5e30c9cab59203dbbbc31bcfe627389080ec6ae7e4c9ae7f8140ff804870ba05

Size: 67,056 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_arm64.deb)
SHA1: b1f4b4424641a63e8e8660b24457b759b82ca8cd
SHA256: 8ffcb37641dd63e985e2be275f933a82f0e09247a7abc98305e540c0a4f722ff

Size: 44,791,316 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: f8215e6dda91a80790282b9d56ecf2052bd4da73
SHA256: a40119b2135d29f069f015878dd586c879c65da199a76b4751b56c36ce387ed5

Size: 5,914,424 bytes

Other checksums

Submissions

hppbntxk
Submitted
Sun, 4 Jul 2021 16:51:10 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1596036884"