agda (2.6.0.1-1)_2.6.0.1-1+b2_i386.buildinfo (view)

Source
agda (2.6.0.1-1)
Version
2.6.0.1-1+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 25 Jan 2020 17:30:12 +0000
Build-Path
/build/agda-0LXqWQ/agda-2.6.0.1

First submitted
Sat, 25 Jan 2020 19:45:41 +0000
SHA1 of .buildinfo
bb3a57a19249e0d42b07903c1e3c726094dd7f21

Binaries

agda ()
agda-bin (agda-bin_2.6.0.1-1+b2_i386.deb)
SHA1: 5938477c2d961ce5938b53c5cb270d6e0576dd8c
SHA256: 0d5235e29a7f0b86fa5cdfe7a816bb4ca19ffbc92e3840bfe84a4dca5ddc27ef

Size: 6,767,216 bytes
agda-mode ()
elpa-agda2-mode ()
libghc-agda-dev (libghc-agda-dev_2.6.0.1-1+b2_i386.deb)
SHA1: 1ec13046907a75bcb3fd4199955f0aa17f066867
SHA256: e263eb34592a3ccdc5672a2714fa4d733529fa8fd0d8c682b7b57885cfde3ea9

Size: 19,502,704 bytes
libghc-agda-doc ()

Other checksums

Submissions

mumsgzhv
Submitted
Sat, 25 Jan 2020 19:45:41 +0000
Signed by
0xDC30804AC2864A83

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1579972425"