jjames

Jerry James • Joined 2 years ago • (fas)

Packages

228 Packages
rpms/4ti2
The 4ti2 rpms
rpms/abc
The abc rpms
rpms/alt-ergo
The alt-ergo rpms
rpms/antlr3
The antlr3 rpms
rpms/apron
The apron rpms
rpms/arb
The arb rpms
rpms/auto-destdir
The auto-destdir rpms
rpms/automaton
The automaton rpms
rpms/azove
The azove rpms
rpms/bigloo
The bigloo rpms
rpms/bliss
The bliss rpms
rpms/cadical
The cadical package
rpms/carat
The carat rpms
rpms/cbmc
The cbmc rpms
rpms/cddlib
The cddlib rpms
rpms/check
The check rpms
rpms/clblast
The clblast package
rpms/cli11
The cli11 package
rpms/clisp
The clisp rpms
rpms/cmusphinx3
The cmusphinx3 rpms
rpms/cocoalib
The cocoalib package
rpms/cohomCalg
The cohomCalg package
rpms/coin-or-Data-miplib3
The coin-or-Data-miplib3 package
rpms/coin-or-Data-Netlib
The coin-or-Data-Netlib package
rpms/coin-or-lemon
The coin-or-lemon rpms
rpms/coq
The coq rpms
rpms/coxeter
The coxeter package
rpms/cryptominisat
The cryptominisat rpms
rpms/cryptominisat4
The cryptominisat4 rpms
rpms/csdp
The csdp rpms
rpms/cudd
The cudd rpms
rpms/cvc4
The cvc4 rpms
rpms/cxsc
The cxsc rpms
rpms/drabt
The drabt package
rpms/drat2er
The drat2er package
rpms/drat-trim
The drat-trim package
rpms/DSDP
The DSDP rpms
rpms/E
The E rpms
rpms/ecl
The ecl rpms
rpms/eclib
The eclib rpms
rpms/ffcall
The ffcall rpms
rpms/fflas-ffpack
The fflas-ffpack rpms
rpms/flamegraph
The flamegraph package
rpms/flint
The flint rpms
rpms/flocq
The flocq rpms
rpms/frama-c
The frama-c rpms
rpms/gap
The gap rpms
rpms/GAPDoc
The GAPDoc rpms