| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: gap-walrus | Distribution: openSUSE Tumbleweed |
| Version: 0.9992 | Vendor: openSUSE |
| Release: 1.2 | Build date: Mon Jun 15 19:04:18 2026 |
| Group: Productivity/Scientific/Math | Build host: reproducible |
| Size: 1760426 | Source RPM: gap-walrus-0.9992-1.2.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://gap-packages.github.io/walrus | |
| Summary: GAP: Proving assistant for hyperbolicity | |
An implementation of hyperbolicity testing using an idea by Holt, Neunhöffer, Parker and Roney-Dougal.
BSD-3-Clause
* Mon Jun 15 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 0.9992
* Updates to the testsuite and CI/CD scripts
* Sun Feb 12 2023 Jan Engelhardt <jengelh@inai.de>
- Initial package (version 0.9991) for build.opensuse.org
/usr/share/gap /usr/share/gap/pkg /usr/share/gap/pkg/walrus-0.9992 /usr/share/gap/pkg/walrus-0.9992/COPYRIGHT.md /usr/share/gap/pkg/walrus-0.9992/Dockerfile /usr/share/gap/pkg/walrus-0.9992/LICENSE /usr/share/gap/pkg/walrus-0.9992/PackageInfo.g /usr/share/gap/pkg/walrus-0.9992/Polynomial-time proofs that groups are hyperbolic.ipynb /usr/share/gap/pkg/walrus-0.9992/README.md /usr/share/gap/pkg/walrus-0.9992/doc /usr/share/gap/pkg/walrus-0.9992/doc/Intros.autodoc /usr/share/gap/pkg/walrus-0.9992/doc/_AutoDocMainFile.xml /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Overview.xml /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Pregroup_Presentations.xml /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Pregroups.xml /usr/share/gap/pkg/walrus-0.9992/doc/_Chunks.xml /usr/share/gap/pkg/walrus-0.9992/doc/_entities.xml /usr/share/gap/pkg/walrus-0.9992/doc/chap0.html /usr/share/gap/pkg/walrus-0.9992/doc/chap0.txt /usr/share/gap/pkg/walrus-0.9992/doc/chap0_mj.html /usr/share/gap/pkg/walrus-0.9992/doc/chap1.html /usr/share/gap/pkg/walrus-0.9992/doc/chap1.txt /usr/share/gap/pkg/walrus-0.9992/doc/chap1_mj.html /usr/share/gap/pkg/walrus-0.9992/doc/chap2.html /usr/share/gap/pkg/walrus-0.9992/doc/chap2.txt /usr/share/gap/pkg/walrus-0.9992/doc/chap2_mj.html /usr/share/gap/pkg/walrus-0.9992/doc/chap3.html /usr/share/gap/pkg/walrus-0.9992/doc/chap3.txt /usr/share/gap/pkg/walrus-0.9992/doc/chap3_mj.html /usr/share/gap/pkg/walrus-0.9992/doc/chapInd.html /usr/share/gap/pkg/walrus-0.9992/doc/chapInd.txt /usr/share/gap/pkg/walrus-0.9992/doc/chapInd_mj.html /usr/share/gap/pkg/walrus-0.9992/doc/chooser.html /usr/share/gap/pkg/walrus-0.9992/doc/lefttoc.css /usr/share/gap/pkg/walrus-0.9992/doc/manual.css /usr/share/gap/pkg/walrus-0.9992/doc/manual.js /usr/share/gap/pkg/walrus-0.9992/doc/manual.lab /usr/share/gap/pkg/walrus-0.9992/doc/manual.pdf /usr/share/gap/pkg/walrus-0.9992/doc/manual.six /usr/share/gap/pkg/walrus-0.9992/doc/nocolorprompt.css /usr/share/gap/pkg/walrus-0.9992/doc/pregroups.xml /usr/share/gap/pkg/walrus-0.9992/doc/presentation.xml /usr/share/gap/pkg/walrus-0.9992/doc/ragged.css /usr/share/gap/pkg/walrus-0.9992/doc/rainbow.js /usr/share/gap/pkg/walrus-0.9992/doc/times.css /usr/share/gap/pkg/walrus-0.9992/doc/title.xml /usr/share/gap/pkg/walrus-0.9992/doc/toggless.css /usr/share/gap/pkg/walrus-0.9992/doc/toggless.js /usr/share/gap/pkg/walrus-0.9992/doc/walrus.tex /usr/share/gap/pkg/walrus-0.9992/doc/walrus.xml /usr/share/gap/pkg/walrus-0.9992/gap /usr/share/gap/pkg/walrus-0.9992/gap/anadata.gd /usr/share/gap/pkg/walrus-0.9992/gap/anadata.gi /usr/share/gap/pkg/walrus-0.9992/gap/examples.gd /usr/share/gap/pkg/walrus-0.9992/gap/examples.gi /usr/share/gap/pkg/walrus-0.9992/gap/location.gd /usr/share/gap/pkg/walrus-0.9992/gap/location.gi /usr/share/gap/pkg/walrus-0.9992/gap/place.gd /usr/share/gap/pkg/walrus-0.9992/gap/place.gi /usr/share/gap/pkg/walrus-0.9992/gap/pregroup.gd /usr/share/gap/pkg/walrus-0.9992/gap/pregroup.gi /usr/share/gap/pkg/walrus-0.9992/gap/pregroupconstr.gi /usr/share/gap/pkg/walrus-0.9992/gap/pregroupoffreegroup.gi /usr/share/gap/pkg/walrus-0.9992/gap/presentation.gd /usr/share/gap/pkg/walrus-0.9992/gap/presentation.gi /usr/share/gap/pkg/walrus-0.9992/gap/relator.gd /usr/share/gap/pkg/walrus-0.9992/gap/relator.gi /usr/share/gap/pkg/walrus-0.9992/gap/small_pregroups.gd /usr/share/gap/pkg/walrus-0.9992/gap/small_pregroups.gi /usr/share/gap/pkg/walrus-0.9992/gap/util.gd /usr/share/gap/pkg/walrus-0.9992/gap/util.gi /usr/share/gap/pkg/walrus-0.9992/gap/walrus.gd /usr/share/gap/pkg/walrus-0.9992/gap/walrus.gi /usr/share/gap/pkg/walrus-0.9992/init.g /usr/share/gap/pkg/walrus-0.9992/makedoc.g /usr/share/gap/pkg/walrus-0.9992/read.g /usr/share/gap/pkg/walrus-0.9992/tst /usr/share/gap/pkg/walrus-0.9992/tst/F2.out /usr/share/gap/pkg/walrus-0.9992/tst/F20.out /usr/share/gap/pkg/walrus-0.9992/tst/components.tst /usr/share/gap/pkg/walrus-0.9992/tst/derek.tst /usr/share/gap/pkg/walrus-0.9992/tst/dijkstra.tst /usr/share/gap/pkg/walrus-0.9992/tst/examples.tst /usr/share/gap/pkg/walrus-0.9992/tst/jackbutton.tst /usr/share/gap/pkg/walrus-0.9992/tst/presentations.tst /usr/share/gap/pkg/walrus-0.9992/tst/psl.out /usr/share/gap/pkg/walrus-0.9992/tst/s3s3.out /usr/share/gap/pkg/walrus-0.9992/tst/small.tst /usr/share/gap/pkg/walrus-0.9992/tst/standard /usr/share/gap/pkg/walrus-0.9992/tst/standard/pregroup.tst /usr/share/gap/pkg/walrus-0.9992/tst/standard/presentation.tst /usr/share/gap/pkg/walrus-0.9992/tst/testall.g /usr/share/gap/pkg/walrus-0.9992/tst/testbench.tst /usr/share/gap/pkg/walrus-0.9992/tst/testexamples.g /usr/share/gap/pkg/walrus-0.9992/tst/testexamples.tst /usr/share/gap/pkg/walrus-0.9992/tst/triangle.tst /usr/share/gap/pkg/walrus-0.9992/tst/ui.tst
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 3 00:04:55 2026