Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15:Update
gap-automata
gap-automata.spec
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File gap-automata.spec of Package gap-automata
# # spec file for package gap-automata # # Copyright (c) 2013 SUSE LINUX Products GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed # upon. The license for this file, and modifications and additions to the # file, is the same license as for the pristine package itself (unless the # license for the pristine package is not an Open Source License, in which # case the license is the MIT License). An "Open Source License" is a # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. # Please submit bugfixes or comments via http://bugs.opensuse.org/ # Name: gap-automata Summary: GAP: A package on automata Version: 1.13 Release: 0 License: GPL-2.0+ Group: Productivity/Scientific/Math Url: http://cmup.fc.up.pt/cmup/mdelgado/automata/ Source: https://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/automata-%version.tar.bz2 BuildRequires: gap-rpm-devel BuildRequires: xz BuildRoot: %{_tmppath}/%{name}-%{version}-build BuildArch: noarch Requires: gap-core >= 4.4 Requires: graphviz Suggests: gap-gapdoc >= 1.2 %description The features of this package include - computing 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; - has some features (using the external program GraphViz) to visualize automata; %prep %setup -qn automata %build %install %gappkg_simple_install %files -f %name.files %defattr(-,root,root) %changelog
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor