Installion's Lion Logo

Installion.co.uk

How To Install regina-normal-dev On Debian 9

To install regina-normal-dev just follow these instructions.

Install regina-normal-dev

development files for Regina, the topology softwareDebian 9.0libdevel5.1-1
sudo apt-get install regina-normal-dev

Which will install regina-normal-dev and any other packages on which it depends.

Package Data

Packageregina-normal-dev
Version5.1-1
MaintainerBen Burton <bab@debian.org>
Home pagehttp://regina-normal.github.io/
Descriptiondevelopment files for Regina, the topology software
Distrodebian
Releasestretch
Repomain
Sectionlibdevel

Dependencies