Fedora Linux

I am a user of Fedora, 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.

Version Checking

Here are package download pages, for checking versions.

Package Version in Rawhide
abc 1.01 + mercurial 20160905
abe 1.1
alt-ergo 1.30
apron 0.9.11
arb 2.11.1
auto-destdir 1.11
automaton 1.12-1
azove 2.0
bigloo 4.3a
bliss 0.73
carat 2.1b1.19.07.2008
cbmc 5.7
cddlib 094h
check 0.12.0
clisp 2.49 + mercurial 20170224
cmusphinx3 0.8
coq 8.7.1
cryptominisat 5.0.1
cryptominisat4 4.5.3
csdp 6.2.0
cudd 3.0.0
cvc4 1.5
cxsc 2.5.4
DSDP (no home page) 5.8
E 2.0 (2017-07-04)
ecl 16.1.3
eclib 20170815
ffcall 2.1
fflas-ffpack 2.2.2
flint 2.5.2
flocq 2.6.0
frama-c Sulfur-20171101
gap 4.8.8
GAPDoc 1.6.1
gappa 1.3.2
gappalib-coq 1.3.3
gap-pkg-ace 5.2
gap-pkg-aclib 1.2
gap-pkg-alnuth 3.1.0
gap-pkg-atlasrep 1r5p1
gap-pkg-autodoc 2018.02.14
gap-pkg-automata 1.13
gap-pkg-autpgrp 1.8
gap-pkg-browse 1.8.7
gap-pkg-carat 2.1.7
gap-pkg-congruence 1.2.2
gap-pkg-crisp 1.4.4
gap-pkg-cryst 4.1.13
gap-pkg-crystcat 1.1.6
gap-pkg-ctbllib 1r2p2
gap-pkg-design 1r6
gap-pkg-digraphs 0.11.0
gap-pkg-edim 1.3.2
gap-pkg-factint 1.6.0
gap-pkg-fga 1.3.1
gap-pkg-float 0.8.0
gap-pkg-gbnp 1.0.3
gap-pkg-genss 1.6.5
gap-pkg-grape 4r7
gap-pkg-groupoids 1.54
gap-pkg-guava 3.13.1
gap-pkg-hap 1.12.0
gap-pkg-hapcryst 0.1.11
gap-pkg-io 4.5.1
gap-pkg-irredsol 1.4
gap-pkg-laguna 3.8.0
gap-pkg-lpres 0.4.2
gap-pkg-nautytracesinterface 0.2 (git 20171120)
gap-pkg-nq 2.5.3
gap-pkg-openmath 11.4.2
gap-pkg-orb 4.8.0
gap-pkg-polenta 1.3.8
gap-pkg-polycyclic 2.11
gap-pkg-polymaking 0.8.1
gap-pkg-radiroot 2.7
gap-pkg-resclasses 4.7.1
gap-pkg-scscp 2.2.3
gap-pkg-semigroups 2.8.1
gap-pkg-smallsemi 0.6.11
gap-pkg-sonata 2.8
gap-pkg-sophus 1.23
gap-pkg-spinsym 1.5
gap-pkg-tomlib 1r2p6
gap-pkg-toric 1.9.4
gap-pkg-utils 0.49
gap-pkg-xmod 2.64
gcl 2.6.12
genus2reduction 0.3
gf2x 1.2
gfan 0.6.2
givaro 4.0.2
gmp-ecm 7.0.4
gnofract4d 3.14.1
iml 1.0.5
irstlm 6.00.05
latexmk 4.55a
latte-integrale 1.7.3b
libfplll 5.1.0
libgap 4.8.6
libpoly 0.1.4
libsemigroups 0.6.2
linbox 1.4.2
lrslib 062
ltl2ba 1.1
m4ri 20140914
m4rie 20150908
mathic 20170606
mathicgb 20170606
meataxe 2.4.24
memtailor 20160311
metamath 0.161
minisat2 2.2.1
mona 1.4-17
mpfi 1.5.1
mpir 3.0.0
nauty 2.6r10
neXtaw 0.15.1
normaliz 3.4.0
ntl 10.5.0
ocaml-menhir 20171222
ocaml-ocamlgraph 1.8.8
ocaml-ocplib-simplex 0.3
ocaml-tplib 1.3
ocaml-zarith 1.4.1
openfst 1.6.6
opengrm-ngram 1.3.4
permlib 0.2.9
picosat 965
pocketsphinx 0.8
polymake 3.1
polyml 5.7.1
prooftree 0.13
pvs-sbcl 6.0
python-BTrees 4.4.1
python-cvxopt 1.1.9
python-fastcache 1.0.2
python-gmpy2 2.0.8
python-j1m.sphinxautointerface 0.3.0
python-latexcodec 1.0.5
python-manuel 1.9.0
python-networkx 1.11
python-orderedset 2.0
python-persistent 4.2.4.2
python-pybtex 0.21
python-pybtex-docutils 0.2.1
python-random2 1.0.1
python-repoze-sphinx-autointerface 0.8
python-sphinxcontrib-bibtex 0.3.6
python-sphinx_rtd_theme 0.2.4
python-sphinx-testing 0.7.2
python-theano 1.0.1
python-ZEO 5.1.1
python-ZODB 5.3.0
python-ZODB3 3.11.0
python-zodbpickle 0.7.0
python-zope-testrunner 4.8.1
qepcad-B 1.69
remake 0.12
saclib 2.2.6
sphinxbase 0.8
sphinxtrain 1.0.8
stp 2.1.2 (GIT 20171116)
subunit 1.2.0
SYMMETRICA 2.0
sympol 0.1.9
sympy 1.1.1
tbb 2018_U2
TOPCOM 0.17.8
trinity 1.8
tth 4.12
vinci 1.0.5
why 2.40
why3 0.88.3
xemacs 21.5.34 + HG 20171227
xemacs-packages-base HG 20170330
xemacs-packages-extra HG 20171219
xgap 4.26
yices 2.5.4
z3 4.6.0
zenon 0.8.2