login

As of August 4th 2017 PkgDB is in read-only mode. More information can be found at: https://fedoraproject.org/wiki/Infrastructure/WhatHappenedToPkgdb

jjames

(fas - requests)
Point of contact: 163
Co-maintainer: 17
Watched: 0

Point of contact:

Co-maintainer:

  • rpms/alt-ergo -- Automated theorem prover including linear arithmetic ( master f26 f25 )
  • rpms/cddlib -- A library for generating all vertices in convex polyhedrons ( master f26 f25 )
  • rpms/coq -- Proof management system ( master f26 f25 )
  • rpms/flint -- Fast Library for Number Theory ( master f26 f25 )
  • rpms/gf2x -- Polynomial multiplication over the binary field ( epel7 )
  • rpms/givaro -- C++ library for arithmetic and algebraic computations ( master f26 f25 )
  • rpms/gramps -- Genealogical Research and Analysis Management Programming System ( master f26 f25 )
  • rpms/libedit -- The NetBSD Editline library ( master f26 f25 )
  • rpms/libgap -- C library version of the GAP kernel ( master f26 f25 )
  • rpms/mpfi -- An interval arithmetic library based on MPFR ( master f26 f25 )
  • rpms/mpir -- A library for arbitrary precision arithmetic ( master f26 f25 )
  • rpms/normaliz -- A tool for mathematical computations ( master f26 f25 )
  • rpms/ntl -- High-performance algorithms for vectors, matrices, and polynomials ( master f26 f25 )
  • rpms/ocaml-ocamlgraph -- OCaml library for arc and node graphs ( master f26 f25 )
  • rpms/python-manuel -- Build tested documentation ( master f26 f25 epel7 el6 )
  • rpms/tbb -- The Threading Building Blocks library abstracts low-level threading details ( master f26 f25 )
  • rpms/why -- Software verification platform ( master f26 f25 )