Startseite » Trisquel » Probleme
Verfasst von SalmanMohammadi am Mi, 02/27/2013 - 23:58

[Broken dependency] coq-8.3pl3+3.12.1 [needed by libwhy-coq]

Projekt:Trisquel
Version:6.0
Komponente:Packages
Kategorie:Fehlerbericht
Priorität:normal
Zugewiesen:nicht zugewiesen
Status:can't reproduce
Beschreibung

Package libwhy-coq is broken.
Missing dependency package: coq-8.3pl3+3.12.1

SalmanMohammadi:
Do, 02/28/2013 - 00:41
Status:active» can't reproduce

Package is unavailable in upstream.
http://packages.ubuntu.com/precise/libwhy-coq