On 01/25/2013 11:22 PM, Roland Kaufmann wrote:
>
> In debian/control:
>
> > @@ -0,0 +1,41 @@
> > +Source: libopmcore
> > +Priority: extra
> > +Maintainer: Arne Morten Kvarving <arne.morten.kvarving@sintef.no>
> > +Build-Depends: build-essential, debhelper (>= 8.0.0), libboost-filesystem-dev, libboost-system-dev, libboost-date-time-dev, libboost-test-dev, libsuperlu3-dev, gfortran, libsuitesparse-dev, autotools-dev, automake, libtool, libdune-common-dev, libdune-istl-dev
> > +Standards-Version: 3.9.2
> > +Section: libs
> > +Homepage: http://opm-project.org
> > +Vcs-Git: git://github.com/OPM/opm-core.git
> > +Vcs-Browser: https://github.com/OPM/opm-core
> > +
> > +Package: libopmcore-dev
>
> Shouldn't this be
> Package: libopmcore1-dev
> Provides: libopmcore-dev
>
> —
> Reply to this email directly or view it on GitHub 
> <https://github.com/OPM/opm-core/pull/112/files#r2781923>.
>
afaik no. you don't have numbered headers, as older copies of libraries 
are only there for runtime.