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
Thu, 16 Jun 2022 06:57:14 +0000
Build-Path
/build/agda-2.6.1

First submitted
Thu, 16 Jun 2022 10:15:56 +0000
SHA1 of .buildinfo
49cdc0ce901fab2d60fecc2a6ecae5f5f9f08875

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: 067746d6eaf7b85c0ee448633a779c6b39cd9cbd
SHA256: ee588ff288bb800bc2c8670a657f9709674119d620dfac3484361c635996bd9c

Size: 29,224 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: 00f4e5f5707feb995f887afe68e5276a067ddce5
SHA256: fa2f4cc37cffbd82fdaeede06e18bbf117cff8a88f81d06ac6fe297b0c9c1f83

Size: 8,910,180 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 984094422699e370a49d70d5e7690f9137e4210f
SHA256: 53347e18bf388b8b6f58b598337659ae35c55ca50540a3e039484ff82bc1b4b9

Size: 67,340 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 3e5789746e4ae181f6e47e18d30d18eeae28f41d
SHA256: c0da97e5489679149e9bb2612edbfc758e3af4241041154135abf6df3652e52d

Size: 37,936,928 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 76d56aa0952e0a88eeaab8f6de8cd8f1b402cfa7
SHA256: 9ce8388659c37f986be9bd8b22eb5c5df1a1f566cc6cf36b46f1207957dd9fdf

Size: 5,913,556 bytes

Other checksums

Submissions

uo3b7wwj
Submitted
Thu, 16 Jun 2022 10:15:57 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1596036884"