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
Sat, 21 Jan 2023 17:24:01 +0000
Build-Path
/build/2/agda-2.6.2.2/2nd

First submitted
Sat, 21 Jan 2023 17:32:45 +0000
SHA1 of .buildinfo
0e844bdfceb77a278f442abfd10b9fc48bed5607

Binaries

agda (agda_2.6.2.2-1.1_all.deb)
SHA1: ad40e3290cfab89f43a0b2d35727ed44415b95ed
SHA256: 2949d9f648eb01d0bc68dbe04452c9e2f8080293c0d279e2a765bee97c318590

Size: 12,244 bytes
agda-bin (agda-bin_2.6.2.2-1.1_amd64.deb)
SHA1: 346344479fa0339ab3f0d56c56c24dff2c33ccb7
SHA256: 19750ad61daad9741d7a5f7703f0ee1b5e1abd183c14d25fcc552b7e980ceb02

Size: 7,752,364 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.2.2-1.1_all.deb)
SHA1: 78911bd0285bd68d967616462a0dc2e8e00db959
SHA256: a9369c5a29dd7c0bfeacb53b134338ea962f6c4af96db851e0a7b050d64285a3

Size: 50,864 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1.1_amd64.deb)
SHA1: 02a3e3a076b88d3a7b8c6a20e5280327320ef1c4
SHA256: eb96e507540fad743bae76c2efe3861b6d12c0a20a926856e0205cb9e99204df

Size: 24,862,704 bytes
libghc-agda-doc (libghc-agda-doc_2.6.2.2-1.1_all.deb)
SHA1: 19895d3c46049fd94bd72290cb2f951fee63eca9
SHA256: d7b89b75e1b888872792873a6139a251d2a9ecb2244e9fd368538ee164a4d30e

Size: 6,600,204 bytes

Other checksums

Submissions

dxvzjkwo
Submitted
Sat, 21 Jan 2023 17:32:46 +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="1670342260"