[Bug 769958] New: Review Request: eqp - Automated theorem prover for first-order equational logic
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: eqp - Automated theorem prover for first-order equational logic
https://bugzilla.redhat.com/show_bug.cgi?id=769958
Summary: Review Request: eqp - Automated theorem prover for
first-order equational logic
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: jcp(a)eskimo.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com,
package-review(a)lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Type: ---
Regression: ---
Mount Type: ---
Documentation: ---
Spec URL: http://www.eskimo.com/~jcp/eqp.spec
SRPM URL: http://www.eskimo.com/~jcp/eqp-09e-1.fc16.src.rpm
Description: EQP is an automated theorem proving program for first-order
equational logic. Its strengths are good implementations of
associative-commutative unification and matching, a variety of strategies for
equational reasoning, and fast search. It seems to perform well on many
problems about lattice-like structures.
EQP is not a stable and polished production theorem prover like Otter or
Prover9. Since it has obtained several interesting results, it was decided to
make it available (including the source code) to everyone, with no restrictions
(and of course no warranty either). EQP's documentation is not great, but if
you already know Otter, you probably will not have great difficulty in learning
to use EQP.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
6 years, 12 months
[Bug 1434003] New: Review Request: tilix - Tiling terminal emulator
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1434003
Bug ID: 1434003
Summary: Review Request: tilix - Tiling terminal emulator
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: klember(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL: https://kalev.fedorapeople.org/tilix.spec
SRPM URL: http://kalev.fedorapeople.org/tilix-1.5.4-1.fc26.src.rpm
Description:
Tilix is a tiling terminal emulator with the following features:
- Layout terminals in any fashion by splitting them horizontally or vertically
- Terminals can be re-arranged using drag and drop both within and between
windows
- Terminals can be detached into a new window via drag and drop
- Input can be synchronized between terminals so commands typed in one
terminal are replicated to the others
- The grouping of terminals can be saved and loaded from disk
- Terminals support custom titles
- Color schemes are stored in files and custom color schemes can be created by
simply creating a new file
- Transparent background
- Supports notifications when processes are completed out of view
The application was written using GTK 3 and an effort was made to conform to
GNOME Human Interface Guidelines (HIG).
Fedora Account System Username: kalev
Koji scratch build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=18489998
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
6 years, 12 months
[Bug 1394614] New: Review Request:
gnome-shell-extension-topicons-plus - Move all legacy tray icons to the top
panel
by Red Hat Bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1394614
Bug ID: 1394614
Summary: Review Request: gnome-shell-extension-topicons-plus -
Move all legacy tray icons to the top panel
Product: Fedora
Version: 24
Component: Package Review
Assignee: nobody(a)fedoraproject.org
Reporter: andrew(a)tosk.in
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Spec URL:
https://gitlab.com/terrycloth/packaging-gnome-shell-extension-topicons-pl...
SRPM URL:
https://andrew.tosk.in/tmp/gnome-shell-extension-topicons-plus-17-1.fc24....
Description: Many applications, such as chat clients, downloaders, and some
media players, are meant to run long-term in the background even after you
close their window. These applications remain accessible by adding an icon to
the GNOME Shell Legacy Tray. However, the Legacy Tray is hidden until you push
your mouse into the lower-left of the screen and click on the small tab that
appears. TopIcons Plus brings all icons back to the top panel so that it's
easier to notice when a new application opens in the background or if one
continues to idle after you thought you closed it. You also get some options to
control the look: You can leave the icons in full color, or dynamically convert
them to grayscale, etc.
Fedora Account System Username: terrycloth
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
6 years, 12 months