Thank you for reporting this bug to Ubuntu. Ubuntu Ubuntu 8.04 reached End Of
Live on May 12, 2011
See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
I have tried to reproduce with the latest developer version of Ubuntu,
but could not.
Please upgrade to the latest stable version(Ubuntu 12.04) and re-test.
If the bug is still reproducable, increase the verbosity of the steps to
recreate it so we can try again and set the status of this report back
to new.
Run in this case from Ubuntu12.04 terminal(or press ALT +F2 and enter
the following then):
apport-collect 237381
Do feel free to report any other bugs you may find.
----------------------------------------------------------
Howto Upgrade:
Look at the "software sources" of your system. There should under the
menu point "actualization" some entries about notifications.
Set them all to the shortest times available. The last entrie there
should be something like notify about newer ubuntu versions.
Apply this changes and reload your package sources : e.g synaptic relaod
or update manager(Software updates).
You should after this get a notification(try a bit arround until the
sytem recognize) about a release upgrade from the update-manager(may be
called Software updates).
Run this.
!Make first a backup of your system!(e.g. dejadub)
The upgrades has become more and more stable in the last years, but the
procedure is a complicated one for the software and may under
circumstances render your system unbootable.
The whole upgrade may take some hours.
Good luck!
-------------------------------------------------------------------------------------
Please iterate this until you have reached the actual version
Ubuntu12.04.
** Changed in: proofgeneral (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/237381
Title:
proofgeneral-coq doesn't work on Hardy
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/proofgeneral/+bug/237381/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
