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=2389958
Bug ID: 2389958
Summary: Review Request: fdkaac - command line frontend for
libfdk-aac encoder
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: dominik(a)greysector.net
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://rathann.fedorapeople.org/review/fdkaac/fdkaac.spec
SRPM URL:
https://rathann.fedorapeople.org/review/fdkaac/fdkaac-1.0.6-5.fc44.src.rpm
Description:
fdkaac reads linear PCM audio in either WAV, raw PCM, or CAF format,
and encodes it into either M4A / AAC file.
If the input file is "-", data is read from stdin. Likewise, if the
output file is "-", data is written to stdout if one of streamable AAC
transport formats are selected by -f.
When CAF input and M4A output is used, tags in CAF file are copied into
the resulting M4A.
Fedora Account System Username: rathann
--
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=2389958
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=2231252
Bug ID: 2231252
Summary: Review Request: yass - lightweight and secure
http/socks proxy
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: hukeyue(a)hotmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://github.com/Chilledheart/yass/releases/download/1.3.14/yass.spec
SRPM URL:
https://github.com/Chilledheart/yass/releases/download/1.3.14/yass-1.3.14-0…
Description: yass is initiated as C++ rewrite of the outdated shadowsocks-libev
package and provide the similar functionalities. During the recent development,
it also supports naiveproxy protocol which is more efficient protocol. Compared
with
shadowsocks-libev, it not only contains the client cli command and server cli
command, but also it contains a gtk3/gtk4 (both are supported) graphical
interface which is more friendly to the new users.
Fedora Account System Username:
--
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=2231252
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=2310209
Bug ID: 2310209
Summary: Review Request: linutil - Chris Titus Tech's Linux
Toolbox - Linutil is a distro-agnostic toolbox
designed to simplify everyday Linux tasks.
Product: Fedora
Version: 40
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: low
Assignee: nobody(a)fedoraproject.org
Reporter: solomoncyj(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec / SRPM : attched in issue
Description: Chris Titus Tech's Linux Toolbox - Linutil is a distro-agnostic
toolbox designed to simplify everyday Linux tasks..
Fedora Account System Username solomoncyj
builds: https://github.com/ChrisTitusTech/linutil
Reproducible: Always
--
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=2310209
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=2402462
Bug ID: 2402462
Summary: Review Request: vernon-adams-pacifico-fonts - Pacifico
regular display typeface
Product: Fedora
Version: rawhide
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: benson_muite(a)emailplus.org
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
spec: https://fed500.fedorapeople.org/vernon-adams-pacifico-fonts.spec
srpm:
https://fed500.fedorapeople.org/vernon-adams-pacifico-fonts-3.010-1.fc42.sr…
description:
Aloha! Pacifico is an original and fun brush script handwriting font by Vernon
Adams which was inspired by the 1950s American surf culture in 2011. It was
redrawn by Jacques Le Bailly at Baron von Fonthausen in 2016. It was expanded
to Cyrillic by Botjo Nikoltchev and Ani Petrova at Lettersoup in 2017.
The Pacifico project was commissioned by Google from Vernon Adams, an English
type designer who lived in San Clemente, Los Angeles, USA.
fas: fed500
Reproducible: Always
--
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=2402462
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=2430667
Bug ID: 2430667
Summary: Review Request: ocaml-domain-name - RFC 1035 Internet
domain names
Product: Fedora
Version: rawhide
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Assignee: nobody(a)fedoraproject.org
Reporter: benson_muite(a)emailplus.org
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
spec: https://fed500.fedorapeople.org/ocaml-domain-name.spec
srpm: https://fed500.fedorapeople.org/ocaml-domain-name-0.5.0-1.fc43.src.rpm
description:
A domain name is a sequence of labels separated by dots, such as `foo.example`.
Each label may contain any bytes. The length of each label may not exceed 63
charactes. The total length of a domain name is limited to 253 (byte
representation is 255), but other protocols (such as SMTP) may apply even
smaller limits. A domain name label is case preserving, comparison is done in
a
case insensitive manner.
fas: fed500
Reproducible: Always
--
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=2430667
Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-sp…