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

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

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

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



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

Thread Tools




All times are GMT. The time now is 03:58 AM.

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