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
Fri, 10 Dec 2021 23:27:47 +0000
Build-Path
/build/1st/agda-2.6.1

First submitted
Sat, 11 Dec 2021 00:19:26 +0000
SHA1 of .buildinfo
0275c10a603e857100cce66627e462422212d83b

Binaries

agda (agda_2.6.1-1_all.deb)
SHA1: d53b5a948cdc4218d1039099ea5a0e73b4853941
SHA256: 300f1833d3d06d35d32461b554fcd99104736471cbefa9379b9f4a7daa29091b

Size: 28,936 bytes
agda-bin (agda-bin_2.6.1-1_amd64.deb)
SHA1: bdf710fa9671980618ee633f7151a4bc9ea78e93
SHA256: d84b72c4135ac2a15cf6df1916bd5b7cc00493c9969c78541c8c4fb963e50a58

Size: 8,910,652 bytes
elpa-agda2-mode (elpa-agda2-mode_2.6.1-1_all.deb)
SHA1: 3b2d5b0dae443fbda8f46fad5556d6053a673531
SHA256: 0414d5d3e02a6f310ec608ae0e10e5ab57b595b924ef628926d7e4f528dfc573

Size: 67,052 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1_amd64.deb)
SHA1: 1f165abc5cb95a9e1f0ed178bc5e37f145705f21
SHA256: 0d1140bc591c10f31fa047925a7cee1df942b61b3f2d5b547b0e4cc665641f12

Size: 37,935,200 bytes
libghc-agda-doc (libghc-agda-doc_2.6.1-1_all.deb)
SHA1: 1e77c09609570da036d197f49822ac9ac5686838
SHA256: a439a967e6ab3f4aaca1f2d12bbcf9f475ddfefbe9969132efa08e56da5bb65f

Size: 5,913,296 bytes

Other checksums

Submissions

ynxftqvr
Submitted
Sat, 11 Dec 2021 00:19:26 +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"