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
4ti2	1.6.10
DSDP	5.8
E	3.0.03
GAPDoc	1.6.7
HPCombi	1.0.1
JUnitParams	1.1.1
TOPCOM	1.1.2
alt-ergo	2.3.3
antlr3	3.5.3
antlr4-project	4.10.1
apache-commons-configuration	2.10.1
apache-commons-jexl	3.3
apache-commons-vfs	2.9.0
apron	0.9.14
argparse	3.0
asl	20240201
autolink	0.11.0
azove	2.0
bigloo	4.5b
bliss	0.77
breakid	3.1.2
cadical	1.9.5
carat	2.1
ccluster	1.1.7
cddlib	0.94m
check	0.15.2
cli11	2.4.1
clisp	2.49.93 + git 20230718
cocoalib	0.99850
cohomCalg	0.32
coin-or-Data-Netlib	1.2.9
coin-or-Data-miplib3	1.2.8
coin-or-HiGHS	1.7.0
coin-or-lemon	1.3.1
coq	8.18.0
coxeter	3.1 + git 20180226
cryptominisat	5.11.21
csdp	6.2.0 + git 20181018
cvc5	1.1.2
cxsc	2.5.4
drat-trim	20240309
drat2er	20211228
e-antic	2.0.2
ecl	23.9.9
eclib	20231212
edwin-fonts	0.54
emacs-auctex	13.3
emacs-common-proofgeneral	4.5
emacs-company-mode	0.10.2
emacs-iedit	0.9.9.9.9
ffcall	2.4
fflas-ffpack	2.5.0
flamegraph	20231107
flexmark-java	0.64.6
flint	3.1.0
flocq	4.1.4
fontawesome-fonts	6.5.2
fontawesome4-fonts	4.7.0
frama-c	28.1-Nickel
freetdi-gala	1
g4music	3.5.1
gap	4.13.0
gap-pkg-ace	5.6.2
gap-pkg-aclib	1.3.2
gap-pkg-alnuth	3.2.1
gap-pkg-anupq	3.3.0
gap-pkg-atlasrep	2.1.8
gap-pkg-autodoc	2023.06.19
gap-pkg-automata	1.15
gap-pkg-autpgrp	1.11
gap-pkg-browse	1.8.21
gap-pkg-caratinterface	2.3.6
gap-pkg-circle	1.6.6
gap-pkg-cohomolo	1.6.11
gap-pkg-congruence	1.2.6
gap-pkg-corelg	1.56
gap-pkg-crime	1.6
gap-pkg-crisp	1.4.6
gap-pkg-crypting	0.10.4
gap-pkg-cryst	4.1.27
gap-pkg-crystcat	1.1.10
gap-pkg-ctbllib	1.3.9
gap-pkg-curlinterface	2.3.2
gap-pkg-cvec	2.8.1
gap-pkg-datastructures	0.3.0
gap-pkg-design	1.8
gap-pkg-digraphs	1.7.1
gap-pkg-edim	1.3.8
gap-pkg-factint	1.6.3
gap-pkg-ferret	1.0.10
gap-pkg-fga	1.5.0
gap-pkg-fining	1.5.6
gap-pkg-float	1.0.4
gap-pkg-format	1.4.4
gap-pkg-forms	1.2.11
gap-pkg-fplsa	1.2.6
gap-pkg-fr	2.4.13
gap-pkg-francy	2.0.3
gap-pkg-gbnp	1.0.5
gap-pkg-genss	1.6.8
gap-pkg-grape	4.9.0
gap-pkg-groupoids	1.74
gap-pkg-grpconst	2.6.5
gap-pkg-guava	3.19
gap-pkg-hap	1.62
gap-pkg-hapcryst	0.1.15
gap-pkg-hecke	1.5.3
gap-pkg-images	1.3.2
gap-pkg-io	4.8.2
gap-pkg-irredsol	1.4.4
gap-pkg-json	2.2.0
gap-pkg-jupyterkernel	1.5.0
gap-pkg-jupyterviz	1.5.6
gap-pkg-laguna	3.9.6
gap-pkg-liealgdb	2.2.1
gap-pkg-liepring	2.8
gap-pkg-liering	2.4.2
gap-pkg-loops	3.4.3
gap-pkg-lpres	1.0.3
gap-pkg-mapclass	1.4.6
gap-pkg-nautytracesinterface	0.2 + git 20221102
gap-pkg-nq	2.5.11
gap-pkg-openmath	11.5.3
gap-pkg-orb	4.9.0
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.5.4
gap-pkg-qpa	1.35
gap-pkg-quagroup	1.8.4
gap-pkg-radiroot	2.9
gap-pkg-recog	1.4.2
gap-pkg-repsn	3.1.2
gap-pkg-resclasses	4.7.3
gap-pkg-scscp	2.4.2
gap-pkg-semigroups	5.3.7
gap-pkg-singular	2023.02.09
gap-pkg-sla	1.5.3
gap-pkg-smallgrp	1.5.3
gap-pkg-smallsemi	0.6.13
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.5
gap-pkg-transgrp	3.6.5
gap-pkg-utils	0.85
gap-pkg-uuid	0.7
gap-pkg-xmod	2.92
gap-pkg-zeromqinterface	0.14
gappa	1.4.2
gappalib-coq	1.5.4
gcl	2.6.14
gf2x	1.3.0
gfan	0.6.2
givaro	4.2.0
glpk	5.0
gmp-ecm	7.0.5
gnofract4d	4.3
gp2c	0.0.13
icu4j	75.1
iml	1.0.5
jakarta-json	2.1.3
javacc	7.0.13
javacc-maven-plugin	3.1.0
jetbrains-annotations	24.1.0
jmol	16.2.3
jni-inchi	0.8
kissat	3.1.1
latexmk	4.85
latte-integrale	1.7.6
leland-fonts	0.77
lfsc	20230914
libbraiding	1.2
libdivide	5.0
libedit	20230828-3.1
libfplll	5.4.5
libhomfly	1.02r6
libmpc	1.3.1
libpoly	0.1.13
libsemigroups	2.7.3
libsvm	3.32
linbox	1.7.0
lrslib	072
lusol	2016-01-26 + git 20221005
m4ri	20200125
m4rie	20200125
makemusic-finale-fonts	20230720
marcsabatella-campania-fonts	2.009
mathic	20230916
mathicgb	20231121
maven-doxia-sitetools	1.11.1
maven-doxia	1.12.0
maven-reporting-api	3.1.1
maven-reporting-impl	3.2.0
mcqd	1.0.0 + git 20160901
memtailor	20230916
metamath	0.198
minisat2	2.2.1
mojo-executor	2.4.0
mpfi	1.5.4
mpfr	4.2.1
mpsolve	3.2.1
msolve	0.6.5
musescore	4.2.1
naga	3.0 + git 20200930
nauty	2.8.8
normaliz	3.10.2
not-ocamlfind	0.12
ntl	11.5.1
ocaml-alcotest	1.7.0
ocaml-astring	0.8.5
ocaml-atd	2.15.0
ocaml-base	0.16.3
ocaml-bigarray-compat	1.1.0
ocaml-bin-prot	0.16.0
ocaml-bisect-ppx	2.8.3
ocaml-bos	0.2.1
ocaml-caml-mode	4.9
ocaml-camlbz2	0.7.0
ocaml-camlp-streams	5.0.1
ocaml-camlp5-buildscripts	0.03
ocaml-cinaps	0.15.1
ocaml-compiler-libs-janestreet	0.12.4
ocaml-crunch	3.3.1
ocaml-csexp	1.5.2
ocaml-ctypes	0.21.1
ocaml-dose3	7.0.0
ocaml-dune	3.15.1
ocaml-fieldslib	0.16.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-jane-street-headers	0.16.0
ocaml-jst-config	0.16.0
ocaml-lablgtk3	3.1.4
ocaml-lablgtk	2.18.13
ocaml-logs	0.7.0
ocaml-luv	0.5.12
ocaml-markup	1.0.3
ocaml-mccs	1.1+17
ocaml-mdx	2.4.1
ocaml-menhir	20231231
ocaml-merlin	4.14
ocaml-mew-vi	0.5.0
ocaml-mew	0.1.0
ocaml-mlgmpidl	1.3.0
ocaml-mlmpfr	4.2.1
ocaml-mtime	2.0.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.1
ocaml-opam-file-format	2.1.6
ocaml-parmap	1.2.5
ocaml-parsexp	0.16.0
ocaml-pcre2	7.5.2
ocaml-pp	1.2.0
ocaml-ppx-assert	0.16.0
ocaml-ppx-base	0.16.0
ocaml-ppx-cold	0.16.0
ocaml-ppx-compare	0.16.0
ocaml-ppx-custom-printf	0.16.0
ocaml-ppx-deriving	5.2.1
ocaml-ppx-deriving-yaml	0.2.2
ocaml-ppx-deriving-yojson	3.7.0
ocaml-ppx-enumerate	0.16.0
ocaml-ppx-expect	0.16.0
ocaml-ppx-fields-conv	0.16.0
ocaml-ppx-globalize	0.16.0
ocaml-ppx-hash	0.16.0
ocaml-ppx-here	0.16.0
ocaml-ppx-import	1.10.0
ocaml-ppx-inline-test	0.16.1
ocaml-ppx-js-style	0.16.0
ocaml-ppx-let	0.16.0
ocaml-ppx-optcomp	0.16.0
ocaml-ppx-sexp-conv	0.16.0
ocaml-ppx-stable-witness	0.16.0
ocaml-ppx-variants-conv	0.16.0
ocaml-ppxlib	0.31.0
ocaml-psmt2-frontend	0.4.0
ocaml-ptime	1.1.0
ocaml-ptmap	2.0.5
ocaml-pyml	20231101
ocaml-qcheck	0.21.3
ocaml-qtest	2.11.2
ocaml-rresult	0.7.0
ocaml-sexplib0	0.16.0
ocaml-sexplib	0.16.0
ocaml-stdcompat	19
ocaml-stdio	0.16.0
ocaml-stdlib-random	1.2.0
ocaml-time-now	0.16.0
ocaml-topkg	1.0.7
ocaml-trie	1.0.0
ocaml-tyxml	4.6.0
ocaml-unionfind	20220122
ocaml-uucd	15.1.0
ocaml-uucp	15.1.0
ocaml-uunf	15.1.0
ocaml-uuseg	15.1.0
ocaml-uutf	1.0.3
ocaml-variantslib	0.16.0
ocaml-version	3.6.4
ocaml-yaml	3.2.0
ocaml-zarith	1.13
ocaml-zmq	5.2.2
opam	2.1.5
papilo	2.2.0
pari	2.15.5
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.3
plantri	5.4
polymake	4.11
polyml	5.9.1
pplite	0.11
primecount	7.11
prooftree	0.13
python-BTrees	5.2
python-ZEO	6.0.0
python-ZODB3	3.11.0
python-ZODB	6.0
python-accessible-pygments	0.0.4
python-bash-kernel	0.9.3
python-cvxopt	1.3.2
python-furo	2024.01.29
python-gmpy2	2.1.5
python-j1m.sphinxautozconfig	0.1.0
python-jupymake	0.9 + git 20231204
python-jupyter-kernel-singular	0.9.9
python-jupyter-polymake	0.16
python-jupyter-sphinx	0.5.3
python-latexcodec	3.0.0
python-linkify-it-py	2.0.3
python-manuel	1.12.4
python-nb2plots	0.7.2
python-networkx	3.2.1
python-pari-jupyter	1.4.3
python-persistent	5.2
python-pplpy	0.8.10
python-primecountpy	0.1.0
python-pybtex-docutils	1.0.3
python-pybtex	0.24.0
python-pydata-sphinx-theme	0.15.2
python-pyproject-metadata	0.8.0
python-pysingular	0.9.7
python-pytest-cython	0.2.2
python-pytest-datadir	1.5.0
python-pytest-regressions	2.5.0
python-repoze-sphinx-autointerface	1.0.0
python-scripttester	0.6
python-sphinx-autobuild	2024.04.16
python-sphinx-basic-ng	1.0.0.beta2
python-sphinx-design	0.5.0
python-sphinx-documatt-theme	0.0.6
python-sphinx-math-dollar	1.2.1
python-sphinx-reredirects	0.1.3
python-sphinx-sitemap	2.5.1
python-sphinx-theme-builder	0.2.0b2
python-sphinxcontrib-bibtex	2.6.2
python-sphinxcontrib-zopeext	0.4.3
python-sphinxext-rediraffe	0.2.7
python-sphinxtesters	0.2.3
python-tdlib	0.9.2
python-texext	0.6.7
python-uc-micro-py	1.0.3
python-wurlitzer	3.0.3
python-zodbpickle	3.3
python-zope-testrunner	6.4
python-zopeundo	6.0
qd	2.3.24
qepcad-B	1.74
qsopt-ex	2.5.10.3
remake	0.14
rubiks	20070912
saclib	2.2.8
scip	9.0.0
sharedmeataxe	1.0.1
sirocco	2.1.0
snowball	2.2.0
soplex	7.0.0
spasm	1.2
spec-version-maven-plugin	2.2
steinberg-bravura-fonts	1.392
steinberg-petaluma-fonts	1.065 / 1.10 (script)
stp	2.3.3
string-template-maven-plugin	1.1
stringtemplate4	4.3.4
subunit	1.4.4
symfpu	20190517
symmetrica	3.0.1
sympol	0.1.9
sympy	1.12
tbb	2021.11.0
test-interface	1.0
tlx	0.6.1
treelayout	1.0.3
tth	4.16
utop	2.13.1
vinci	1.0.5
why3	1.7.2
xgap	4.32
yices	2.6.4
z3	4.13.0
zenon	0.8.5
zimpl	3.5.3
zstr	1.0.7