Package: regina-normal-dev Architecture: amd64 Version: 5.1-6ubuntu1 Priority: extra Section: universe/libdevel Source: regina-normal Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Ben Burton Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 5000 Depends: regina-normal (= 5.1-6ubuntu1), libboost-dev, libgmp-dev, libxml2-dev, zlib1g-dev Suggests: regina-normal-doc Filename: pool/universe/r/regina-normal/regina-normal-dev_5.1-6ubuntu1_amd64.deb Size: 499484 MD5sum: ace707eef279f02748500d0f65cc70b9 SHA1: 7ecf8ce7ae862e4dba02d356049b11c51ded37f0 SHA256: 4e7c8eea0c70dea316b414493a373cf0f26d6ded60ff6bb91d151df50293ee5c Homepage: http://regina-normal.github.io/ Description: development files for Regina, the topology software Description-md5: e9d25990ce64009733a121d02c5233ab