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.15
DSDP	5.8
E	3.5.1
GAPDoc	1.6.10
HPCombi	1.1.2
JUnitParams	1.1.1
Macaulay2	1.26.06
Singular	4-4-1p5
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	20260109
azove	2.0
bigloo	4.6a
bliss	0.77
breakid	3.1.3
cadical	2.2.1
carat	2.1
ccluster	1.1.8
cddlib	0.94n
check	0.15.2
cli11	2.7.2
cliquer	1.23
clisp	2.49.95 + git 20260519
cocoalib	0.99850
cohomCalg	0.32
coin-or-Data-Netlib	1.2.11
coin-or-Data-miplib3	1.2.9
coin-or-HiGHS	1.15.1
coin-or-Sample	1.2.13
coin-or-lemon	1.3.1
cryptominisat	5.14.7
csdp	6.2.0 + git 20181018
cvc5	1.3.4
cxsc	2.5.4
drat-trim	20240427
e-antic	2.1.1
edwin-fonts	0.54
emacs-auctex	14.1.2
emacs-common-proofgeneral	4.5
emacs-company-mode	1.0.2
emacs-iedit	0.9.9.9.9
ethos	0.2.3
ffcall	2.5
fflas-ffpack	2.5.0
flamegraph	20241020
flint	3.5.0
flocq	4.2.2
fontawesome-fonts	7.3.1
fontawesome4-fonts	4.7.0
frama-c	33.0-Arsenic
frobby	0.9.9
gap	4.16.0
gap-pkg-4ti2interface	2026.05-01
gap-pkg-ace	5.7.0
gap-pkg-aclib	1.4
gap-pkg-alnuth	4.0.2
gap-pkg-anupq	3.3.3
gap-pkg-atlasrep	2.1.11
gap-pkg-autodoc	2026.06.30
gap-pkg-automata	1.17
gap-pkg-autpgrp	1.12.0
gap-pkg-browse	1.8.23
gap-pkg-caratinterface	2.3.9
gap-pkg-circle	1.7.1
gap-pkg-cohomolo	1.7.0
gap-pkg-congruence	1.2.7
gap-pkg-corelg	1.57
gap-pkg-crime	1.6
gap-pkg-crisp	1.4.9
gap-pkg-crypting	0.10.6
gap-pkg-cryst	4.1.31
gap-pkg-crystcat	1.1.11
gap-pkg-ctbllib	1.3.11
gap-pkg-curlinterface	2.4.4
gap-pkg-cvec	2.8.5
gap-pkg-datastructures	0.4.3
gap-pkg-design	1.8.2
gap-pkg-digraphs	1.15.0
gap-pkg-edim	1.3.8
gap-pkg-factint	1.7.0
gap-pkg-ferret	1.0.16
gap-pkg-fga	1.5.0
gap-pkg-fining	1.5.6
gap-pkg-float	1.0.10
gap-pkg-format	1.4.5
gap-pkg-forms	1.3.0
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.82
gap-pkg-grpconst	2.6.6
gap-pkg-guava	3.21
gap-pkg-hap	1.78
gap-pkg-hapcryst	0.2.0
gap-pkg-hecke	1.6.0
gap-pkg-idrel	2.51
gap-pkg-images	1.4.0
gap-pkg-inducereduce	1.4
gap-pkg-io	4.10.0
gap-pkg-irredsol	1.4.5
gap-pkg-json	2.4.0
gap-pkg-jupyterkernel	1.5.1
gap-pkg-jupyterviz	1.5.6
gap-pkg-kbmag	1.5.11
gap-pkg-laguna	3.10.1
gap-pkg-liealgdb	2.3.1
gap-pkg-liepring	2.9.2
gap-pkg-liering	2.4.2
gap-pkg-lins	0.9
gap-pkg-loops	3.4.5
gap-pkg-lpres	1.1.2
gap-pkg-mapclass	1.4.6
gap-pkg-nautytracesinterface	0.3 + git 20260728
gap-pkg-normalizinterface	1.5.1
gap-pkg-nq	2.5.11
gap-pkg-numericalsgps	1.4.0
gap-pkg-openmath	11.5.5
gap-pkg-orb	5.1.0
gap-pkg-packagemanager	1.6.4
gap-pkg-permut	2.0.7
gap-pkg-polenta	1.3.11
gap-pkg-polycyclic	2.18
gap-pkg-polymaking	0.8.9
gap-pkg-primgrp	4.0.3
gap-pkg-profiling	2.6.3
gap-pkg-qpa	1.37
gap-pkg-quagroup	1.8.4
gap-pkg-radiroot	2.10
gap-pkg-recog	1.5.1
gap-pkg-repsn	3.1.3
gap-pkg-resclasses	4.7.4
gap-pkg-scscp	2.5.0
gap-pkg-semigroups	5.6.3
gap-pkg-singular	2026.05.05
gap-pkg-sl2reps	1.1
gap-pkg-sla	1.6.2
gap-pkg-smallantimagmas	0.6.0
gap-pkg-smallclassnr	1.6.0
gap-pkg-smallgrp	1.6.0
gap-pkg-smallsemi	0.7.2
gap-pkg-sonata	2.9.8
gap-pkg-sophus	1.27
gap-pkg-sotgrps	1.3.1
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.4
gap-pkg-unipot	1.6
gap-pkg-utils	0.98
gap-pkg-uuid	0.7
gap-pkg-wpe	0.8
gap-pkg-xmod	2.98
gap-pkg-zeromqinterface	0.18
gappa	1.8.2
gappalib-coq	1.11.0
gcg	4.0.2
gcl	2.7.1
geomview	1.9.5
gf2x	1.3.0
gfan	0.8beta
givaro	4.2.2
glpk	5.0
gp2c	0.0.14p1
icu4j	78.3
iml	1.0.5
json-schema-validator	2.4.0
kissat	4.0.4
latexmk	4.88
latte-integrale	1.7.6
leland-fonts	0.80
libdivide	5.3.0
libedit	20260512-3.1
libfplll	5.5.0
libmpc	1.4.1
libpoly	0.2.1
libsemigroups	3.6.1
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.4
mathicgb	1.4
memtailor	1.4
mojo-executor	2.4.1
mnxdom	3.0
mpfi	1.5.4
mpfr	4.2.2
mpsolve	3.2.3 beta
msolve	0.10.1
musescore	4.7.4
myst-nb	1.4.0
nauty	2.9.3
normaliz	3.11.1
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	4.2.0
ocaml-b0	0.0.6
ocaml-base	0.17.3
ocaml-bin-prot	0.17.0
ocaml-bisect-ppx	2.8.3
ocaml-bos	0.3.0
ocaml-caml-mode	4.9
ocaml-camlbz2	0.8.0
ocaml-camlp-streams	5.0.1
ocaml-camlp5-buildscripts	0.07
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.24.2
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.8.0
ocaml-intrinsics-kernel	0.17.2
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.6.0
ocaml-menhir	20260209
ocaml-merlin	5.8.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.2
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.3
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.38.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.5.0
ocaml-stdcompat	21.1
ocaml-stdio	0.17.0
ocaml-stdlib-random	1.2.0
ocaml-store	0.2
ocaml-swhid-core	0.1
ocaml-testo	0.5.0
ocaml-time-now	0.17.0
ocaml-topkg	1.1.1
ocaml-trie	1.0.0
ocaml-unionfind	20260226
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.1.3
ocaml-yaml	3.2.0
ocaml-yamlx	0.3.0
ocaml-zarith	1.14
ocaml-zmq	5.3.0
opam	2.5.2
palp	2.21
papilo	3.0.1
pari	2.17.4
pari-elldata	20210301
pari-galdata	20080411
pari-galpol	20180625
pari-nflistdata	20220729
pari-nftables	20080929
pari-seadata	20090618
permlib	0.2.9
picosat	965
pl	10.0.2
planarity	5.0.0.0
plantri	5.8
polymake	4.15
polyml	5.9.2
pplite	0.14
prooftree	0.14
pygsl	2.6.5
python-accessible-pygments	0.0.5
python-cvxopt	1.3.3
python-diagnostic	3.0.0
python-furo	2025.12.19
python-gmpy2	2.3.1
python-iplotx	1.8.0
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.4
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.26.1
python-pybtex-docutils	1.0.3
python-pydata-sphinx-theme	0.20.0
python-pyproject-metadata	0.12.1
python-pysingular	0.9.7
python-pytest-datadir	1.8.0
python-pytest-regressions	2.11.0
python-repoze-sphinx-autointerface	1.1.0
python-sphinx-autobuild	2025.08.25
python-sphinx-book-theme	1.4.0
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.7.0
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
rocq	9.2.0
rocq-stdlib	9.1.0
rx-ranges	2.0.0
saclib	2.2.8
scip	10.0.3
snowball	3.1.1
soplex	8.0.3
spasm	1.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.6
symfpu	20260406
symmetrica	3.1.0
sympy	1.14.0
tbb	2022.3.0
treelayout	1.0.3
tth	4.16
utop	2.17.0
vinci	1.0.5
vipr	1.1 + git 20251029
vst3sdk	3.8.1
why3	1.8.2
xgap	4.33
yices	2.7.0
z3	5.0.0
zenon	0.8.5
zimpl	3.7.1
zstr	1.1.0