package-review

package-review@lists.fedoraproject.org
  • 1 participants
  • 568 discussions
[Bug 1599013] New: Review Request: lfsc - SMT proof checker
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599012] New: Review Request: cadical - Simplified SAT solver
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599011] New: Review Request: drabt - Proof checker for the DRAT proof format
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599014] New: Review Request: symfpu - An implementation of IEEE-754 / SMT-LIB floating-point
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599026] New: Review Request: python-spyder-kernels - Jupyter kernels for the Spyder console
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599099] New: Review Request: wingpanel-applications-menu - Lightweight and stylish app launcher
by bugzilla@redhat.com
5 years, 10 months
[Bug 1536870] New: Review Request: agenda - Simple, fast, no-nonsense to-do (task) list
by bugzilla@redhat.com
5 years, 10 months
[Bug 1599421] New: Review Request: compat-libicu61 - Compat package with icu libraries
by bugzilla@redhat.com
5 years, 10 months
[Bug 1598986] New: Review Request: python-ssh2-python - Super fast SSH library - bindings for libssh2
by bugzilla@redhat.com
5 years, 10 months
[Bug 1598837] New: Review Request: rust-config - Layered configuration system for Rust applications
by bugzilla@redhat.com
5 years, 10 months
Results per page: