agda uninstallable, needs to be rebuilt against ghc 7.10.3-4.1

Bug #1529707 reported by Anders Kaseorg on 2015-12-28
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
agda (Ubuntu)
High
Unassigned

Bug Description

$ sudo aptitude install agda
The following NEW packages will be installed:
  agda agda-bin{a} agda-mode{a} agda-stdlib{a} agda-stdlib-doc{a} libghc-agda-dev{ab} libghc-geniplate-dev{ab}
0 packages upgraded, 7 newly installed, 0 to remove and 0 not upgraded.
Need to get 27.6 MB of archives. After unpacking 176 MB will be used.
The following packages have unmet dependencies:
 libghc-geniplate-dev : Depends: libghc-base-dev-4.7.0.2-5ef1e which is a virtual package and is not provided by any available package.

                        Depends: libghc-mtl-dev-2.1.3.1-04d52 which is a virtual package and is not provided by any available package.

                        Depends: libghc-template-haskell-dev-2.9.0.0-c1976 which is a virtual package and is not provided by any available package.

 libghc-agda-dev : Depends: libghc-quickcheck-dev-2.7.6-4855d which is a virtual package and is not provided by any available package.

                   Depends: libghc-stmonadtrans-dev-0.3.2-aee37 which is a virtual package and is not provided by any available package.

                   Depends: libghc-array-dev-0.5.0.0-04535 which is a virtual package and is not provided by any available package.

                   Depends: libghc-base-dev-4.7.0.2-5ef1e which is a virtual package and is not provided by any available package.

                   […]

(Should agda, agda-mode, and agda-stdlib really depend on libghc-agda-dev?)

Hans Joachim Desserud (hjd) wrote :

Thanks for reporting.

Marking confirmed since I get similar error messages when attempting to install agda on Ubuntu Xenial. Though I don't know, it is possible this is part of the ghc transition and will be resolved once that is done. See http://people.canonical.com/~ubuntu-archive/transitions/html/ghc.html for more details.

Changed in agda (Ubuntu):
status: New → Confirmed
tags: added: unmetdeps xenial
Changed in agda (Ubuntu):
importance: Undecided → High
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers