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.10.0
auto-destdir 1.11
automaton 1.11-8
azove 2.0
balloontip 1.2.4.1
bigloo 4.2c
bliss 0.73
carat 2.1b1.19.07.2008
cbmc 5.7
cddlib 094h
check 0.10.0
clisp 2.49 + mercurial 20170224
cmusphinx3 0.8
coq 8.6
cryptominisat 2.9.11
cryptominisat4 4.5.3
csdp 6.1.1
cudd 3.0.0
cvc4 1.4
cxsc 2.5.4
DSDP (no home page) 5.8
E 1.9.1 (2016-08-31)
ecl 16.1.3
eclib 20170330
ffcall 1.13
fflas-ffpack 2.2.2
flint 2.5.2
flocq 2.5.2
frama-c Silicon-20161101
gap 4.8.7
GAPDoc 1.5.1
gappa 1.3.1
gappalib-coq 1.3.2
gap-pkg-ace 5.2
gap-pkg-aclib 1.2
gap-pkg-alnuth 3.0.0
gap-pkg-atlasrep 1r5p1
gap-pkg-autodoc 2016.12.04
gap-pkg-automata 1.13
gap-pkg-autpgrp 1.8
gap-pkg-browse 1.8.6
gap-pkg-carat 2.1.6
gap-pkg-congruence 1.1.1
gap-pkg-crisp 1.4.4
gap-pkg-cryst 4.1.12
gap-pkg-crystcat 1.1.6
gap-pkg-ctbllib 1r2p2
gap-pkg-design 1r6
gap-pkg-edim 1.3.2
gap-pkg-factint 1.5.4
gap-pkg-fga 1.3.1
gap-pkg-float 0.7.5
gap-pkg-gbnp 1.0.3
gap-pkg-genss 1.6.4
gap-pkg-gpd 1.46
gap-pkg-grape 4r7
gap-pkg-guava 3.13.1
gap-pkg-hap 1.11.14
gap-pkg-hapcryst 0.1.11
gap-pkg-io 4.4.6
gap-pkg-irredsol 1.3.1
gap-pkg-lpres 0.4.1
gap-pkg-nq 2.5.3
gap-pkg-openmath 11.3.1
gap-pkg-orb 4.7.6
gap-pkg-polenta 1.3.7
gap-pkg-polycyclic 2.11
gap-pkg-polymaking 0.8.1
gap-pkg-radiroot 2.7
gap-pkg-resclasses 4.6.0
gap-pkg-scscp 2.1.4
gap-pkg-semigroups 2.8.0
gap-pkg-smallsemi 0.6.10
gap-pkg-sonata 2.8
gap-pkg-spinsym 1.5
gap-pkg-tomlib 1r2p6
gap-pkg-utils 0.46
gap-pkg-xmod 2.59
gcl 2.6.12
genus2reduction 0.3
gf2x 1.1
gfan 0.5
givaro 4.0.2
gmp-ecm 7.0.4
gnofract4d 3.14.1
iml 1.0.5
irstlm 6.00.05
jacknativeclient 0.11 + GIT 20120218
javasysmon 0.3.5 + GIT 20140514
jinput 2.0.7 + GIT 20160519
latexmk 4.52c
latte-integrale 1.7.3b
libfplll 5.0.3
libgap 4.8.6
linbox 1.4.2
lrslib 062
ltl2ba 1.1
m4ri 20140914
m4rie 20150908
mathic 20160320
mathicgb 20160202
meataxe 2.4.24
memtailor 20160311
metamath 0.144
minisat2 2.2.1
mona 1.4-17
mpfi 1.5.1
mpir 2.7.2
nauty 2.6r7
neXtaw 0.15.1
normaliz 3.1.4
ntl 10.3.0
ocaml-menhir 20170509
ocaml-ocamlgraph 1.8.7
ocaml-ocplib-simplex 0.3
ocaml-tplib 1.3
ocaml-zarith 1.4.1
openfst 1.6.2
opengrm-ngram 1.3.2
permlib 0.2.9
picosat 965
pocketsphinx 0.8
polymake 3.1
polyml 5.6
prooftree 0.12
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-latexcodec 1.0.4
python-manuel 1.8.0
python-networkx 1.11
python-orderedset 2.0
python-persistent 4.2.4
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.4
python-sphinx_rtd_theme 0.2.4
python-sphinx-testing 0.7.2
python-theano 0.8.2
python-ZEO 5.0.4
python-ZODB 5.1.1
python-ZODB3 3.11.0
python-zodbpickle 0.6.0
python-zope-testrunner 4.6.0
qepcad-B 1.69
remake 0.12
saclib 2.2.6
sphinxbase 0.8
sphinxtrain 1.0.8
stp 2.1.2 (GIT 20151122)
subunit 1.2.0
SYMMETRICA 2.0
sympol 0.1.9
sympy 1.0
tbb 2017U6
TOPCOM 0.17.8
trinity 1.7
tth 4.08
vinci 1.0.5
why 2.38
why3 0.87.3
xemacs 21.5.34 + HG 20161013
xemacs-packages-base HG 20160621
xemacs-packages-extra HG 20160621
xgap 4.26
z3 4.5.0
zenon 0.8.2