Ubuntu
frama-c package

Problem with dependency

Asked by Nikolaos S. Papaspyrou

Is it just me, or is there a problem with the dependency to liblablgtk2-gnome-ocaml-crv15 in oneiric?

It seems that liblablgtk2-gnome-ocaml version 2.14.2+dfsg-2 does not provide that anymore.
Version 2.14.2+dfsg-1build1 did provide it, so you have to hold on to that.
It seems it also has something to do with libpanel-applet2-0, which is not available anymore.

Bottomline, are people using frama-c in the latest oneiric and therefore am I doing something wrong, or does it need to be fixed?

Thanks,
-- nickie

Question information

Language:
English Edit question
Status:
Answered
For:
Ubuntu frama-c Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#1

Try:

sudo apt-get -f install

May help. Are there any bugs reported?

Revision history for this message
Nikolaos S. Papaspyrou (nickie-7) said : 		#2

> sudo apt-get -f install
[sudo] password for root:
Reading package lists... Done
Building dependency tree
Reading state information... Done
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.

The "1 not upgraded" is liblablgtk2-gnome-ocaml, which I have held at version 2.14.2+dfsg-1build1 because if I upgrade to 2.14.2+dfsg-2 then a chain of things happen and frama-c-base breaks. I have also kept the (obsolete) package libpanel-applet2-0 version 1:2.32.1-0ubuntu6.5, which is needed for liblablgtk2-gnome-ocaml, version 2.14.2+dfsg-1build1 (the newer version 2.14.2+dfsg-2 does not depends on that). Apart from these two, nothing weird on my system.

As I understand it, the frama-c gui needs the older version of the gnome panel applet.

If you just do "aptitude update" followed by "aptitude install frama-c", does it work? If yes, let's please compare packages so I can understand what I've done wrong.

Thanks,
-- nickie

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#3

Why is your username root?

Revision history for this message
Nikolaos S. Papaspyrou (nickie-7) said : 		#4

My username is not root.
I've set up sudo to ask for root's password (rootpw option).

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#5

makes little sense but, ok.

Can you give the output of:

lsb_release -a

Thanks

Revision history for this message
Nikolaos S. Papaspyrou (nickie-7) said : 		#6

> lsb_release -a
LSB Version: core-2.0-ia32:core-2.0-noarch:core-3.0-ia32:core-3.0-noarch:core-3.1-ia32:core-3.1-noarch:core-3.2-ia32:core-3.2-noarch:core-4.0-ia32:core-4.0-noarch:printing-3.2-ia32:printing-3.2-noarch:printing-4.0-ia32:printing-4.0-noarch
Distributor ID: Ubuntu
Description: Ubuntu oneiric (development branch)
Release: 11.10
Codename: oneiric

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#7

Then I suggest you report a bug. Oneiric is riddled with bugs and issues

Can you help with this problem?

Provide an answer of your own, or ask Nikolaos S. Papaspyrou for more information if necessary.

To post a message you must log in.