Public bug reported:
$ 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?)
** Affects: agda (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1529707
Title:
agda uninstallable, needs to be rebuilt against ghc 7.10.3-4.1
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1529707/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
