FEDORA-EPEL-2016-fec09eea13 — newpackage update for abc

FEDORA-EPEL-2016-fec09eea13 created by brouhaha 5 years ago for Fedora EPEL 7

stable

Sequential logic synthesis and formal verification

This update has been submitted for testing by brouhaha.

This update has been pushed to testing.

This update has been submitted for stable by brouhaha.

This update has been pushed to stable.

Please login to add feedback.

Metadata

Type

newpackage

Karma

Signed

Content Type

RPM

Test Gating

Builds

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

5 years ago

in testing

5 years ago

in stable

4 years ago