Bug#484234: RFP: frama-c -- framework for source code analysis of software written in C

Package: wnpp Severity: wishlist -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 * Package name: frama-c Version : 20080501 Upstream Author : Software Reliability Laboratory (LSL) http://www-list.cea.fr/labos/gb/LSL/index.html and INRIA ProVal project http://www.inria.fr/saclay/ *

BinNMU for ocsigen

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hello, The new release of ocaml-sqlite3 (1.2.0) invalidates some interfaces that are used by ocsigen. Therefore, ocsigen must be rebuilt against this new version. ocsigen_1.0.0-1, Rebuild with ocaml-sqlite3 1.2.0, 2, alpha amd64 arm armel hppa i386 i

dose2_1.3-1_i386.changes is NEW

(new) dose2_1.3-1.diff.gz optional devel (new) dose2_1.3-1.dsc optional devel (new) dose2_1.3.orig.tar.gz optional devel (new) libdose2-ocaml-dev_1.3-1_i386.deb optional libdevel OCaml libraries for managing packages and their dependencies Dose 2 is a framework made of several of OCaml libraries f

ocaml-sqlite3_1.2.0-1_i386.changes ACCEPTED

Accepted: libsqlite3-ocaml-dev_1.2.0-1_i386.deb to pool/main/o/ocaml-sqlite3/libsqlite3-ocaml-dev_1.2.0-1_i386.deb libsqlite3-ocaml_1.2.0-1_i386.deb to pool/main/o/ocaml-sqlite3/libsqlite3-ocaml_1.2.0-1_i386.deb ocaml-sqlite3_1.2.0-1.diff.gz to pool/main/o/ocaml-sqlite3/ocaml-sqlite3_1.2.0-1

Bug#484118: Rebuild ocsigen with ocaml-sqlite3 1.2.0

Package: ocsigen Severity: grave Justification: renders package unusable The new release of ocaml-sqlite3 invalidates the interfaces that are used by ocsigen. Therefore, ocsigen must be rebuilt against this new version. This will be done with a binNMU. This bug is meant to prevent the rebuilt ver

Re: dose2_1.2-1_i386.changes REJECTED

On Sun, Apr 27, 2008 at 10:42:59AM +0800, Stefano Zacchiroli wrote: > On Sat, Apr 26, 2008 at 01:52:12PM +, Joerg Jaspert wrote: > > rejected, your debian/copyright file is incomplete and misses > > (C)holders/license data. You have to include all such differences. > > > > Like, dose2-ledit/*

Processing of dose2_1.3-1_i386.changes

dose2_1.3-1_i386.changes uploaded successfully to localhost along with the files: dose2_1.3-1.dsc dose2_1.3.orig.tar.gz dose2_1.3-1.diff.gz libdose2-ocaml-dev_1.3-1_i386.deb libdose2-ocaml_1.3-1_i386.deb Greetings, Your Debian queue daemon -- To UNSUBSCRIBE, email to [EMAIL P

Processing of ocaml-sqlite3_1.2.0-1_i386.changes

ocaml-sqlite3_1.2.0-1_i386.changes uploaded successfully to localhost along with the files: ocaml-sqlite3_1.2.0-1.dsc ocaml-sqlite3_1.2.0.orig.tar.gz ocaml-sqlite3_1.2.0-1.diff.gz libsqlite3-ocaml_1.2.0-1_i386.deb libsqlite3-ocaml-dev_1.2.0-1_i386.deb Greetings, Your Debian queu

Bug#483792: Subject: Using make -j causes the package to FTBFS

On Mon, Jun 02, 2008 at 02:17:14PM +0200, Mehdi Dogguy wrote : > Are you sure that the encountred bug is related to freetennis ? > 1) In your mail, you say that "Freerunner FTBFS". Erm. Sorry. I meant freetennis > 2) Freetennis has only one source file which is freetennis.ml. So, there > is onl

Bug#483792: Subject: Using make -j causes the package to FTBFS

On Mon, Jun 2, 2008 at 14:17:14 +0200, Mehdi Dogguy wrote: > Are you sure that the encountred bug is related to freetennis ? > 1) In your mail, you say that "Freerunner FTBFS". > 2) Freetennis has only one source file which is freetennis.ml. So, there > is only *one* job to be executed by make.

Bug#483792: Subject: Using make -j causes the package to FTBFS

Are you sure that the encountred bug is related to freetennis ? 1) In your mail, you say that "Freerunner FTBFS". 2) Freetennis has only one source file which is freetennis.ml. So, there is only *one* job to be executed by make. It appears then very difficult to fail with one job. 3) There is n

Possible problems in your Debian packages

=== ocaml-syck: = Not in testing for 2 days. If things don't change, it won't be part of lenny! See === why: = Missing build(s) on s390,hppa,armel,mips,ia64,alpha,mipsel,arm This might need manual action from your side. Se

Re: ia64/unstable: FTBFS: needs ocamlopt

On 01-06-2008, George Danchev <[EMAIL PROTECTED]> wrote: > On Saturday 31 May 2008, Stefano Zacchiroli wrote: > --cut-- > > Hi, > >> > I like that plan. Could you please add ara's debian/ to ocaml-maint repo, >> > then I will remove debian/ from its "upstream" repo ? >> >> I think it should start t