LinkedIn
Bug,
J'aimerais vous inviter à rejoindre mon réseau professionnel en ligne,
sur le site LinkedIn.
Elias
Elias Tahhan
Profesor Titular (Jubilado) chez Universidad Simón Bolívar
Région de Clermont-Ferrand , France
Veuillez confirmer que vous connaissez Elias Tahhan :
https
It is solved in Jaunty 9.04 amd64, all acl2 packages are consistente with
respect to dependency.
Thanks for following this bug.
Best regards
Elias Tahhan
On Fri, Jul 17, 2009 at 9:36 AM, Pedro Villavicencio
wrote:
> Thank you for taking the time to report this bug and helping to make
> Ubuntu bet
** Attachment added: "Dependencies.txt"
http://launchpadlibrarian.net/15330913/Dependencies.txt
** Attachment added: "ProcMaps.txt"
http://launchpadlibrarian.net/15330915/ProcMaps.txt
** Attachment added: "ProcStatus.txt"
http://launchpadlibrarian.net/15330916/ProcStatus.txt
--
acl2-b
Public bug reported:
Binary package hint: synaptic
I Tried to install acl2 packages on 15 june. I have installed amd64 version of
Hardy Heron.
acl2 packages versions are not consistent,
some of them are 3.3-1ubuntu1 and others are 3.1-1
ProblemType: Bug
Architecture: amd64
Date: Sun Jun 15 03:2
