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.14
DSDP	5.8
E	3.2.5
GAPDoc	1.6.7
HPCombi	1.1.1
JUnitParams	1.1.1
Macaulay2	1.25.11
Singular	4-4-1
TOPCOM	1.1.2
alt-ergo	2.4.3
antlr3	3.5.3
antlr4-project	4.13.2
apron	0.9.15
argparse	3.2
asl	20251122
autolink-java	0.12.0
azove	2.0
bigloo	4.6a
bliss	0.77
breakid	3.1.3
cadical	2.2.1
carat	2.1
ccluster	1.1.7
cddlib	0.94n
check	0.15.2
cli11	2.6.2
cliquer	1.23
clisp	2.49.95 + git 20250504
cocoalib	0.99850
cohomCalg	0.32
coin-or-Data-Netlib	1.2.11
coin-or-Data-miplib3	1.2.9
coin-or-HiGHS	1.13.1
coin-or-Sample	1.2.13
coin-or-lemon	1.3.1
coq	8.20.1
cryptominisat	5.13.0
csdp	6.2.0 + git 20181018
cvc5	1.3.2
cxsc	2.5.4
drat-trim	20240427
drat2er	20211228
e-antic	2.1.0
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
ethos	0.2.2
ffcall	2.5
fflas-ffpack	2.5.0
flamegraph	20241020
flexmark-java	0.64.6
flint	3.4.0
flocq	4.2.1
fontawesome-fonts	6.7.2
fontawesome4-fonts	4.7.0
frama-c	32.0-Germanium
frobby	0.9.7
g4music	4.6
gap	4.15.1
gap-pkg-4ti2interface	2025.12-01
gap-pkg-ace	5.7.0
gap-pkg-aclib	1.3.3
gap-pkg-alnuth	3.2.1
gap-pkg-anupq	3.3.3
gap-pkg-atlasrep	2.1.9
gap-pkg-autodoc	2025.12.19
gap-pkg-automata	1.16
gap-pkg-autpgrp	1.11.1
gap-pkg-browse	1.8.21
gap-pkg-caratinterface	2.3.7
gap-pkg-circle	1.6.6
gap-pkg-cohomolo	1.6.12
gap-pkg-congruence	1.2.7
gap-pkg-corelg	1.57
gap-pkg-crime	1.6
gap-pkg-crisp	1.4.8
gap-pkg-crypting	0.10.6
gap-pkg-cryst	4.1.30
gap-pkg-crystcat	1.1.11
gap-pkg-ctbllib	1.3.11
gap-pkg-curlinterface	2.4.2
gap-pkg-cvec	2.8.4
gap-pkg-datastructures	0.4.1
gap-pkg-design	1.8.2
gap-pkg-digraphs	1.14.0
gap-pkg-edim	1.3.8
gap-pkg-factint	1.6.3
gap-pkg-ferret	1.0.16
gap-pkg-fga	1.5.0
gap-pkg-fining	1.5.6
gap-pkg-float	1.0.9
gap-pkg-format	1.4.4
gap-pkg-forms	1.2.14
gap-pkg-fplsa	1.2.8
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.3
gap-pkg-groupoids	1.81
gap-pkg-grpconst	2.6.5
gap-pkg-guava	3.21
gap-pkg-hap	1.74
gap-pkg-hapcryst	0.1.15
gap-pkg-hecke	1.5.4
gap-pkg-idrel	2.49
gap-pkg-images	1.3.3
gap-pkg-inducereduce	1.3
gap-pkg-io	4.9.3
gap-pkg-irredsol	1.4.4
gap-pkg-json	2.2.3
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.3.0
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.3 + git 20251125
gap-pkg-normalizinterface	1.4.1
gap-pkg-nq	2.5.11
gap-pkg-numericalsgps	1.4.0
gap-pkg-openmath	11.5.3
gap-pkg-orb	5.0.1
gap-pkg-packagemanager	1.6.3
gap-pkg-permut	2.0.5
gap-pkg-polenta	1.3.11
gap-pkg-polycyclic	2.17
gap-pkg-polymaking	0.8.8
gap-pkg-primgrp	4.0.2
gap-pkg-profiling	2.6.2
gap-pkg-qpa	1.36
gap-pkg-quagroup	1.8.4
gap-pkg-radiroot	2.9
gap-pkg-recog	1.4.4
gap-pkg-repsn	3.1.2
gap-pkg-resclasses	4.7.4
gap-pkg-scscp	2.4.4
gap-pkg-semigroups	5.5.4
gap-pkg-singular	2025.08.26
gap-pkg-sl2reps	1.1
gap-pkg-sla	1.6.2
gap-pkg-smallantimagmas	0.5.1
gap-pkg-smallclassnr	1.4.3
gap-pkg-smallgrp	1.5.4
gap-pkg-smallsemi	0.7.2
gap-pkg-sonata	2.9.7
gap-pkg-sophus	1.27
gap-pkg-sotgrps	1.3
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.3
gap-pkg-unipot	1.6
gap-pkg-utils	0.93
gap-pkg-uuid	0.7
gap-pkg-wpe	0.8
gap-pkg-xmod	2.97
gap-pkg-zeromqinterface	0.17
gappa	1.6.1
gappalib-coq	1.7.1
gcg	4.0.1
gcl	2.7.1
geomview	1.9.5
gf2x	1.3.0
gfan	0.7
givaro	4.2.1
glpk	5.0
gp2c	0.0.14p1
icu4j	78.2
iml	1.0.5
jakarta-json	2.1.3
javacc	7.0.13
javacc-maven-plugin	3.2.0
jetbrains-annotations	26.1.0
kissat	4.0.4
l10n-maven-plugin	1.2.0
latexmk	4.87
latte-integrale	1.7.6
leland-fonts	0.80
lfsc	20230914
libdivide	5.3.0
libedit	20251016-3.1
libfplll	5.5.0
libmpc	1.3.1
libpoly	0.2.1
libsemigroups	2.7.4
libsvm	3.37
linbox	1.7.1
lrcalc	2.1
lrslib	073a
lusol	2016-01-26 + git 20221005
makemusic-finale-fonts	20230720
marcsabatella-campania-fonts	2.009
mathic	1.2
mathicgb	1.2
maven-doxia	2.0.0
maven-doxia-sitetools	2.0.0
maven-reporting-api	4.0.0
maven-reporting-impl	4.0.0
memtailor	1.2
metamath	0.198
mojo-executor	2.4.1
mpfi	1.5.4
mpfr	4.2.2
mpsolve	3.2.3 beta
msolve	0.9.4
musescore	4.6.5
myst-nb	1.4.0
nauty	2.9.3
normaliz	3.10.5
not-ocamlfind	0.14
ntl	11.6.0
ocaml-afl-persistent	1.4
ocaml-alcotest	1.9.1
ocaml-astring	0.8.5
ocaml-atd	3.0.1
ocaml-base	0.17.3
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.06
ocaml-capitalization	0.17.0
ocaml-cinaps	0.15.1
ocaml-compiler-libs-janestreet	0.17.0
ocaml-crowbar	0.2.2
ocaml-csexp	1.5.2
ocaml-ctypes	0.24.0
ocaml-dose3	7.0.0
ocaml-dune	3.21.1
ocaml-fieldslib	0.17.0
ocaml-fmt	0.11.0
ocaml-fpath	0.7.3
ocaml-gen	1.1
ocaml-graphics	5.2.0
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.14
ocaml-lablgtk3	3.1.5
ocaml-logs	0.10.0
ocaml-mccs	1.1+19
ocaml-mdx	2.5.1
ocaml-menhir	20260209
ocaml-merlin	5.6.1
ocaml-mew	0.1.0
ocaml-mew-vi	0.5.0
ocaml-mlgmpidl	1.3.0
ocaml-mlmpfr	4.2.1
ocaml-monolith	20250922
ocaml-mtime	2.1.0
ocaml-ocamlgraph	2.2.0
ocaml-ocp-indent	1.9.0
ocaml-ocplib-simplex	0.4.1
ocaml-opam-0install-cudf	0.5.0
ocaml-opam-file-format	2.2.0
ocaml-parmap	1.2.5
ocaml-parsexp	0.17.0
ocaml-patch	3.1.0
ocaml-pcre2	8.0.4
ocaml-pp	2.0.0
ocaml-ppx-assert	0.17.0
ocaml-ppx-base	0.17.0
ocaml-ppx-bench	0.17.1
ocaml-ppx-cold	0.17.0
ocaml-ppx-compare	0.17.0
ocaml-ppx-custom-printf	0.17.0
ocaml-ppx-deriving	6.1.1
ocaml-ppx-deriving-yaml	0.4.1
ocaml-ppx-deriving-yojson	3.10.0
ocaml-ppx-enumerate	0.17.0
ocaml-ppx-expect	0.17.3
ocaml-ppx-fields-conv	0.17.0
ocaml-ppx-globalize	0.17.2
ocaml-ppx-hash	0.17.0
ocaml-ppx-here	0.17.0
ocaml-ppx-inline-test	0.17.1
ocaml-ppx-let	0.17.1
ocaml-ppx-optcomp	0.17.1
ocaml-ppx-sexp-conv	0.17.1
ocaml-ppx-stable-witness	0.17.0
ocaml-ppx-variants-conv	0.17.1
ocaml-ppxlib	0.37.0
ocaml-ppxlib-jane	0.17.4
ocaml-psmt2-frontend	0.4.0
ocaml-ptmap	2.0.5
ocaml-pyml	20250807
ocaml-qcheck	0.91
ocaml-qtest	2.11.2
ocaml-rresult	0.7.0
ocaml-sexplib	0.17.0
ocaml-sexplib0	0.17.0
ocaml-spdx-licenses	1.4.0
ocaml-stdcompat	21.1
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.1.1
ocaml-trie	1.0.0
ocaml-unionfind	20250818
ocaml-uucd	17.0.0
ocaml-uucp	17.0.0
ocaml-uunf	17.0.0
ocaml-uuseg	17.0.0
ocaml-uutf	1.0.4
ocaml-variantslib	0.17.0
ocaml-version	4.0.3
ocaml-yaml	3.2.0
ocaml-zarith	1.14
ocaml-zmq	5.3.0
opam	2.5.0
papilo	3.0.0
pari	2.17.3
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	10.0.1
planarity	4.0.1.0
plantri	5.5
polymake	4.15
polyml	5.9.2
pplite	0.13
prooftree	0.14
pygsl	2.6.4
python-accessible-pygments	0.0.5
python-cvxopt	1.3.3
python-diagnostic	3.0.0
python-furo	2025.12.19
python-gmpy2	2.2.2
python-iplotx	1.7.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.19.1
python-latexcodec	3.0.1
python-linkify-it-py	2.1.0
python-nbdime	4.0.4
python-networkx	3.6.1
python-pari-jupyter	1.4.3
python-pybtex	0.25.1
python-pybtex-docutils	1.0.3
python-pydata-sphinx-theme	0.16.1
python-pyproject-metadata	0.11.0
python-pysingular	0.9.7
python-pytest-datadir	1.8.0
python-pytest-regressions	2.10.0
python-repoze-sphinx-autointerface	1.0.0
python-sphinx-autobuild	2025.08.25
python-sphinx-book-theme	1.1.4
python-sphinx-basic-ng	1.0.0.beta2
python-sphinx-design	0.7.0
python-sphinx-math-dollar	1.3
python-sphinx-reredirects	1.1.0
python-sphinx-thebe	0.3.1
python-sphinx-theme-builder	0.3.2
python-sphinxcontrib-bibtex	2.6.5
python-sphinxtesters	0.2.4
python-texext	0.6.8
python-uc-micro-py	2.0.0
python-wurlitzer	3.1.1
qd	2.3.24
qepcad-B	1.74
qsopt-ex	2.5.10.3
remake	0.16
rx-ranges	2.0.0
saclib	2.2.8
scip	10.0.1
snowball	3.0.1
soplex	8.0.1
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.5
symfpu	20230627
sympy	1.14.0
tbb	2022.3.0
treelayout	1.0.3
tth	4.16
utop	2.16.0
vinci	1.0.5
vipr	1.1 + git 20251029
vst3sdk	3.8.0
why3	1.8.2
xgap	4.33
yices	2.7.0
z3	4.15.8
zenon	0.8.5
zimpl	3.7.0
zstr	1.1.0