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

Sequential logic synthesis and formal verification

This update has been submitted for testing by brouhaha.

3 years ago

This update has been pushed to testing.

3 years ago

This update has been submitted for stable by brouhaha.

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
Settings
Unstable by Karma
-3
Stable by Karma
3
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago

Automated Test Results