agda (2.6.2.2-1)_2.6.2.2-1+b1_mips64el.buildinfo (view)

Source
agda (2.6.2.2-1)
Version
2.6.2.2-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sat, 1 Oct 2022 09:09:44 +0000
Build-Path
/build/agda-knc22B/agda-2.6.2.2

First submitted
Sat, 1 Oct 2022 12:14:28 +0000
SHA1 of .buildinfo
f457c9569f3c3e8070e97905bba1c6d04d46eb88

Binaries

agda-bin (agda-bin_2.6.2.2-1+b1_mips64el.deb)
SHA1: b1bca26dd8637c1bf1e305ece4694bf9196914a6
SHA256: 1ec221eca2a81c83383994aa88040273634f12f7b510f1b36f487a73dbefce7b

Size: 15,264,688 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b1_mips64el.deb)
SHA1: 7e8c5a415dfdb45f497fd42138d9b498926923fa
SHA256: 76acfc9cc91066a7cf7aff86d0471fc95f7d11a86eba9f1cf3c574c801fe4c5b

Size: 36,407,884 bytes

Other checksums

Submissions

3dwohzub
Submitted
Sat, 1 Oct 2022 12:14:28 +0000
Signed by
0x58DF1DC150DADE9C

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1664595010"