Wed, 21 Oct 2026 15:34:27 UTC | login

Information for RPM gap-pkg-automata-1.17-1.fc45.src.rpm

ID27255
Buildgap-pkg-automata-1.17-1.fc45
Namegap-pkg-automata
Version1.17
Release1.fc45
Epoch
Archsrc
DraftFalse
SummaryFinite automata algorithms
DescriptionThis 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.
Build Time2026-10-13 20:56:06 GMT
Size687.19 KB
28987bba6dc1f9644c68aa40c01644ec
LicenseGPL-2.0-or-later
git:https://github.com/gap-packages/automata.git
Buildrootf45-build-9458-404
Provides
gap-pkg-automata = 1.17-1.fc45
gap-pkg-automata-doc = 1.17-1.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gap(autodoc)
gap-devel >= 4.9
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
automata-1.17.tar.bz2670.53 KB
gap-pkg-automata.spec7.13 KB
Component of No Buildroots