regina-normal (7.4.1-1.1build1)

2 versions available in ubuntu/resolute/universe/arm64

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-resolute-ports
Repository
https://ports.ubuntu.com
Codename
resolute
Component
universe
Source
regina-normal
Architecture
arm64
Section
universe/math
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
67.2 MB
Size expected
22.2 MB
Size actual
22.2 MB
Size match
match

Dependencies

Required package dependencies

Recommends

Recommended package dependencies

Suggested packages

Recommended additional packages

Provides

Virtual packages provided

  • None

Description

mathematical software for low-dimensional topology

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD53b93e383…81a876d6match
SHA-1d97f34f7…e0884e1fmatch
SHA-256e88e4d09…476ecc15match
SHA-512406b6fe6…64a54443match

Contents

Files and directories included

.
usr
usr/bin
usr/bin/censuslookup
usr/bin/katie
usr/bin/regconcat
usr/bin/regconvert
usr/bin/regfiledump
usr/bin/regfiletype
usr/bin/regina-engine-config
usr/bin/regina-gui
usr/bin/regina-helper
usr/bin/regina-python
usr/bin/retriangulate
usr/bin/sigcensus
usr/bin/tricensus
usr/bin/trisetcmp
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/libregina-engine.so.7.4.1
usr/lib/python3
usr/lib/python3/dist-packages
usr/lib/python3/dist-packages/regina
usr/lib/python3/dist-packages/regina/__init__.py
usr/lib/python3/dist-packages/regina/engine.cpython-314-aarch64-linux-gnu.so
usr/lib/python3/dist-packages/regina/plainCompleter.py
usr/lib/python3/dist-packages/regina/sageSetup.py
usr/libexec
usr/libexec/regina-normal
usr/libexec/regina-normal/regina-testsuite
usr/share
usr/share/applications
usr/share/applications/org.computop.Regina.desktop
usr/share/doc
usr/share/doc/regina-normal
usr/share/doc/regina-normal/HIGHLIGHTS.txt.gz
usr/share/doc/regina-normal/README.Debian
usr/share/doc/regina-normal/changelog.Debian.gz
usr/share/doc/regina-normal/copyright
usr/share/icons
usr/share/icons/hicolor
usr/share/icons/hicolor/128x128
usr/share/icons/hicolor/128x128/apps
usr/share/icons/hicolor/128x128/apps/regina.png
usr/share/icons/hicolor/128x128/mimetypes
usr/share/icons/hicolor/128x128/mimetypes/application-x-regina.png
usr/share/icons/hicolor/16x16
usr/share/icons/hicolor/16x16/apps
usr/share/icons/hicolor/16x16/apps/regina.png
usr/share/icons/hicolor/16x16/mimetypes
usr/share/icons/hicolor/16x16/mimetypes/application-x-regina.png
usr/share/icons/hicolor/22x22
usr/share/icons/hicolor/22x22/apps
usr/share/icons/hicolor/22x22/apps/regina.png
usr/share/icons/hicolor/22x22/mimetypes
usr/share/icons/hicolor/22x22/mimetypes/application-x-regina.png
usr/share/icons/hicolor/24x24
usr/share/icons/hicolor/24x24/apps
usr/share/icons/hicolor/24x24/apps/regina.png
usr/share/icons/hicolor/24x24/mimetypes
usr/share/icons/hicolor/24x24/mimetypes/application-x-regina.png
usr/share/icons/hicolor/256x256
usr/share/icons/hicolor/256x256/apps
usr/share/icons/hicolor/256x256/apps/regina.png
usr/share/icons/hicolor/256x256/mimetypes
usr/share/icons/hicolor/256x256/mimetypes/application-x-regina.png
usr/share/icons/hicolor/32x32
usr/share/icons/hicolor/32x32/apps
usr/share/icons/hicolor/32x32/apps/regina.png
usr/share/icons/hicolor/32x32/mimetypes
usr/share/icons/hicolor/32x32/mimetypes/application-x-regina.png
usr/share/icons/hicolor/48x48
usr/share/icons/hicolor/48x48/apps
usr/share/icons/hicolor/48x48/apps/regina.png
usr/share/icons/hicolor/48x48/mimetypes
usr/share/icons/hicolor/48x48/mimetypes/application-x-regina.png
usr/share/icons/hicolor/64x64
usr/share/icons/hicolor/64x64/apps
usr/share/icons/hicolor/64x64/apps/regina.png
usr/share/icons/hicolor/64x64/mimetypes
usr/share/icons/hicolor/64x64/mimetypes/application-x-regina.png
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/regina-normal
usr/share/man
usr/share/man/man1
usr/share/man/man1/censuslookup.1.gz
usr/share/man/man1/katie.1.gz
usr/share/man/man1/regconcat.1.gz
usr/share/man/man1/regconvert.1.gz
usr/share/man/man1/regfiledump.1.gz
usr/share/man/man1/regfiletype.1.gz
usr/share/man/man1/regina-engine-config.1.gz
usr/share/man/man1/regina-gui.1.gz
usr/share/man/man1/regina-helper.1.gz
usr/share/man/man1/regina-python.1.gz
usr/share/man/man1/retriangulate.1.gz
usr/share/man/man1/sigcensus.1.gz
usr/share/man/man1/tricensus.1.gz
usr/share/man/man1/trisetcmp.1.gz
usr/share/metainfo
usr/share/metainfo/org.computop.regina.metainfo.xml
usr/share/mime
usr/share/mime/packages
usr/share/mime/packages/regina.xml
usr/share/python3
usr/share/python3/runtime.d
usr/share/python3/runtime.d/regina-normal.rtupdate
usr/share/regina-normal
usr/share/regina-normal/data
usr/share/regina-normal/data/census
usr/share/regina-normal/data/census/christy-knots-links.tdb
usr/share/regina-normal/data/census/closed-hyp-census-full.tdb
usr/share/regina-normal/data/census/closed-nor-census-11.tdb
usr/share/regina-normal/data/census/closed-or-census-11.tdb
usr/share/regina-normal/data/census/cusped-hyp-nor-census-9.tdb
usr/share/regina-normal/data/census/cusped-hyp-or-census-9.tdb
usr/share/regina-normal/data/snappea
usr/share/regina-normal/data/snappea/snappea-census-sec5.dat
usr/share/regina-normal/data/snappea/snappea-census-sec6n.dat
usr/share/regina-normal/data/snappea/snappea-census-sec6o.dat
usr/share/regina-normal/data/snappea/snappea-census-sec7n.dat
usr/share/regina-normal/data/snappea/snappea-census-sec7o.dat
usr/share/regina-normal/examples
usr/share/regina-normal/examples/README.txt
usr/share/regina-normal/examples/closed-hyp-census.rga
usr/share/regina-normal/examples/closed-nor-census.rga
usr/share/regina-normal/examples/closed-or-census.rga
usr/share/regina-normal/examples/cusped-hyp-nor-census.rga
usr/share/regina-normal/examples/cusped-hyp-or-census.rga
usr/share/regina-normal/examples/knot-census.rga
usr/share/regina-normal/examples/progress.py
usr/share/regina-normal/examples/progress.session
usr/share/regina-normal/examples/sample.rga
usr/share/regina-normal/examples/tree.py
usr/share/regina-normal/examples/tree.session
usr/share/regina-normal/examples/triangulation.py
usr/share/regina-normal/examples/triangulation.session
usr/share/regina-normal/examples/virtual-census.rga
usr/share/regina-normal/icons
usr/share/regina-normal/icons/SOURCES
usr/share/regina-normal/icons/alternating-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/alternating-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/alternating-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/barycentric-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/barycentric-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/barycentric-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundaries-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundaries-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundaries-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundary-double-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundary-double-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/boundary-double-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/canonical-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/canonical-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/canonical-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-packet-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-packet-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-packet-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-subtree-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-subtree-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/clone-subtree-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/components-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/components-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/components-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cone-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cone-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cone-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsum-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsum-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsum-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsumwith-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsumwith-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/connectedsumwith-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing+l-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing+l-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing+u-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing+u-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing-l-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing-l-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing-u-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crossing-u-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crush-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crush-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/crush-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/csvexport-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/csvexport-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/csvexport-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cutalong-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cutalong-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/cutalong-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/dehydrated-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/dehydrated-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/dehydrated-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-mono-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-mono-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/delete-mono-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/disjointunion-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/disjointunion-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/disjointunion-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/doublecover-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/doublecover-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/doublecover-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/drilledge-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/drilledge-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/drilledge-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/eltmoves-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/eltmoves-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/eltmoves-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/examples-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/examples-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/examples-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/fill-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/fill-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/fill-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_comb-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_comb-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_comb-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_prop-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_prop-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/filter_prop-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-mono-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-mono-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/insert-mono-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/lock-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/lock-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/lock-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/move-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/move-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/move-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orb-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orb-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orb-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orient-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orient-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/orient-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_angles-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_angles-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_angles-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_attachment-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_attachment-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_attachment-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_container-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_container-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_container-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_filter-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_filter-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_filter-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_hypersurfaces-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_hypersurfaces-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_hypersurfaces-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_link-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_link-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_link-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_pdf-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_pdf-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_pdf-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_script-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_script-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_script-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_snappea-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_snappea-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_snappea-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_spatiallink-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_spatiallink-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_spatiallink-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_surfaces-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_surfaces-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_surfaces-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_text-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_text-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_text-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation10-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation10-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation10-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation11-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation11-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation11-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation12-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation12-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation12-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation13-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation13-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation13-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation14-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation14-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation14-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation15-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation15-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation15-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation2-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation2-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation2-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation3-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation3-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation3-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation4-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation4-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation4-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation5-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation5-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation5-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation6-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation6-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation6-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation7-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation7-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation7-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation8-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation8-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation8-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation9-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation9-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_triangulation9-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_view-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_view-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/packet_view-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/parallel-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/parallel-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/parallel-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/puncture-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/puncture-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/puncture-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/randomise-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/randomise-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/randomise-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/refine-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/refine-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/refine-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reflect-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reflect-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reflect-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/regina-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/regina-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/regina-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/regina-48.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/regina-64.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reverse-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reverse-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/reverse-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/rotate-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/rotate-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/rotate-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/run-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/run-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/run-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/selfframe-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/selfframe-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/selfframe-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-2d-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-2d-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-2d-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-3d-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-3d-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-3d-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-4d-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-4d-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-4d-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-knot-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-knot-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/signature-knot-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-0eff-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-0eff-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-0eff-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-clean-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-clean-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-clean-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-link-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-link-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/simplify-link-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/system
usr/share/regina-normal/icons/system/application-exit-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/application-exit-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/application-exit-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/application-xml-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/application-xml-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/application-xml-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/clock-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/clock-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/clock-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/clock-48.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/clock-64.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/configure-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/configure-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/configure-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-cancel-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-cancel-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-cancel-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-information-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-information-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-information-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-information-48.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-information-64.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-ok-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-ok-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-ok-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-warning-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-warning-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-warning-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-warning-48.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/dialog-warning-64.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-new-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-new-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-new-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-recent-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-recent-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-open-recent-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-as-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-as-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/document-save-as-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-copy-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-copy-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-copy-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-cut-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-cut-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-cut-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-delete-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-delete-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-delete-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-paste-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-paste-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-paste-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-rename-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-rename-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-rename-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-select-all-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-select-all-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/edit-select-all-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-bottom-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-bottom-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-bottom-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-down-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-down-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-down-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-next-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-next-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-next-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-previous-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-previous-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-previous-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-top-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-top-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-top-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-up-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-up-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/go-up-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contents-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contents-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contents-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contextual-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contextual-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/help-contextual-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/mail-attachment-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/mail-attachment-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/mail-attachment-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/process-stop-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/process-stop-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/process-stop-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/stock_edit-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/stock_edit-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/stock_edit-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/system-run-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/system-run-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/system-run-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/system-run-48.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/system-run-64.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/text-x-c++src-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/text-x-c++src-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/text-x-c++src-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/utilities-terminal-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/utilities-terminal-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/utilities-terminal-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/utilities-terminal-48.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/utilities-terminal-64.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/window-close-16.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/window-close-22.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/system/window-close-32.png
usr/share/regina-normal/icons/system/[email protected]
usr/share/regina-normal/icons/thicker-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/thicker-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/thicker-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/thinner-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/thinner-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/thinner-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/treewidth-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/treewidth-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/treewidth-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/troubleshoot-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/troubleshoot-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/troubleshoot-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-single-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-single-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/truncate-single-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/unlock-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/unlock-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/unlock-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/vtxlinks-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/vtxlinks-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/vtxlinks-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/welcome-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/welcome-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/welcome-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/welcome-48.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/welcome-64.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/whitehead-double-16.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/whitehead-double-22.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/icons/whitehead-double-32.png
usr/share/regina-normal/icons/[email protected]
usr/share/regina-normal/syntax
usr/share/regina-normal/syntax/alert.xml
usr/share/regina-normal/syntax/alert_indent.xml
usr/share/regina-normal/syntax/modelines.xml
usr/share/regina-normal/syntax/python.xml
usr/share/doc/regina-normal/NEWS.gz
usr/share/doc/regina-normal/docs
usr/share/doc/regina-normal/engine-docs
usr/share/doc/regina-normal/examples

Versions

2 versions in this repository slot, newest first