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, 10 Jul 2023 17:15:41 +0000
Build-Path
/build/2/agda-2.6.1/2nd

First submitted
Tue, 7 Jun 2022 10:52:54 +0000
SHA1 of .buildinfo
3e296b20f05a603d982955e2ad2954fc6445c2dc

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 77289072ebbbb78406a9f102bf22034d9606d542
SHA256: fff4b0ca11034e677614532fe98dadbf59413a494c00da6af12f4f9639ff633e

Size: 29,228 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 67a8c293fcf46862c34293e07e2ea3f84c9335ee
SHA256: 4799e014ca1bc4b958edbc8362a97c7617b6edbc00362866a30f56455e7de024

Size: 8,910,184 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 57c6f1d2912133dc6e50cdab8aa8b6229795b68b
SHA256: e9295851900b1c704278b8139c399851e7d293ff80d0ca3ce721ce15447332a8

Size: 67,324 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: b2527d43c6c7c958121c5c58974e05618a995674
SHA256: 4cfbf667807b8d90c3b531f1f167d34dba654e0066395216242208f8047ed3fa

Size: 37,936,924 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 3a41dd0e47de77734ab497e114a667da71a6db22
SHA256: db4f6ce3be634a502ac9e2498149fb7e242b61d38c2b95269acae5349e8e0ab5

Size: 5,913,588 bytes

Other checksums

Submissions

yre7hng4
Submitted
Tue, 7 Jun 2022 10:52:54 +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"