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

stable

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

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 log in to add feedback.

Metadata

Type

newpackage

Karma

Signed

Content Type

RPM

Test Gating

None

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

8 years ago

in testing

8 years ago

in stable

8 years ago

Builds

None