Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gap-kbmag | Distribution: openSUSE Tumbleweed |
Version: 1.5.11 | Vendor: openSUSE |
Release: 1.1 | Build date: Sat Mar 23 22:53:30 2024 |
Group: Productivity/Scientific/Math | Build host: reproducible |
Size: 8459028 | Source RPM: gap-kbmag-1.5.11-1.1.src.rpm |
Packager: http://bugs.opensuse.org | |
Url: https://gap-packages.github.io/kbmag/ | |
Summary: GAP: Knuth-Bendix on Monoids and Automatic Groups |
The kbmag package is a GAP interface to some C programs for running the Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting to compute automatic structures of finitely presented groups.
GPL-2.0-or-later
* Sat Mar 23 2024 Jan Engelhardt <jengelh@inai.de> - Update to release 1.5.11 * Build system changes only * Sat Nov 19 2022 Jan Engelhardt <jengelh@inai.de> - Update to release 1.5.10 * Build system changes only * Wed Nov 14 2018 Jan Engelhardt <jengelh@inai.de> - Update to new upstream release 1.5.6 * Fix crash in the gpmakefsa tools, used e.g. by AutomaticStructure (long-standing bug in kbmag which was exposed by modern compiler optimizing more aggressively) * Fri Sep 08 2017 jengelh@inai.de - Update to new upstream 1.5.4 * Stop accessing the obsolete global variable `Revision` * Other minor internal cleanup * Fri Mar 11 2016 jengelh@inai.de - Initial package (version 1.5.3) for build.opensuse.org
/usr/lib/gap /usr/lib/gap/pkg /usr/lib/gap/pkg/kbmag-1.5.11 /usr/lib/gap/pkg/kbmag-1.5.11/CHANGES /usr/lib/gap/pkg/kbmag-1.5.11/LICENSE /usr/lib/gap/pkg/kbmag-1.5.11/Makefile /usr/lib/gap/pkg/kbmag-1.5.11/Makefile.in /usr/lib/gap/pkg/kbmag-1.5.11/PackageInfo.g /usr/lib/gap/pkg/kbmag-1.5.11/README.md /usr/lib/gap/pkg/kbmag-1.5.11/bin /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/autcos /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/autgroup /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaand /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaandnot /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsabfs /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaconcat /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsacount /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaenumerate /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaexists /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsafilter /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsagrowth /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsalabmin /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsalequal /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsamin /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsanot /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaor /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaprune /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsareverse /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsastar /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/fsaswapcoords /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpaxioms /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpcheckmult /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpchecksubwa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpcomp /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpdifflabs /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpgenmult /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpgenmult2 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpgeowa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmakefsa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmakesubwa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmicomp /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmigenmult /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmigenmult2 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmigmdet /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmimult /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmimult2 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpminkb /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmult /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpmult2 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpsubpres /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpsubwa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/gpwa /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/kbprog /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/kbprogcos /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/makecosfile /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/midfadeterminize /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/nfadeterminize /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/ppgap /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/ppgap4 /usr/lib/gap/pkg/kbmag-1.5.11/bin/i586-suse-linux-gnu-default32-kv9/wordreduce /usr/lib/gap/pkg/kbmag-1.5.11/configure /usr/lib/gap/pkg/kbmag-1.5.11/doc /usr/lib/gap/pkg/kbmag-1.5.11/doc/_entities.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap0.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap0.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap0_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap1.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap1.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap1_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap2.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap2.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap2_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap3.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap3.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap3_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap4.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap4.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chap4_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapBib.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapBib.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapBib_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapInd.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapInd.txt /usr/lib/gap/pkg/kbmag-1.5.11/doc/chapInd_mj.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/chooser.html /usr/lib/gap/pkg/kbmag-1.5.11/doc/cosets.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/intro.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/kbmag.bib /usr/lib/gap/pkg/kbmag-1.5.11/doc/kbmag.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/lefttoc.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.js /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.lab /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.mst /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.pdf /usr/lib/gap/pkg/kbmag-1.5.11/doc/manual.six /usr/lib/gap/pkg/kbmag-1.5.11/doc/nocolorprompt.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/ragged.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/rainbow.js /usr/lib/gap/pkg/kbmag-1.5.11/doc/rws.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/standalone.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/times.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/title.xml /usr/lib/gap/pkg/kbmag-1.5.11/doc/toggless.css /usr/lib/gap/pkg/kbmag-1.5.11/doc/toggless.js /usr/lib/gap/pkg/kbmag-1.5.11/gap /usr/lib/gap/pkg/kbmag-1.5.11/gap/correspondence.g /usr/lib/gap/pkg/kbmag-1.5.11/gap/fpgtorws4.g /usr/lib/gap/pkg/kbmag-1.5.11/gap/fsa4.g /usr/lib/gap/pkg/kbmag-1.5.11/gap/kbsmg.gd /usr/lib/gap/pkg/kbmag-1.5.11/gap/kbsmg.gi /usr/lib/gap/pkg/kbmag-1.5.11/gap/kbsmg2.gi /usr/lib/gap/pkg/kbmag-1.5.11/gap/rws4.g /usr/lib/gap/pkg/kbmag-1.5.11/gap/rwssub4.g /usr/lib/gap/pkg/kbmag-1.5.11/gap/wordorder4.g /usr/lib/gap/pkg/kbmag-1.5.11/init.g /usr/lib/gap/pkg/kbmag-1.5.11/makedoc.g /usr/lib/gap/pkg/kbmag-1.5.11/read.g /usr/lib/gap/pkg/kbmag-1.5.11/tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example1.tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example2.tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example3.tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example4.tst-off /usr/lib/gap/pkg/kbmag-1.5.11/tst/example5.tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example6.tst /usr/lib/gap/pkg/kbmag-1.5.11/tst/example7.tst-off /usr/lib/gap/pkg/kbmag-1.5.11/tst/testall.g /usr/lib/gap/pkg/kbmag-1.5.11/tst/testing.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Oct 30 00:56:19 2024