SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

gap-cap rpm build for : OpenSuSE. For other distributions click gap-cap.

Name : gap-cap
Version : 2024.03.02 Vendor : obs://build_opensuse_org/science
Release : 150500.7.1 Date : 2024-03-25 22:53:49
Group : Productivity/Scientific/Math Source RPM : gap-cap-2024.03.02-150500.7.1.src.rpm
Size : 6.54 MB
Packager : https://www_suse_com/
Summary : GAP: Categories, Algorithms and Programming
Description :
CAP is a package for category theory. It facilitates the
implementation of specific instances of categories and provides a
language for writing generic categorical algorithms.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/SLE_15_SP5/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  gap-cap-2024.03.02-150500.7.1.noarch.rpm
     

Provides :
gap-cap

Requires :
gap-core >= 4.12.1
gap-io
gap-toolsforhomalg >= 2023.11.01
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/share/gap
/usr/share/gap/pkg
/usr/share/gap/pkg/CAP-2024.03-02
/usr/share/gap/pkg/CAP-2024.03-02/GeneralizedAddMethod.md
/usr/share/gap/pkg/CAP-2024.03-02/IDEAS
/usr/share/gap/pkg/CAP-2024.03-02/LICENSE
/usr/share/gap/pkg/CAP-2024.03-02/LOGIC_SYNTAX_IDEAS
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/PackageInfo.g
/usr/share/gap/pkg/CAP-2024.03-02/README.md
/usr/share/gap/pkg/CAP-2024.03-02/TODO
/usr/share/gap/pkg/CAP-2024.03-02/doc
There is 205 files more in these RPM.

 
ICM