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-----
