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

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

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 26 Sep 2022 21:40:20 +0000
Build-Path
/build/agda-TTTdfk/agda-2.6.2.2

First submitted
Tue, 27 Sep 2022 00:25:09 +0000
SHA1 of .buildinfo
c1f6b8e46f791128c29750d06f08b05bb16859de

Binaries

agda-bin (agda-bin_2.6.2.2-1+b1_ppc64el.deb)
SHA1: 4650e1802a2db8246ab8217546b262e169e5d6f3
SHA256: e8a641d73a5dc3312e2d05ee80276f97f3097908c65a85ac24375b40cb92c1eb

Size: 10,610,996 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b1_ppc64el.deb)
SHA1: 9b1085a2d71ca144932b44dddad988f21ba2588c
SHA256: 1926cc9316ec2d307670efc8e3aae1d9cf26d0f05f3ba2777e2d34f8b5aa1da0

Size: 36,140,124 bytes

Other checksums

Submissions

obzqvvp3
Submitted
Tue, 27 Sep 2022 00:25:09 +0000
Signed by
0x667113CDA6A60D2C

Environment


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