fedora

Information for RPM gappa-doc-1.6.0-1.fc42.noarch.rpm

ID13536
Buildgappa-1.6.0-1.fc42
Namegappa-doc
Version1.6.0
Release1.fc42
Epoch
Archnoarch
DraftFalse
SummaryDocumentation for gappa
DescriptionDocumentation for gappa.
Build Time2025-03-25 01:04:39 GMT
Size218.34 KB
f1046a9991fbf299a466a2f05ec47514
License(GPL-3.0-only OR CECILL-2.1) AND MIT AND BSD-2-Clause AND BSD-3-Clause
git:https://gitlab.inria.fr/gappa/gappa.git
Provides
gappa-doc = 1.6.0-1.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 50 of 50
Name ascending sort Size
/usr/share/doc/gappa0.00 B
/usr/share/doc/gappa/AUTHORS51.00 B
/usr/share/doc/gappa/html0.00 B
/usr/share/doc/gappa/html/_images0.00 B
/usr/share/doc/gappa/html/_images/gwhy-sqrt.png139.83 KB
/usr/share/doc/gappa/html/_sources0.00 B
/usr/share/doc/gappa/html/_sources/arithmetic.rst.txt2.48 KB
/usr/share/doc/gappa/html/_sources/bibliography.rst.txt4.80 KB
/usr/share/doc/gappa/html/_sources/customizing.rst.txt7.10 KB
/usr/share/doc/gappa/html/_sources/errors.rst.txt9.57 KB
/usr/share/doc/gappa/html/_sources/examples.rst.txt20.28 KB
/usr/share/doc/gappa/html/_sources/formalizing.rst.txt17.83 KB
/usr/share/doc/gappa/html/_sources/generated0.00 B
/usr/share/doc/gappa/html/_sources/generated/news.rst.txt18.16 KB
/usr/share/doc/gappa/html/_sources/genindex.rst.txt107.00 B
/usr/share/doc/gappa/html/_sources/index.rst.txt1.82 KB
/usr/share/doc/gappa/html/_sources/invoking.rst.txt8.06 KB
/usr/share/doc/gappa/html/_sources/language.rst.txt6.52 KB
/usr/share/doc/gappa/html/_sources/theorems.rst.txt23.07 KB
/usr/share/doc/gappa/html/_sources/tools.rst.txt8.30 KB
/usr/share/doc/gappa/html/_static0.00 B
/usr/share/doc/gappa/html/_static/alabaster.css10.92 KB
/usr/share/doc/gappa/html/_static/basic.css14.47 KB
/usr/share/doc/gappa/html/_static/custom.css42.00 B
/usr/share/doc/gappa/html/_static/doctools.js4.22 KB
/usr/share/doc/gappa/html/_static/documentation_options.js323.00 B
/usr/share/doc/gappa/html/_static/file.png286.00 B
/usr/share/doc/gappa/html/_static/language_data.js4.49 KB
/usr/share/doc/gappa/html/_static/minus.png90.00 B
/usr/share/doc/gappa/html/_static/plus.png90.00 B
/usr/share/doc/gappa/html/_static/pygments.css5.23 KB
/usr/share/doc/gappa/html/_static/searchtools.js20.96 KB
/usr/share/doc/gappa/html/_static/sphinx_highlight.js5.00 KB
/usr/share/doc/gappa/html/arithmetic.html9.74 KB
/usr/share/doc/gappa/html/bibliography.html10.13 KB
/usr/share/doc/gappa/html/customizing.html25.51 KB
/usr/share/doc/gappa/html/errors.html30.90 KB
/usr/share/doc/gappa/html/examples.html75.18 KB
/usr/share/doc/gappa/html/formalizing.html47.76 KB
/usr/share/doc/gappa/html/generated0.00 B
/usr/share/doc/gappa/html/generated/news.html49.79 KB
/usr/share/doc/gappa/html/genindex.html9.09 KB
/usr/share/doc/gappa/html/index.html12.46 KB
/usr/share/doc/gappa/html/invoking.html23.79 KB
/usr/share/doc/gappa/html/language.html15.20 KB
/usr/share/doc/gappa/html/objects.inv820.00 B
/usr/share/doc/gappa/html/search.html3.75 KB
/usr/share/doc/gappa/html/searchindex.js46.26 KB
/usr/share/doc/gappa/html/theorems.html111.78 KB
/usr/share/doc/gappa/html/tools.html25.06 KB
Component of No Buildroots