Package: regina-normal-dev Architecture: amd64 Version: 5.1-2build1 Priority: extra Section: universe/libdevel Source: regina-normal Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Ben Burton <bab@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 4998 Depends: regina-normal (= 5.1-2build1), libboost-dev, libgmp-dev, libxml2-dev, zlib1g-dev Suggests: regina-normal-doc Filename: pool/universe/r/regina-normal/regina-normal-dev_5.1-2build1_amd64.deb Size: 499560 MD5sum: e28c2000f2a2fb3644578392294e4d7a SHA1: ce36cc110c65769c7c10148714b4914ce62498ee SHA256: 71d899e9a78c477d76e16c4bd79f31890bbd71f5eb91140960b4add71f66c10b Homepage: http://regina-normal.github.io/ Description: development files for Regina, the topology software Description-md5: e9d25990ce64009733a121d02c5233ab