pinball-dev software package provides Development files for the Emilia Pinball Emulator, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install pinball-dev
pinball-dev is installed in your system.
Make ensure the pinball-dev package were installed using the commands given below,
$ sudo dpkg-query -l | grep pinball-dev *
You will get with pinball-dev package name, version, architecture and description in a table
| Distro | Ubuntu 14 04 lts trusty tahr |
| Section | Games |
| Package | pinball-dev |
| Version | 0.3.1-13.1ubuntu1 |
| Description | Development files for the Emilia Pinball Emulator |
| Sub Section | Games |