dolfin team mailing list archive

[Lorenzo Isella <lorenzo.isella@xxxxxxxxx>]

Åsmund Ødegård wrote:
> Hi Lorenzo -
>
> You should not be sorry, this kind of feedback is really helpful. I 
> will look into the situation and see what I can do. If I should guess 
> here, Debian and Ubuntu have grown so different that it is really not 
> suitable to maintain builds that work on both at the same time. I will 
> put a bit more effort into this, but it doesn't look good from what 
> you show here.
>
> The situation with umfpack is strange, though, as the packages was 
> built on a plain Debian etch computer. It will be helpful if you can 
> show me the output of the following commands:
>
> apt-cache policy libumfpack4
> apt-cache policy libdolfin
> apt-cache policy libdolfin-dev
> dpkg --get-selections | grep umfpack
> dpkg --get-selections | grep ufsparse
>
> Thansk for your help!
Hello,
Here is the output you asked for:
(1)
$ apt-cache policy libumfpack4
libumfpack4:
 Installed: (none)
 Candidate: (none)
 Version table:
(2)
$ apt-cache policy libdolfin
libdolfin:
 Installed: (none)
 Candidate: 0.7.1
 Version table:
    0.7.1 0
       500 http://www.fenics.org unstable/main Packages
(3)
$ apt-cache policy libdolfin-dev
libdolfin-dev:
 Installed: (none)
 Candidate: 0.7.1
 Version table:
    0.7.1 0
       500 http://www.fenics.org unstable/main Packages
(4)
dpkg --get-selections | grep umfpack
(no output produced)
(5)
$ dpkg --get-selections | grep ufsparse
libufsparse                                     deinstall

In case it matters, I also copy and paste here a the list of the repos I 
am using:

# Debian etch (testing)
#deb http://ftp.ch.debian.org/debian/ etch main contrib non-free
#deb http://security.debian.org/ etch/updates main contrib non-free

# Debian Sid (unstable)
deb http://ftp.ch.debian.org/debian/ testing main contrib non-free
deb-src http://ftp.ch.debian.org/debian/ testing main non-free contrib


# Debian Experimental
#deb http://ftp.ch.debian.org/debian/ experimental main contrib non-free

# deb http://http.ch.debian.org/debian/ sarge main contrib non-free
# deb http://security.debian.org/ sarge/updates main contrib non-free

deb http://www.debian-multimedia.org testing main
deb-src http://www.debian-multimedia.org testing main

# to enable the g95 compiler

deb ftp://www.gfd-dennou.org/library/cc-env/Linux/debian-dennou stable/
deb-src ftp://www.gfd-dennou.org/library/cc-env/Linux/debian-dennou stable/

# fenics software
deb http://www.fenics.org/debian/ unstable main
deb-src http://www.fenics.org/debian/ unstable main

Many thanks

Lorenzo