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.1.0
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.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	20240201
autolink	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
clisp	2.49.93 + git 20240901
cocoalib	0.99850
cohomCalg	0.32
coin-or-Data-Netlib	1.2.10
coin-or-Data-miplib3	1.2.8
coin-or-HiGHS	1.8.0
coin-or-lemon	1.3.1
coq	8.18.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	20231107
flexmark-java	0.64.6
flint	3.1.2
flocq	4.2.0
fontawesome-fonts	6.7.1
fontawesome4-fonts	4.7.0
frama-c	29.0-Copper
g4music	4.2
gap	4.13.1
gap-pkg-4ti2interface	2023.02-04
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.6
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.2
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.0
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 20240323
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.1
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.86
gap-pkg-uuid	0.7
gap-pkg-xmod	2.92
gap-pkg-zeromqinterface	0.16
gappa	1.4.2
gappalib-coq	1.5.4
gcl	2.6.15pre10
gf2x	1.3.0
gfan	0.7
givaro	4.2.0
glpk	5.0
gp2c	0.0.13
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
latte-integrale	1.7.6
latexmk	4.85
leland-fonts	0.77
lfsc	20230914
libdivide	5.1
libedit	20240808-3.1
libfplll	5.4.5
libmpc	1.3.1
libpoly	0.1.13
libsemigroups	2.7.3
libsvm	3.35
linbox	1.7.0
lrslib	073
lusol	2016-01-26 + git 20221005
m4ri	20200125
m4rie	20200125
makemusic-finale-fonts	20230720
marcsabatella-campania-fonts	2.009
mathic	20230916
mathicgb	20240205
maven-doxia-sitetools	1.11.1
maven-doxia	1.12.0
maven-reporting-api	3.1.1
maven-reporting-impl	3.2.0
memtailor	20230916
metamath	0.198
mojo-executor	2.4.0
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-bigarray-compat	1.1.0
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.03
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.16.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+18
ocaml-mdx	2.4.1
ocaml-menhir	20240715
ocaml-merlin	5.2
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.3
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	7.5.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.2
ocaml-ppx-deriving-yaml	0.3.0
ocaml-ppx-deriving-yojson	3.9.0
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.33.0
ocaml-ppxlib-jane	0.17.0
ocaml-psmt2-frontend	0.4.0
ocaml-ptime	1.2.0
ocaml-ptmap	2.0.5
ocaml-pyml	20231101
ocaml-qcheck	0.22
ocaml-qtest	2.11.2
ocaml-rresult	0.7.0
ocaml-sexplib0	0.17.0
ocaml-sexplib	0.17.0
ocaml-spdx-licenses	1.2.0
ocaml-stdcompat	19
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.6.9
ocaml-yaml	3.2.0
ocaml-zarith	1.14
ocaml-zmq	5.3.0
opam	2.2.1
papilo	2.3.1
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.8
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-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.4
python-latexcodec	3.0.0
python-linkify-it-py	2.0.3
python-nbdime	4.0.2
python-networkx	3.3
python-pari-jupyter	1.4.3
python-pybtex-docutils	1.0.3
python-pybtex	0.24.0
python-pydata-sphinx-theme	0.16.0
python-pyproject-metadata	0.8.0
python-pysingular	0.9.7
python-pytest-datadir	1.5.0
python-pytest-regressions	2.5.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.14
saclib	2.2.8
scip	9.1.1
snowball	2.2.0
soplex	7.1.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.4
symfpu	20190517
sympol	0.1.9
sympy	1.13.3
tbb	2021.13.0
treelayout	1.0.3
tth	4.16
utop	2.14.0
vinci	1.0.5
why3	1.7.2
xgap	4.32
yices	2.6.5
z3	4.13.3
zenon	0.8.5
zimpl	3.6.2
zstr	1.0.7