dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #18408
[Bug 586741] Re: armadillo is not working
Success! Please push this updated pkgconfiggenerator to DOLFIN.
--
armadillo is not working
https://bugs.launchpad.net/bugs/586741
You received this bug notification because you are a member of DOLFIN
Team, which is subscribed to DOLFIN.
Status in DOLFIN: Confirmed
Status in Dorsal: New
Bug description:
installation stops in dolfin with the message 'Unknown dependency package: armadillo' even though the package exists.