Bug#907521: agda-bin: Dep on lighc-agda-dev should be stronger

[Boyd Stephen Smith Jr.]

Package: agda-bin
Version: 2.5.3-5
Severity: normal

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Maintainer,

* What led up to the situation?

Upgraded agda-bin to buster for new INJECTIVE pragma

* What exactly did you do (or not do) that was effective (or
  ineffective)?

After the upgrade, all invocations of agda fail:

agda: The lib directory /usr/share/libghc-agda-dev/lib does not exist
CallStack (from HasCallStack):
  error, called at src/full/Agda/Interaction/Options.hs:822:8 in Agda-2.5.3-2orSVPe5vZF84kX5CIEyhw:Agda.Interaction.Options

   * What was the outcome of this action?

In my case, easy enough to resolve by installing the *recommended*
libghc-agda-dev package or agda-stdlib.

   * What outcome did you expect instead?

I expected all dependencies that are required for fundamental operations to be
'Depends' not just 'Recommended'.  While I'm not 100% sure, I think the jessie
agda-bin package would operate without installing 'Recommends' as well.

- -- System Information:
Debian Release: 9.5
  APT prefers stable-updates
  APT policy: (900, 'stable-updates'), (900, 'stable'), (850, 'proposed-updates'), (700, 'testing'), (500, 'unstable'), (300, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.16.0-2-amd64 (SMP w/16 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8), LANGUAGE=en_US (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages agda-bin depends on:
ii  libc6      2.27-5
ii  libffi6    3.2.1-6
ii  libgmp10   2:6.1.2+dfsg-1
ii  libtinfo6  6.1+20180714-1
ii  zlib1g     1:1.2.11.dfsg-1

Versions of packages agda-bin recommends:
pn  libghc-agda-dev  <none>

Versions of packages agda-bin suggests:
pn  elpa-agda2-mode  <none>

- -- no debconf information

-----BEGIN PGP SIGNATURE-----

iHQEARECADQWIQTFhn3a8g2plxzZYyjnmmovsbVAWQUCW4YB7xYcYnNzQGlndWFu
YXN1aWNpZGUubmV0AAoJEOeaai+xtUBZJxoAoJRJbq0lMC/Gfh+9pqtrRz+RhBFj
AJ9lVafS8fUwA01/w0pNpucNXgiJZg==
=zniq
-----END PGP SIGNATURE-----