https://bugzilla.redhat.com/show_bug.cgi?id=2291284
Bug ID: 2291284
Summary: Review Request: lem - Lem semantic definition language
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: U2FsdGVkX1(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://github.com/fedora-sail/lem/blob/master/lem.spec
SRPM URL: https://github.com/fedora-sail/lem
Description: Lem is a tool for lightweight executable mathematics, for writing,
managing, and publishing large-scale portable semantic definitions, with export
to LaTeX, executable code (currently OCaml) and interactive theorem provers
(currently Coq, HOL4, and Isabelle/HOL, though the generated Coq is not
necessarily idiomatic). It is also intended as an intermediate language for
generating definitions from domain-specific tools, and for porting definitions
between interactive theorem proving systems.
Fedora Account System Username: U2FsdGVkX1
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2291284
Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-sp…
https://bugzilla.redhat.com/show_bug.cgi?id=2208693
Bug ID: 2208693
Summary: Review Request: rust-rstest - Rust fixture based test
framework
Product: Fedora
Version: rawhide
Status: NEW
Component: Package Review
Assignee: nobody(a)fedoraproject.org
Reporter: michel(a)michel-slm.name
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://salimma.fedorapeople.org/rust-rstest.spec
SRPM URL: https://salimma.fedorapeople.org/rust-rstest-0.17.0-1.fc37.src.rpm
Description:
Rust fixture based test framework. It use procedural macro to implement
fixtures and table based tests.
Fedora Account System Username: salimma
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2208693
https://bugzilla.redhat.com/show_bug.cgi?id=2208692
Bug ID: 2208692
Summary: Review Request: rust-rstest_macros - Rust fixture
based test framework
Product: Fedora
Version: rawhide
Status: NEW
Component: Package Review
Assignee: nobody(a)fedoraproject.org
Reporter: michel(a)michel-slm.name
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://salimma.fedorapeople.org/rust-rstest_macros.spec
SRPM URL:
https://salimma.fedorapeople.org/rust-rstest_macros-0.17.0-1.fc37.src.rpm
Description:
Rust fixture based test framework. It use procedural macro to implement
fixtures and table based tests.
Fedora Account System Username: salimma
--
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
https://bugzilla.redhat.com/show_bug.cgi?id=2208692