[Bug 523715] New: Review Request: logiweb - a system for electronic distribution of mathematics
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: logiweb - a system for electronic distribution of mathematics
https://bugzilla.redhat.com/show_bug.cgi?id=523715
Summary: Review Request: logiweb - a system for electronic
distribution of mathematics
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: grue(a)diku.dk
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
This is my first package and I need a sponsor.
Spec URL: http://logiweb.eu/0.2/0.2.2/download/rpmspec
SRPM URL: http://logiweb.eu/0.2/0.2.2/download/logiweb-0.2.2-1.src.rpm
HTML URL: http://logiweb.eu/0.2/0.2.2/download/rpm.html
Mirror: http://logiweb.imm.dtu.dk/0.2/0.2.2/download/rpm.html
Mirror: http://topps.diku.dk/logiweb/0.2/0.2.2/download/rpm.html
Description:
Logiweb allows to web publish 'Logiweb pages', i.e.
journal quality articles which contain machine readable objects
like programs, testsuites, definitions, axioms, lemmas, and
proofs. Among other, Logiweb is suited for literate programming,
for publication of machine verified proofs, and for writing
proof checkers. Logiweb allows Logiweb pages to reference
previously published Logiweb pages such that programs on a page
may call programs on referenced pages, proofs on a page may
reference lemmas on referenced pages, and so on.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
12 years, 8 months
[Bug 725885] New: Review Request: phpMyAdmin3 - Handle the administration of MySQL over the World Wide Web
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: phpMyAdmin3 - Handle the administration of MySQL over the World Wide Web
https://bugzilla.redhat.com/show_bug.cgi?id=725885
Summary: Review Request: phpMyAdmin3 - Handle the
administration of MySQL over the World Wide Web
Product: Fedora EPEL
Version: el5
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Severity: unspecified
Priority: unspecified
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: redhat-bugzilla(a)linuxnetz.de
QAContact: extras-qa(a)fedoraproject.org
CC: wolfy(a)nobugconsulting.ro,
fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
Story Points: ---
Type: ---
Spec URL: http://labs.linuxnetz.de/bugzilla/phpMyAdmin3.spec
SRPM URL: http://labs.linuxnetz.de/bugzilla/phpMyAdmin3-3.4.3.2-2.src.rpm
Description:
phpMyAdmin is a tool written in PHP intended to handle the administration of
MySQL over the World Wide Web. Most frequently used operations are supported
by the user interface (managing databases, tables, fields, relations, indexes,
users, permissions), while you still have the ability to directly execute any
SQL statement.
Features include an intuitive web interface, support for most MySQL features
(browse and drop databases, tables, views, fields and indexes, create, copy,
drop, rename and alter databases, tables, fields and indexes, maintenance
server, databases and tables, with proposals on server configuration, execute,
edit and bookmark any SQL-statement, even batch-queries, manage MySQL users
and privileges, manage stored procedures and triggers), import data from CSV
and SQL, export data to various formats: CSV, SQL, XML, PDF, OpenDocument Text
and Spreadsheet, Word, Excel, LATEX and others, administering multiple servers,
creating PDF graphics of your database layout, creating complex queries using
Query-by-example (QBE), searching globally in a database or a subset of it,
transforming stored data into any format using a set of predefined functions,
like displaying BLOB-data as image or download-link and much more...
RHEL 5 is only shipping php-5.1.6-27.el5_5.3, but phpMyAdmin 3.x requires at
least PHP 5.2 to work proper. But RHEL 5 also provides php53 packages since a
few month. This package is intended only for RHEL 5.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
12 years, 8 months
[Bug 639263] New: Review Request: erlang-rebar - Erlang Build Tools
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: erlang-rebar - Erlang Build Tools
https://bugzilla.redhat.com/show_bug.cgi?id=639263
Summary: Review Request: erlang-rebar - Erlang Build Tools
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: lemenkov(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
Spec URL: http://peter.fedorapeople.org/erlang-rebar.spec
SRPM URL: http://peter.fedorapeople.org/erlang-rebar-2-1.fc12.src.rpm
Description: Erlang Build Tools.
This is one of the requirements for etorrent.
rpmlint output:
Sulaco ~/rpmbuild/SRPMS: rpmlint ../RPMS/ppc/erlang-rebar-2-1.fc12.ppc.rpm
erlang-rebar.ppc: E: explicit-lib-dependency erlang-stdlib
erlang-rebar.ppc: E: no-binary
erlang-rebar.ppc: W: only-non-binary-in-usr-lib
erlang-rebar.ppc: W: devel-file-in-non-devel-package
/usr/lib/erlang/lib/rebar-2/priv/templates/basicnif.c
erlang-rebar.ppc: E: non-executable-script
/usr/lib/erlang/lib/rebar-2/priv/templates/simplenode.erl.script 0644 /bin/bash
erlang-rebar.ppc: W: no-manual-page-for-binary rebar
1 packages and 0 specfiles checked; 3 errors, 3 warnings.
Sulaco ~/rpmbuild/SRPMS:
First message is a false positive - due to "lib" substring in the name of
explicit requires. The next two (no-binary, only-non-binary-in-usr-lib) should
be ignored too - this is due to the fact that this package is arch-independent
but it is installed into arch-dependent library. Next two messages also should
be ignored - these are templates, required for package's normal operation.
Koji scratch build:
http://koji.fedoraproject.org/koji/taskinfo?taskID=2505758
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
12 years, 8 months