Inicio » Trisquel » Incidencias
Enviado por SalmanMohammadi el Jue, 02/28/2013 - 00:58.

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

Proyecto:Trisquel
Versión:6.0
Componente:Packages
Categoría:informe de fallo
Prioridad:normal
Asignado:No asignado
Estado:can't reproduce
Descripción

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

SalmanMohammadi:
Jue, 02/28/2013 - 01:41
Estado:active» can't reproduce

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