jjames

Jerry James • Joined 2 years ago • (fas)

Packages

222 Packages
rpms/4ti2
The 4ti2 rpms
rpms/abc
The abc rpms
rpms/abe
The abe rpms
rpms/alt-ergo
The alt-ergo 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/clisp
The clisp rpms
rpms/cmusphinx3
The cmusphinx3 rpms
rpms/cocoalib
The cocoalib package
rpms/cohomCalg
The cohomCalg package
rpms/coin-or-lemon
The coin-or-lemon rpms
rpms/coq
The coq rpms
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/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/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
rpms/gappa
The gappa rpms
rpms/gappalib-coq
The gappalib-coq rpms
rpms/gap-pkg-ace
The gap-pkg-ace rpms
rpms/gap-pkg-aclib
The gap-pkg-aclib rpms
rpms/gap-pkg-alnuth
The gap-pkg-alnuth rpms
rpms/gap-pkg-atlasrep
The gap-pkg-atlasrep rpms
rpms/gap-pkg-autodoc
The gap-pkg-autodoc rpms