regina-normal (7.4.1-1.1)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-forky
- Repository
- https://deb.debian.org/debian
- Codename
- forky
- Component
- main
- Source
- none
- Architecture
- s390x
- Section
- math
- Priority
- optional
- Maintainer
- Ben Burton <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 82.4 kB
- Size expected
- 23.7 MB
- Size actual
- 23.7 MB
- Size match
Dependencies
Required package dependencies
- libc6 (>= 2.38)
- libcgraph8 (>= 14.1.1)
- libgcc-s1 (>= 4.0)
- libgmp10 (>= 2:6.3.0+dfsg)
- libgmpxx4ldbl (>= 2:6.3.0+dfsg)
- libgvc7 (>= 14.1.1)
- libgvplugin-neato-layout8 (>= 14.1.1)
- libpython3.13 (>= 3.13.0~rc3)
- libqt6core6t64 (>= 6.9.1)
- libqt6gui6 (>= 6.1.2)
- libqt6svgwidgets6 (>= 6.6.0)
- libqt6widgets6 (>= 6.8.2)
- libstdc++6 (>= 14)
- libtokyocabinet9t64 (>= 1.4.47)
- libxml2-16 (>= 2.14.1)
- zlib1g (>= 1:1.1.4)
- perl:any
- python3 (<< 3.14)
- python3 (>= 3.13~)
- python3:any
Description
mathematical software for low-dimensional topology
Tags
Package classification tags
field::mathematics
implemented-in::c++
interface::commandline
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 8622cf55…1504a4fb | |
| SHA-1 | 133411a1…50670e57 | |
| SHA-256 | 711ca130…a596cb1c | |
| SHA-512 | 731a1868…0ad0038b |
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/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-313-s390x-linux-gnu.so usr/lib/python3/dist-packages/regina/plainCompleter.py usr/lib/python3/dist-packages/regina/sageSetup.py usr/lib/s390x-linux-gnu usr/lib/s390x-linux-gnu/libregina-engine.so.7.4.1 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/changelog.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