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.139
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 20170101
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.1
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 2017_20161128oss
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