dolfin-dev software package provides Empty package depending on latest DOLFIN development package, you can install in your Ubuntu 12.04 LTS (Precise Pangolin) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install dolfin-dev
dolfin-dev is installed in your system.
Make ensure the dolfin-dev package were installed using the commands given below,
$ sudo dpkg-query -l | grep dolfin-dev *
You will get with dolfin-dev package name, version, architecture and description in a table
| Distro | Ubuntu 12 04 lts precise pangolin |
| Section | Library development |
| Package | dolfin-dev |
| Version | 1.0.0-1 |
| Description | Empty package depending on latest DOLFIN development package |
| Sub Section | libdevel |