On Fri, Feb 02, 2018 at 04:23:37PM +0100, Christophe Trophime wrote:
> Hi, 
> I would like to update a package feelpp from its latest release 0.103.2 to a 
> more recent development version. 
> I've tried to define the newest version as: 0.103.3+gitREVNUMBER with 
> REVNUMBER the id of the git commit 
> 
> The trouble is that when trying to update locally my package which are stored 
> in a local repo 
> apt still wants to install 0.103.2 version instead of the newest 
> 0.103.3+gitREVNUMBER 
> 
> What do I miss to get the dev version to be installed? 

Since 0.103.3+gitREVNUMBER > 0.103.2 (can be easily checked with "dpkg 
--compare-versions"),
the problem does not come from versioning, but more likely from apt pinning.

What's the output of "apt policy $PACKAGE" ?

-- 
⢀⣴⠾⠻⢶⣦⠀  Sébastien Villemot
⣾⠁⢠⠒⠀⣿⡁  Debian Developer
⢿⡄⠘⠷⠚⠋⠀  http://sebastien.villemot.name
⠈⠳⣄⠀⠀⠀⠀  http://www.debian.org

Attachment: signature.asc
Description: PGP signature

Reply via email to