Package: regina-normal-dev Source: regina-normal Priority: optional Section: universe/libdevel Installed-Size: 7364 Maintainer: Ubuntu Developers Architecture: amd64 Version: 7.4.1-1.2 Suggests: regina-normal-doc Depends: regina-normal (= 7.4.1-1.2), libgmp-dev, libxml2-dev, zlib1g-dev Filename: pool/universe/r/regina-normal/regina-normal-dev_7.4.1-1.2_amd64.deb Size: 799736 SHA512: d92f589513de0525249d657811eab7a830982636d460fefb50e933525b4ef5844e95b4f46ecd7de87eb3fc8d80c46504c39b27aabcebc8cd2cfc774ec0df8132 Homepage: http://regina-normal.github.io/ Description: development files for Regina, the topology software Description-md5: 3ef85d510cb0f4732fa53ba3e756d839 Original-Maintainer: Ben Burton Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug