FEDORA-2017-293791117e created by jcp 3 years ago for Fedora 26
stable

This is a new package.

How to install

sudo dnf install --advisory=FEDORA-2017-293791117e \*

This update has been submitted for testing by jcp.

3 years ago

jcp edited this update.

3 years ago

This update has been pushed to testing.

3 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

3 years ago

This update has been submitted for stable by jcp.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

Metadata
Type
newpackage
Karma
0
Signed
Content Type
RPM
Test Gating
Builds
1
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago
modified
3 years ago
BZ#769958 Review Request: eqp - Automated theorem prover for first-order equational logic
0
0

Automated Test Results