Control: retitle -1 ITA: ppl -- Parma Polyhedra Library
Control: owner -1 !
On Thu, Jul 09, 2015 at 23:52:37 +0200, Matthias Klose wrote:
> Package: wnpp
> Severity: normal
>
> ppl (Parma Polyhedra Library) was used in GCC up to the 4.7 series for loop
> optimizations. GCC 4.8 and newer versions
Hi,
> > While some of the preparatory work has been done, it will need sawja and
> > javalib
> > to be packaged first, as per my email to ocaml-maint [1]. As there hasn't
> > been
> > any reply, I might have to take on this myself.
> >
> > That said: any help is much appreciated!!!
> >
> > Bes
Hi,
> Hi. What is the status of this packaging work?
>
[...]
While some of the preparatory work has been done, it will need sawja and javalib
to be packaged first, as per my email to ocaml-maint [1]. As there hasn't been
any reply, I might have to take on this myself.
That said: any help is muc
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: infer
Version : 0.1.0
Upstream Author : Facebook, Inc
* URL : http://fbinfer.com/
* License : BSD
Programming Lang: OCaml
Description : static analyzer for Java, C and Objective
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: klee
Version : 0.2.0
Upstream Author : Software Reliability Group at Imperial College London
* URL : http://klee.github.io/
* License : UIUC open source license (BSD-like)
Programming
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: stp
Version : 1.0
Upstream Author : Vijay Ganesh
* URL : http://stp.github.io/
* License : MIT
Programming Lang: C++
Description : simple theorem prover SMT solver
STP is a
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: z3
Version : 4.4.0
Upstream Author : Z3 Theorem Prover Project
* URL : https://github.com/Z3Prover/z3
* License : MIT
Programming Lang: C++
Description : theorem prover from
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: bmt
Version : 0.6
Upstream Author : Michael Tautschnig
* URL : https://github.com/tautschnig/bmt
* License : 4-clause BSD
Programming Lang: Perl, Bash
Description : software
Hi,
Thanks a lot for providing further information!
>
> Libsolv is not a SAT solver, it's a package dependency solver. The SAT code
> is just a very very small part of the code, and you really can't just plug
> in a different SAT solver. The SAT algorithm does forced decisions
> (i.e. when a rul
Hi Mike,
[...]
> >> Search the internet for 'sat solver' to get links to the theory behind it.
> >> .
> >[...]
> >
> >Is there any chance the package could be refactored such as not to
> >exclusively
> >rely on the built-in SAT solver? Debian presently ships (at least) sat4j,
> >Minisat and PicoS
Hi,
[...]
> This dependency solver code in this package is based on two major, but
> independent, blocks:
> .
> 1. Using a dictionary approach to store and retrieve package
> and dependency information.
> 2. Using satisfiability, a well known and researched topic, for
> resolving pack
Hello Morgan,
[...]
> I have a package already built, but will need a sponsor to complete the
> task.
>
Please let me know whether you are still looking for a sponsor - I'd be happy to
take care of that.
Best,
Michael
pgpYpwSAbwQAf.pgp
Description: PGP signature
Hi Jeremiah,
[...]
> Do you think I should have waited to file the ITP bug? I thought
> filing the bug now and closing it once the software was available
> would be okay, but perhaps that is putting the cart before the horse.
>
I think filing an ITP is fine, but you seemed to include a lot of
Hi,
[...]
> * Package name: Diagnostic Log and Trace (DLT)
> Version : 2.7.0
> Upstream Author : Alexander Wenzel alexander.aw.wen...@bmw.de
> * URL : http://www.genivi.org/projects
> * License : Mozilla Public License v2.0
> Programming Lang: C
> Descriptio
Hi,
[...]
> bftpd - Very configurable small FTP server
>
[...]
Could you please help to clarify why we need yet another FTP daemon in Debian?
Many thanks,
Michael
pgpvlYgauuazX.pgp
Description: PGP signature
Hi Uwe,
Could you please sync with Rodolphe Pelloux-Prayer , who
posted an RFS to debian-mentors recently.
Best,
Michael
pgp9uFpsFP0tT.pgp
Description: PGP signature
Hi again,
[...]
> Because he has had three NMU's, his last upload was on 2004 and I have
> got no reply from him since I pinged him and Anibal about a month ago.
> I just don't want to step on his toes. It would be a takeover, and he
> just asked to be in the Uploaders field for arpwatch-ng.
>
F
Hi,
Being a long time user of arpwatch I've stumbled upon this one.
[...]
> Current arpwatch maintainer will be in the Uploaders field as per
> http://lists.debian.org/debian-qa/2007/09/msg00037.html together with Anibal.
> Both are Cc:ed on this ITP.
[...]
> Description : Ethernet/FDDI sta
Hi Peter,
[...]
> Description : random generator of C programs
>
[...]
May I suggest to word this "generator of random C programs" or "random C program
generator"?
Thanks a lot for considering this program, I'm looking forward to seeing it in
Debian!
Best,
Michael
pgpXj2LSFqK8h.pgp
D
Hi all,
[...]
> This package has been in very bad shape since long time ago, upstream
> is not responding since 2008 and there have been no changes since that
> time.
>
> Maybe this should be removed, but there could be someone who would
> like to take over upstream and/or debian maintenance.
>
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name: cbmc
Version : 3.9
Upstream Author : Daniel Kroening
* URL : http://www.cprover.org/cbmc/
* License : 4-clause BSD
Programming Lang: C++
Description : bounded model checker for
Hi Stéphane,
[...]
> I've pushed a preliminary packaging to:
>
> http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-cil.git
>
Do I need some specific permissions to be able to access that one? All I get is:
warning: remote HEAD refers to nonexistent ref, unable to checkout.
[...]
> If
Hi all,
[...]
>
> I have re-uploaded the package now and converted copyright to DEP-5 and
> fixed a missing DEP-3 header in runlim-renaming.patch:
> http://mentors.debian.net/debian/pool/main/r/runlim/
>
[...]
Re-checked and uploaded. Sorry for the delay!
Best regards,
Michael
pgpe7UlRss1td
Hi Thomas,
[...]
> Fine by me ;-). As discussed with upstream, future versions of "run"
> will be called "runlim". mentors.d.n has runlim 1.4-4 up for grabs,
> which is run 1.4 + renaming of the binary/manpage and changing the
> output to use "runlim" instead of "run":
> http://mentors.debian.net/
Hi all,
I just wanted to ask what the status of the proposed package "run" (or whatever
its name shall be) is as I'd be interested in using that for an upcoming
package. Lars, Thomas told me you were taking over, is that right?
Best,
Michael
pgpeArirvlKyK.pgp
Description: PGP signature
Hi,
As I'd be interested in getting a package into Debian that would at least
suggest Cil I was wondering whether you had already been successful in packaging
Cil.
Thanks a lot in advance,
Michael
pgp4rrcbzK4XQ.pgp
Description: PGP signature
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name : kcov
* URL : http://simonkagstrom.github.com/kcov/index.html
* License : GPLv2
Description : Code coverage analysis using DWARF debugging information
Kcov is a code coverage tester based
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig
* Package name : boolector
* URL : http://fmv.jku.at/boolector/
* License : GPLv3
Description : SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of
> Michael Tautschnig wrote:
> >> I'm also working on good short and long descriptions and
> >> binary package name.
> >> Suggestions are welcome.
> > Could you please also bug upstream about renaming this library? "classlib"
> > is
&
> Package: wnpp
> Severity: wishlist
> Owner: Gabriele Giacone <1o5g4...@gmail.com>
>
> * Package name: classlib
> Version : 3.0.9
> Upstream Author : Lassi Tuura
> * URL : http://cmsmac01.cern.ch/~lat/exports
> * License : GPL2
> Programming Lang: C++
> De
Hi Samuel,
[...]
> >
> > Right now the PPL part does not seem to build:
> >
> [...]
> >
> > My guess is that some patch is still needed...
> >
> > So, my plans are to first upload the APRON package without PPL support
> > and add it later on, when I find some time to dig into it. If you are
>
> Hi,
>
> Michael Tautschnig wrote:
> > It would be great to see APRON packaged for Debian; please make sure it
> > uses/works with current PPL (Parma Polyhedra Library), which we already
> > ship/maintain with Debian. I know that some earlier versions required
> &
Hi!
It would be great to see APRON packaged for Debian; please make sure it
uses/works with current PPL (Parma Polyhedra Library), which we already
ship/maintain with Debian. I know that some earlier versions required patches to
PPL to make it work, but I don't know whether this is still the case
> On Sat, Jun 21, 2008 at 07:34:59PM +0200, Holger Levsen wrote:
> > Hi,
> >
> > On Saturday 21 June 2008 15:52, Alexander Wirt wrote:
> > > I'm still not that sure if its a good idea to add a non-offical debian
> > > repo
> > > keyring into the archive...
> >
> > Nobody is forced to install it
> On Wed, 2008-06-11 at 18:21 -0500, Steve M. Robbins wrote:
> > Hi,
> >
> > Do you think you could put the "or" into the package name;
> > e.g. "coinorutils"?
> >
> > When I read the title, I assumed it was related to the Coin libraries
> > (www.coin3d.org), which are in Debian as libcoin40-ru
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <[EMAIL PROTECTED]>
* Package name : sat4j
* URL : http://www.sat4j.org/
* License : LGPL
Description : Efficient library of SAT solvers in Java
The aim of the SAT4J library is to provide an eff
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <[EMAIL PROTECTED]>
* Package name : picosat
* URL : http://fmv.jku.at/picosat/
* License : MIT
Description : SAT solver with proof and core support
PicoSAT is a SAT solver turned out to be fas
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <[EMAIL PROTECTED]>
* Package name : minisat2
* URL : http://minisat.se/
* License : MIT
Description : fast and lightweight SAT solver
MiniSat is a minimalistic, open-source SAT solver, developed t
Hi!
I'd be willing to package PPL for Debian, even more so as most of the work has
already been done by the developers themselves.
One question remains though: Which version to package? 0.9 seems to be pretty
old already, but neither the latest CVS snapshot nor the latest release package
succeed
[...]
>
> As far as I know, upstream hasn't done anything so far concerning this
> issue. When I asked for a new release in januar(?), the basic answer
> was, we'd like to but we are busy. (You'll find the message somewhere in
> the archive). I also haven't done anything so far - lack of time.
>
[
[...]
> I request an adopter for the logwatch package.
>
> I won't have enough time to make logwatch ready for lenny. The biggest
> issue in logwatch is that upstream has not really been aware of the need
> of proper copyright statements[1]. I can't resolve that in time for lenny.
>
> In case no
> This is an improved version, thank you for the review.
>
> Package name: sourcenav-ng
> Version: NG3
> Upstream Author: Sourcenav Development Group <[EMAIL PROTECTED]>
> URL: http://sourcenav.berlios.de/
> License: GPL v2
> Description: Source code analysis, editor, browser and build tool
> so
> Quoting François-Denis Gonthier ([EMAIL PROTECTED]):
> > Package: wnpp
> > Owner: François-Denis Gonthier <[EMAIL PROTECTED]>
> > Severity: wishlist
> >
> > * Package name: cyclone
> > Version : 1.0/CVS
> > Upstream Author : Dan Grossman, Trevor Jim, Greg Morrisett et al.
> > * U
> Package: wnpp
> Severity: wishlist
> Owner: Dominic Hargreaves <[EMAIL PROTECTED]>
>
> * Package name: libdata-ical-perl
> Version : 0.13
> Upstream Author : Jesse Vincent <[EMAIL PROTECTED]>
> * URL : http://search.cpan.org/dist/Data-ICal/
> * License : Perl
Package: wnpp
Severity: wishlist
* Package name: diagnostics
Version : 0.0.1
Upstream Author : Christian Schallhart <[EMAIL PROTECTED]>
* URL :
https://svn.model.in.tum.de/projects/diagnostics/attachment/wiki/download/diagnostics-0.1.tar.gz
* License : LGPL
45 matches
Mail list logo
