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: 13.fc40 | Build date: Mon Mar 18 20:17:02 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-10.iad2.fedoraproject.org |
Size: 321296 | Source RPM: gap-pkg-automata-1.15-13.fc40.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
* Fri Mar 15 2024 Jerry James <[email protected]> - 1.15-13 - Rebuild for gap 4.13.0 * Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 1.15-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <[email protected]> - 1.15-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 1.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 1.15-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James <[email protected]> - 1.15-4 - Update for split GAP directories * Thu Nov 10 2022 Jerry James <[email protected]> - 1.15-4 - Clarify license of the doc subpackage * Tue Sep 27 2022 Jerry James <[email protected]> - 1.15-3 - Update for gap 4.12.0 * Tue Aug 16 2022 Jerry James <[email protected]> - 1.15-2 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <[email protected]> - 1.15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Mar 21 2022 Jerry James <[email protected]> - 1.15-1 - Version 1.15
/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/gap/pkg/automata /usr/share/gap/pkg/automata/PackageInfo.g /usr/share/gap/pkg/automata/gap /usr/share/gap/pkg/automata/gap/aut-basics.gd /usr/share/gap/pkg/automata/gap/aut-basics.gi /usr/share/gap/pkg/automata/gap/aut-def.gd /usr/share/gap/pkg/automata/gap/aut-def.gi /usr/share/gap/pkg/automata/gap/aut-func.gd /usr/share/gap/pkg/automata/gap/aut-func.gi /usr/share/gap/pkg/automata/gap/aut-rat.gd /usr/share/gap/pkg/automata/gap/aut-rat.gi /usr/share/gap/pkg/automata/gap/aut-utils.gd /usr/share/gap/pkg/automata/gap/aut-utils.gi /usr/share/gap/pkg/automata/gap/automata-display.gd /usr/share/gap/pkg/automata/gap/automata-display.gi /usr/share/gap/pkg/automata/gap/digraphs.gd /usr/share/gap/pkg/automata/gap/digraphs.gi /usr/share/gap/pkg/automata/gap/drawgraph.gd /usr/share/gap/pkg/automata/gap/drawgraph.gi /usr/share/gap/pkg/automata/gap/finitelang.gd /usr/share/gap/pkg/automata/gap/finitelang.gi /usr/share/gap/pkg/automata/gap/foldings.gd /usr/share/gap/pkg/automata/gap/foldings.gi /usr/share/gap/pkg/automata/gap/hello /usr/share/gap/pkg/automata/gap/miscelaneous.gd /usr/share/gap/pkg/automata/gap/miscelaneous.gi /usr/share/gap/pkg/automata/gap/rat-def.gd /usr/share/gap/pkg/automata/gap/rat-def.gi /usr/share/gap/pkg/automata/gap/rat-func.gd /usr/share/gap/pkg/automata/gap/rat-func.gi /usr/share/gap/pkg/automata/gap/sgpslinks.gd /usr/share/gap/pkg/automata/gap/sgpslinks.gi /usr/share/gap/pkg/automata/gap/splash_from_Viz.g /usr/share/gap/pkg/automata/init.g /usr/share/gap/pkg/automata/makedoc.g /usr/share/gap/pkg/automata/read.g /usr/share/gap/pkg/automata/tst /usr/share/gap/pkg/automata/tst/testall.g /usr/share/gap/pkg/automata/tst/testall.tst /usr/share/gap/pkg/automata/version /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, Tue Jul 9 23:56:58 2024