Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Thu, 19 Sep 2024 00:08:51 UTC |
login
Information for RPM
gappa-doc-1.4.2-4.fc41.noarch.rpm
ID
1361192
Name
gappa-doc
Version
1.4.2
Release
4.fc41
Epoch
Arch
noarch
Summary
Documentation for gappa
Description
Documentation for gappa.
Build Time
2024-07-24 12:22:41 GMT
Size
216.98 KB
SIGMD5
290d32f06c06211941f9ee301849c878
License
(GPL-3.0-only OR CECILL-2.1) AND MIT AND BSD-2-Clause AND BSD-3-Clause
VCS
git:https://gitlab.inria.fr/gappa/gappa.git
Buildroot
f41-build-820060-152060
Provides
gappa-doc = 1.4.2-4.fc41
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
Size
/usr/share/doc/gappa
0.00 B
/usr/share/doc/gappa/AUTHORS
51.00 B
/usr/share/doc/gappa/html
0.00 B
/usr/share/doc/gappa/html/_images
0.00 B
/usr/share/doc/gappa/html/_images/gwhy-sqrt.png
139.83 KB
/usr/share/doc/gappa/html/_sources
0.00 B
/usr/share/doc/gappa/html/_sources/arithmetic.rst.txt
3.37 KB
/usr/share/doc/gappa/html/_sources/bibliography.rst.txt
4.84 KB
/usr/share/doc/gappa/html/_sources/customizing.rst.txt
8.47 KB
/usr/share/doc/gappa/html/_sources/errors.rst.txt
9.92 KB
/usr/share/doc/gappa/html/_sources/examples.rst.txt
18.66 KB
/usr/share/doc/gappa/html/_sources/formalizing.rst.txt
16.79 KB
/usr/share/doc/gappa/html/_sources/generated
0.00 B
/usr/share/doc/gappa/html/_sources/generated/news.rst.txt
17.43 KB
/usr/share/doc/gappa/html/_sources/genindex.rst.txt
107.00 B
/usr/share/doc/gappa/html/_sources/index.rst.txt
1.81 KB
/usr/share/doc/gappa/html/_sources/invoking.rst.txt
7.91 KB
/usr/share/doc/gappa/html/_sources/language.rst.txt
6.78 KB
/usr/share/doc/gappa/html/_sources/theorems.rst.txt
20.08 KB
/usr/share/doc/gappa/html/_sources/tools.rst.txt
8.27 KB
/usr/share/doc/gappa/html/_static
0.00 B
/usr/share/doc/gappa/html/_static/alabaster.css
10.92 KB
/usr/share/doc/gappa/html/_static/basic.css
14.74 KB
/usr/share/doc/gappa/html/_static/custom.css
42.00 B
/usr/share/doc/gappa/html/_static/doctools.js
4.37 KB
/usr/share/doc/gappa/html/_static/documentation_options.js
323.00 B
/usr/share/doc/gappa/html/_static/file.png
286.00 B
/usr/share/doc/gappa/html/_static/language_data.js
4.65 KB
/usr/share/doc/gappa/html/_static/minus.png
90.00 B
/usr/share/doc/gappa/html/_static/plus.png
90.00 B
/usr/share/doc/gappa/html/_static/pygments.css
5.23 KB
/usr/share/doc/gappa/html/_static/searchtools.js
18.29 KB
/usr/share/doc/gappa/html/_static/sphinx_highlight.js
5.00 KB
/usr/share/doc/gappa/html/arithmetic.html
11.84 KB
/usr/share/doc/gappa/html/bibliography.html
10.17 KB
/usr/share/doc/gappa/html/customizing.html
28.16 KB
/usr/share/doc/gappa/html/errors.html
31.78 KB
/usr/share/doc/gappa/html/examples.html
67.61 KB
/usr/share/doc/gappa/html/formalizing.html
44.91 KB
/usr/share/doc/gappa/html/generated
0.00 B
/usr/share/doc/gappa/html/generated/news.html
47.31 KB
/usr/share/doc/gappa/html/genindex.html
8.90 KB
/usr/share/doc/gappa/html/index.html
12.41 KB
/usr/share/doc/gappa/html/invoking.html
23.38 KB
/usr/share/doc/gappa/html/language.html
15.77 KB
/usr/share/doc/gappa/html/objects.inv
817.00 B
/usr/share/doc/gappa/html/search.html
3.71 KB
/usr/share/doc/gappa/html/searchindex.js
46.26 KB
/usr/share/doc/gappa/html/theorems.html
95.75 KB
/usr/share/doc/gappa/html/tools.html
25.04 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.