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
Mon, 4 Apr 2022 10:37:15 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Tue, 2 Mar 2021 04:14:24 +0000
SHA1 of .buildinfo
69e091816f3aad330ab96cda9f57474ee1626be6

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 057a9af1caf6504f0f32898e1b083a639528a03e
SHA256: c1948f7b0b77c6b6f293c34c8b043df990a41d8a88b8a75dd1599ff28f76a64b

Size: 28,840 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 765e55320a0bdebc24a378010d3b17af202b0c6e
SHA256: d23dd0d9e16cdb1ddf6e0b45c07306e0de1da122386dff7a1638840d52193ded

Size: 8,909,544 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: cf7f0cc5b249f399779b2ef94e83e1aaa5d7b133
SHA256: 7d76fc044daabc55f4967b96e774d36600c6f05c64af1374096bfb656e1b9ce5

Size: 66,968 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: c23c4cdf15f1968f7d587ebca47eafc88429954c
SHA256: bdcb99dae34618b8de1920774bf5e0f90cc7db204e2c179ae292500ebbfa5a23

Size: 37,945,560 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: e05d8e2a5e660f4997643561835caa30a1885d27
SHA256: 666ac32ea3d18f4a9c93ceaf8ea00eda5a1a59a61d2eda876210a4e87a9fe2ad

Size: 5,912,992 bytes

Other checksums

Submissions

kcj79bhy
Submitted
Tue, 2 Mar 2021 04:14:24 +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="1596036884"