Package: okteta Version: 4:4.4.5-1 Severity: normal --- Please enter the report below this line. ---
Hi, for my project I used Okteta to debug the output files, however after creating the structures definition file (according to attached help page), Okteta wouldn't load them. I tried the same with elf structure (delivered with Okteta package) and png structure (fom KDE's SVN repository) with identical result. Thanks, Jan Kriho Here is the dump from CLI: $ okteta projects/divine/examples/peterson-naive.dss okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410)/oktetakasten EnumDataInformation::EnumDataInformation: incompatible types in definition and value: 2 and 3 okteta(14410) KXMLGUI::ActionList::plug: Index 10 is not within range (0 - 9 okteta(14410)/kdecore (services) KMimeTypeFactory::parseMagic: Now parsing "/home/erbureth/kdevelop-4.1/share/mime/magic" okteta(14410)/kdecore (services) KMimeTypeFactory::parseMagic: Now parsing "/usr/share/mime/magic" okteta(14410)/kdecore (services) KMimeTypeFactory::parseMagic: Now parsing "/home/erbureth/.local/share/mime/magic" okteta(14410)/kdecore (KPluginInfo) KPluginInfo::kcmServices: found 0 offers for "elf" okteta(14410)/kdecore (KPluginInfo) KPluginInfo::kcmServices: found 0 offers for "DSSFile" okteta(14410)/kdecore (KPluginInfo) KPluginInfo::kcmServices: found 0 offers for "png" --- System information. --- Architecture: amd64 Kernel: Linux 2.6.37-trunk-amd64 Debian Release: 6.0 950 testing www.debian-multimedia.org 950 testing security.debian.org 950 testing ftp.cz.debian.org 925 stable ftp.cz.debian.org 900 unstable ftp.cz.debian.org 850 experimental ftp.cz.debian.org --- Package information. --- Depends (Version) | Installed ================================-+-============= kdebase-runtime | 4:4.4.5-1 libc6 (>= 2.2.5) | 2.11.2-7 libkdecore5 (>= 4:4.4.0) | 4:4.4.5-2 libkdeui5 (>= 4:4.4) | 4:4.4.5-2 libkfile4 (>= 4:4.4) | 4:4.4.5-2 libkio5 (>= 4:4.4) | 4:4.4.5-2 libkparts4 (>= 4:4.4) | 4:4.4.5-2 libkutils4 (>= 4:4.4) | 4:4.4.5-2 libqca2 | 2.0.2-1 libqt4-xml (>= 4:4.5.3) | 4:4.6.3-4 libqtcore4 (>= 4:4.6.1) | 4:4.6.3-4 libqtgui4 (>= 4:4.6.1) | 4:4.6.3-4 libsolid4 (>= 4:4.4) | 4:4.4.5-2 libstdc++6 (>= 4.1.1) | 4.4.5-8 Package's Recommends field is empty. Package's Suggests field is empty.
signature.asc
Description: This is a digitally signed message part.
