Mantis Bugtracker

Einfache Problemansicht anzeigen Zu Notizen wechseln ] erweiterte Anzeige ] Problem-Historie ] Drucken ]
ID Kategorie Auswirkung Reproduzierbar Meldungsdatum Letzte Aktualisierung
0000131 [Bolt] general kleinerer Fehler nicht getestet 2015-02-22 16:17 2015-02-22 16:17
Reporter jll Anzeigestatus öffentlich  
Bearbeitung durch
Priorität normal Lösung offen  
Status neu   Produktversion 1.4
Zusammenfassung 0000131: missing camlp4of
Beschreibung It seems that on Ubuntu, bolt requires camlp4-extra to be installed, but the configure file does not detect that this is not the case, in particular that camlp4of is not available.
Zusätzliche Information
Tags Keine Tags zugeordnet.
Angehängte Dateien

- Problem-Beziehungen

Zu diesem Problem gibt es keine Notizen.

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2015-02-22 16:17 jll Neues Problem


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker