Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gap-pkg-automata | Distribution: Fedora Project |
Version: 1.15 | Vendor: Fedora Project |
Release: 3.fc37 | Build date: Wed Sep 28 17:35:39 2022 |
Group: Unspecified | Build host: buildhw-a64-19.iad2.fedoraproject.org |
Size: 321296 | Source RPM: gap-pkg-automata-1.15-3.fc37.src.rpm |
Packager: Fedora Project | |
Url: https://gap-packages.github.io/automata/ | |
Summary: Finite automata algorithms |
This package contains algorithms for working with finite automata in GAP. It can do the following: - compute a rational expression for the language recognized by a finite automaton; - compute an automaton for the language given by a rational expression; - minimalize a finite automaton; - visualize automata.
GPL-2.0-or-later
* Tue Sep 27 2022 Jerry James <loganjerry@gmail.com> - 1.15-3 - Update for gap 4.12.0 * Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 1.15-2 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 1.15-1 - Version 1.15 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
/usr/lib/gap/pkg/automata /usr/lib/gap/pkg/automata/PackageInfo.g /usr/lib/gap/pkg/automata/gap /usr/lib/gap/pkg/automata/gap/aut-basics.gd /usr/lib/gap/pkg/automata/gap/aut-basics.gi /usr/lib/gap/pkg/automata/gap/aut-def.gd /usr/lib/gap/pkg/automata/gap/aut-def.gi /usr/lib/gap/pkg/automata/gap/aut-func.gd /usr/lib/gap/pkg/automata/gap/aut-func.gi /usr/lib/gap/pkg/automata/gap/aut-rat.gd /usr/lib/gap/pkg/automata/gap/aut-rat.gi /usr/lib/gap/pkg/automata/gap/aut-utils.gd /usr/lib/gap/pkg/automata/gap/aut-utils.gi /usr/lib/gap/pkg/automata/gap/automata-display.gd /usr/lib/gap/pkg/automata/gap/automata-display.gi /usr/lib/gap/pkg/automata/gap/digraphs.gd /usr/lib/gap/pkg/automata/gap/digraphs.gi /usr/lib/gap/pkg/automata/gap/drawgraph.gd /usr/lib/gap/pkg/automata/gap/drawgraph.gi /usr/lib/gap/pkg/automata/gap/finitelang.gd /usr/lib/gap/pkg/automata/gap/finitelang.gi /usr/lib/gap/pkg/automata/gap/foldings.gd /usr/lib/gap/pkg/automata/gap/foldings.gi /usr/lib/gap/pkg/automata/gap/hello /usr/lib/gap/pkg/automata/gap/miscelaneous.gd /usr/lib/gap/pkg/automata/gap/miscelaneous.gi /usr/lib/gap/pkg/automata/gap/rat-def.gd /usr/lib/gap/pkg/automata/gap/rat-def.gi /usr/lib/gap/pkg/automata/gap/rat-func.gd /usr/lib/gap/pkg/automata/gap/rat-func.gi /usr/lib/gap/pkg/automata/gap/sgpslinks.gd /usr/lib/gap/pkg/automata/gap/sgpslinks.gi /usr/lib/gap/pkg/automata/gap/splash_from_Viz.g /usr/lib/gap/pkg/automata/init.g /usr/lib/gap/pkg/automata/makedoc.g /usr/lib/gap/pkg/automata/read.g /usr/lib/gap/pkg/automata/tst /usr/lib/gap/pkg/automata/tst/testall.g /usr/lib/gap/pkg/automata/tst/testall.tst /usr/lib/gap/pkg/automata/version /usr/share/doc/gap-pkg-automata /usr/share/doc/gap-pkg-automata/CHANGES /usr/share/doc/gap-pkg-automata/EXAMPLES /usr/share/doc/gap-pkg-automata/README.md /usr/share/licenses/gap-pkg-automata /usr/share/licenses/gap-pkg-automata/GPL /usr/share/licenses/gap-pkg-automata/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 18:21:17 2024