FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.

» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Ubuntu > Ubuntu Masters Of The Universe

LinkBack Thread Tools
Old 05-17-2008, 12:30 PM
Axel Gross
Default coq-doc conflicts with coq-libs

FYI: In the repos there is just a conflicting doc package

Package: coq-libs
Version: 8.1.pl3+dfsg-1
Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)

Version: 8.1+dfsg-6
Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)

$ apt-cache policy coq-doc
Mögliche Pakete:8.0pl1.0-1
8.0pl1.0-1 0
500 http://localhost gutsy/universe Packages
160 http://mirror.switch.ch hardy/universe Packages

Ubuntu-motu mailing list
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-motu

Thread Tools

All times are GMT. The time now is 12:04 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright ©2007 - 2008, www.linux-archive.org