dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #18413
[Bug 586741] Re: armadillo is not working
** Changed in: dolfin
Status: Fix Committed => Fix Released
** Changed in: dolfin
Status: Fix Released => Fix Committed
--
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: Fix Committed
Status in Dorsal: New
Bug description:
installation stops in dolfin with the message 'Unknown dependency package: armadillo' even though the package exists.