Fedora Linux

Fedora Linux

I am a user of Fedora, and also maintain a set of packages. This page has packages that I am working on for submission to Fedora. Also, here is a summary of the work I have done for the Fedora project, as a package submitter, maintainer, and reviewer. For those struggling to convert licenses to SPDX, here is a little bit of help.

This PDF shows dependencies between packages I am involved with. The black ovals are packages for which I am primary maintainer, blue are packages for which I am comaintainer, green are packages for which I am neither but I maintain the package anyway, and red are packages that I normally don’t touch except for the occasional rebuild due to an soname bump or similar.

Finally, I have put together some information on how to be a Fedora packager.

Version Checking

Here are package download pages, for checking versions.

Package	Version in Rawhide
0install	2.18
4ti2	1.6.10
DSDP	5.8
E	3.2.5
GAPDoc	1.6.7
HPCombi	1.0.1
JUnitParams	1.1.1
Singular	4-4-0p4
TOPCOM	1.1.2
alt-ergo	2.3.3
antlr3	3.5.3
antlr4-project	4.13.2
apache-commons-configuration	2.11.0
apache-commons-jexl	3.4.0
apache-commons-vfs	2.9.0
apron	0.9.15
argparse	3.1
asl	20241122
autolink-java	0.11.0
azove	2.0
bigloo	4.5b
bliss	0.77
breakid	3.1.2
cadical	2.0.0
carat	2.1
ccluster	1.1.7
cddlib	0.94m
check	0.15.2
cli11	2.4.2
cliquer	1.22
clisp	2.49.95 + git 20241228
cocoalib	0.99850
cohomCalg	0.32
coin-or-Data-Netlib	1.2.11
coin-or-Data-miplib3	1.2.9
coin-or-HiGHS	1.9.0
coin-or-Sample	1.2.13
coin-or-lemon	1.3.1
coq	8.20.0
cryptominisat	5.11.22
csdp	6.2.0 + git 20181018
cvc5	1.2.0
cxsc	2.5.4
drat-trim	20240427
drat2er	20211228
e-antic	2.0.2
edwin-fonts	0.54
emacs-auctex	13.3
emacs-common-proofgeneral	4.5
emacs-company-mode	1.0.2
emacs-iedit	0.9.9.9.9
ffcall	2.5
fflas-ffpack	2.5.0
flamegraph	20241020
flexmark-java	0.64.6
flint	3.1.2
flocq	4.2.0
fontawesome-fonts	6.7.2
fontawesome4-fonts	4.7.0
frama-c	30.0-Zinc
g4music	4.3
gap	4.14.0
gap-pkg-4ti2interface	2024.11-01
gap-pkg-ace	5.6.2
gap-pkg-aclib	1.3.2
gap-pkg-alnuth	3.2.1
gap-pkg-anupq	3.3.1
gap-pkg-atlasrep	2.1.9
gap-pkg-autodoc	2023.06.19
gap-pkg-automata	1.16
gap-pkg-autpgrp	1.11
gap-pkg-browse	1.8.21
gap-pkg-caratinterface	2.3.7
gap-pkg-circle	1.6.6
gap-pkg-cohomolo	1.6.11
gap-pkg-congruence	1.2.7
gap-pkg-corelg	1.57
gap-pkg-crime	1.6
gap-pkg-crisp	1.4.6
gap-pkg-crypting	0.10.5
gap-pkg-cryst	4.1.27
gap-pkg-crystcat	1.1.10
gap-pkg-ctbllib	1.3.9
gap-pkg-curlinterface	2.4.0
gap-pkg-cvec	2.8.3
gap-pkg-datastructures	0.3.1
gap-pkg-design	1.8.2
gap-pkg-digraphs	1.9.0
gap-pkg-edim	1.3.8
gap-pkg-factint	1.6.3
gap-pkg-ferret	1.0.14
gap-pkg-fga	1.5.0
gap-pkg-fining	1.5.6
gap-pkg-float	1.0.5
gap-pkg-format	1.4.4
gap-pkg-forms	1.2.12
gap-pkg-fplsa	1.2.6
gap-pkg-fr	2.4.13
gap-pkg-francy	2.0.3
gap-pkg-gbnp	1.1.0
gap-pkg-genss	1.6.9
gap-pkg-grape	4.9.2
gap-pkg-groupoids	1.76
gap-pkg-grpconst	2.6.5
gap-pkg-guava	3.19
gap-pkg-hap	1.66
gap-pkg-hapcryst	0.1.15
gap-pkg-hecke	1.5.4
gap-pkg-idrel	2.48
gap-pkg-images	1.3.3
gap-pkg-io	4.9.1
gap-pkg-irredsol	1.4.4
gap-pkg-json	2.2.2
gap-pkg-jupyterkernel	1.5.1
gap-pkg-jupyterviz	1.5.6
gap-pkg-kbmag	1.5.11
gap-pkg-laguna	3.9.7
gap-pkg-liealgdb	2.2.1
gap-pkg-liepring	2.9.1
gap-pkg-liering	2.4.2
gap-pkg-lins	0.9
gap-pkg-loops	3.4.4
gap-pkg-lpres	1.1.1
gap-pkg-mapclass	1.4.6
gap-pkg-nautytracesinterface	0.2 + git 20241107
gap-pkg-normalizinterface	1.3.7
gap-pkg-nq	2.5.11
gap-pkg-numericalsgps	1.4.0
gap-pkg-openmath	11.5.3
gap-pkg-orb	4.9.2
gap-pkg-permut	2.0.5
gap-pkg-polenta	1.3.10
gap-pkg-polycyclic	2.16
gap-pkg-polymaking	0.8.7
gap-pkg-primgrp	3.4.4
gap-pkg-profiling	2.6.0
gap-pkg-qpa	1.35
gap-pkg-quagroup	1.8.4
gap-pkg-radiroot	2.9
gap-pkg-recog	1.4.3
gap-pkg-repsn	3.1.2
gap-pkg-resclasses	4.7.3
gap-pkg-scscp	2.4.3
gap-pkg-semigroups	5.4.0
gap-pkg-singular	2024.06.03
gap-pkg-sla	1.6.2
gap-pkg-smallgrp	1.5.4
gap-pkg-smallsemi	0.7.1
gap-pkg-sonata	2.9.6
gap-pkg-sophus	1.27
gap-pkg-spinsym	1.5.2
gap-pkg-standardff	1.0
gap-pkg-tomlib	1.2.11
gap-pkg-toric	1.9.6
gap-pkg-transgrp	3.6.5
gap-pkg-typeset	1.2.2
gap-pkg-utils	0.87
gap-pkg-uuid	0.7
gap-pkg-xmod	2.92
gap-pkg-zeromqinterface	0.16
gappa	1.5.0
gappalib-coq	1.6.0
gcl	2.6.15pre10
gf2x	1.3.0
gfan	0.7
givaro	4.2.0
glpk	5.0
gp2c	0.0.14
icu4j	76.1
iml	1.0.5
jakarta-json	2.1.3
javacc	7.0.13
javacc-maven-plugin	3.1.0
jetbrains-annotations	26.0.1
kissat	4.0.1
latexmk	4.86a
latte-integrale	1.7.6
leland-fonts	0.77
lfsc	20230914
libdivide	5.1
libedit	20250104-3.1
libfplll	5.5.0
libmpc	1.3.1
libpoly	0.1.13
libsemigroups	2.7.3
libsvm	3.35
linbox	1.7.0
lrcalc	2.1
lrslib	073
lusol	2016-01-26 + git 20221005
makemusic-finale-fonts	20230720
marcsabatella-campania-fonts	2.009
mathic	20230916
mathicgb	20240205
maven-doxia	1.12.0
maven-doxia-sitetools	1.11.1
maven-reporting-api	3.1.1
maven-reporting-impl	3.2.0
memtailor	20230916
metamath	0.198
mojo-executor	2.4.1
mpfi	1.5.4
mpfr	4.2.1
mpsolve	3.2.1
msolve	0.7.3
musescore	4.3.2
myst-nb	1.1.2
nauty	2.8.9
normaliz	3.10.4
not-ocamlfind	0.13
ntl	11.5.1
ocaml-alcotest	1.8.0
ocaml-astring	0.8.5
ocaml-atd	2.15.0
ocaml-base	0.17.1
ocaml-bin-prot	0.17.0
ocaml-bisect-ppx	2.8.3
ocaml-bos	0.2.1
ocaml-caml-mode	4.9
ocaml-camlbz2	0.8.0
ocaml-camlp-streams	5.0.1
ocaml-camlp5-buildscripts	0.04
ocaml-cinaps	0.15.1
ocaml-compiler-libs-janestreet	0.17.0
ocaml-crunch	3.3.1
ocaml-csexp	1.5.2
ocaml-ctypes	0.23.0
ocaml-dose3	7.0.0
ocaml-dune	3.17.1
ocaml-fieldslib	0.17.0
ocaml-fmt	0.9.0
ocaml-fpath	0.7.3
ocaml-gen	1.1
ocaml-graphics	5.1.2
ocaml-integers	0.7.0
ocaml-intrinsics-kernel	0.17.1
ocaml-jane-street-headers	0.17.0
ocaml-jsonm	1.0.2
ocaml-jst-config	0.17.0
ocaml-lablgtk	2.18.13
ocaml-lablgtk3	3.1.5
ocaml-logs	0.7.0
ocaml-luv	0.5.12
ocaml-markup	1.0.3
ocaml-mccs	1.1+19
ocaml-mdx	2.5.0
ocaml-menhir	20240715
ocaml-merlin	5.4.1
ocaml-mew	0.1.0
ocaml-mew-vi	0.5.0
ocaml-mlgmpidl	1.3.0
ocaml-mlmpfr	4.2.1
ocaml-mtime	2.1.0
ocaml-ocamlgraph	2.1.0
ocaml-ocp-indent	1.8.2
ocaml-ocplib-simplex	0.4.1
ocaml-octavius	1.2.2
ocaml-odoc	2.4.4
ocaml-opam-0install-cudf	0.5.0
ocaml-opam-file-format	2.1.6
ocaml-parmap	1.2.5
ocaml-parsexp	0.17.0
ocaml-pcre2	8.0.2
ocaml-pp	1.2.0
ocaml-ppx-assert	0.17.0
ocaml-ppx-base	0.17.0
ocaml-ppx-cold	0.17.0
ocaml-ppx-compare	0.17.0
ocaml-ppx-custom-printf	0.17.0
ocaml-ppx-deriving	6.0.3
ocaml-ppx-deriving-yaml	0.4.0
ocaml-ppx-deriving-yojson	3.9.1
ocaml-ppx-enumerate	0.17.0
ocaml-ppx-expect	0.17.2
ocaml-ppx-fields-conv	0.17.0
ocaml-ppx-globalize	0.17.0
ocaml-ppx-hash	0.17.0
ocaml-ppx-here	0.17.0
ocaml-ppx-inline-test	0.17.0
ocaml-ppx-js-style	0.17.0
ocaml-ppx-let	0.17.0
ocaml-ppx-optcomp	0.17.0
ocaml-ppx-sexp-conv	0.17.0
ocaml-ppx-stable-witness	0.17.0
ocaml-ppx-variants-conv	0.17.0
ocaml-ppxlib	0.34.0
ocaml-ppxlib-jane	0.17.2
ocaml-psmt2-frontend	0.4.0
ocaml-ptime	1.2.0
ocaml-ptmap	2.0.5
ocaml-pyml	20231101
ocaml-qcheck	0.23
ocaml-qtest	2.11.2
ocaml-rresult	0.7.0
ocaml-sexplib	0.17.0
ocaml-sexplib0	0.17.0
ocaml-spdx-licenses	1.2.0
ocaml-stdcompat	19 + git 20240529
ocaml-stdio	0.17.0
ocaml-stdlib-random	1.2.0
ocaml-swhid-core	0.1
ocaml-time-now	0.17.0
ocaml-topkg	1.0.7
ocaml-trie	1.0.0
ocaml-tyxml	4.6.0
ocaml-unionfind	20220122
ocaml-uucd	16.0.0
ocaml-uucp	16.0.0
ocaml-uunf	16.0.0
ocaml-uuseg	16.0.0
ocaml-uutf	1.0.3
ocaml-variantslib	0.17.0
ocaml-version	3.7.3
ocaml-yaml	3.2.0
ocaml-zarith	1.14
ocaml-zmq	5.3.0
opam	2.3.0
papilo	2.4.0
pari	2.17.1
pari-elldata	20210301
pari-galdata	20080411
pari-galpol	20180625
pari-nflistdata	20220729
pari-nftables	20080929
pari-seadata	20090618
pdqsort	20210314
permlib	0.2.9
picosat	965
pl	9.2.9
planarity	3.0.2.0
plantri	5.5
polymake	4.13
polyml	5.9.1
pplite	0.12
prooftree	0.14
python-accessible-pygments	0.0.5
python-cvxopt	1.3.2
python-furo	2024.08.06
python-gmpy2	2.2.1
python-janus-swi	1.5.2
python-jupymake	0.9 + git 20231204
python-jupyter-cache	1.0.1
python-jupyter-kernel-singular	0.9.9
python-jupyter-polymake	0.16
python-jupytext	1.16.6
python-latexcodec	3.0.0
python-linkify-it-py	2.0.3
python-nbdime	4.0.2
python-networkx	3.4.2
python-pari-jupyter	1.4.3
python-pybtex	0.24.0
python-pybtex-docutils	1.0.3
python-pydata-sphinx-theme	0.16.1
python-pyproject-metadata	0.8.0
python-pysingular	0.9.7
python-pytest-datadir	1.5.0
python-pytest-regressions	2.7.0
python-repoze-sphinx-autointerface	1.0.0
python-sphinx-autobuild	2024.10.03
python-sphinx-basic-ng	1.0.0.beta2
python-sphinx-design	0.6.1
python-sphinx-documatt-theme	0.0.6
python-sphinx-math-dollar	1.2.1
python-sphinx-reredirects	0.1.5
python-sphinx-sitemap	2.6.0
python-sphinx-theme-builder	0.2.0b2
python-sphinxcontrib-bibtex	2.6.3
python-sphinxtesters	0.2.4
python-texext	0.6.7
python-uc-micro-py	1.0.3
python-wurlitzer	3.1.1
qd	2.3.24
qepcad-B	1.74
qsopt-ex	2.5.10.3
remake	0.16
saclib	2.2.8
scip	9.2.0
snowball	2.2.0
soplex	7.1.2
spasm	1.2
spec-version-maven-plugin	2.2
steinberg-bravura-fonts	1.392
steinberg-petaluma-fonts	1.065 / 1.10 (script)
string-template-maven-plugin	1.1
stringtemplate4	4.3.4
subunit	1.4.4
surf-geometry	1.0.6
symfpu	20190517
sympol	0.1.9
sympy	1.13.3
tbb	2022.0.0
treelayout	1.0.3
tth	4.16
utop	2.15.0
vinci	1.0.5
why3	1.8.0
xgap	4.32
yices	2.6.5
z3	4.13.4
zenon	0.8.5
zimpl	3.6.2
zstr	1.0.7