ocamlmakefile 6.28.0-1 MIGRATED to testing

FYI: The status of the ocamlmakefile source package in Debian's testing distribution has changed. Previous version: 6.27.0-1 Current version: 6.28.0-1 -- This email is automatically generated; [EMAIL PROTECTED] is responsible. See http://people.debian.org/~henning/trille/ for more informati

janest-core_0.5.0-3_i386.changes ACCEPTED

Accepted: janest-core_0.5.0-3.diff.gz to pool/main/j/janest-core/janest-core_0.5.0-3.diff.gz janest-core_0.5.0-3.dsc to pool/main/j/janest-core/janest-core_0.5.0-3.dsc libcore-ocaml-dev_0.5.0-3_i386.deb to pool/main/j/janest-core/libcore-ocaml-dev_0.5.0-3_i386.deb libcore-ocaml_0.5.0-3_i386.

Processing of janest-core_0.5.0-3_i386.changes

janest-core_0.5.0-3_i386.changes uploaded successfully to localhost along with the files: janest-core_0.5.0-3.dsc janest-core_0.5.0-3.diff.gz libcore-ocaml-dev_0.5.0-3_i386.deb libcore-ocaml_0.5.0-3_i386.deb Greetings, Your Debian queue daemon -- To UNSUBSCRIBE, email to [EMAIL

Re: Git migration...

On Sat, May 10, 2008 at 06:46:25PM +0200, Stefano Zacchiroli wrote: > On Sat, May 10, 2008 at 02:20:25PM +0200, Stéphane Glondu wrote: > > BTW, what will be our plans for the migration? > > Was I sure that we will *not* go for the 3.10.2 transition before Lenny > I would answer: let's do the git

Re: Git migration...

On Sat, May 10, 2008 at 02:20:25PM +0200, Stéphane Glondu wrote: > I've written (yet another) svn2git migration script¹ specialized for > our svn layout, that handles upstream branches. I haven't yet looked at the code, will do next week (as well as the testing/feedback you required). Can you plea

Git migration...

Hello, I've written (yet another) svn2git migration script¹ specialized for our svn layout, that handles upstream branches. ¹ http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/tools/svn2git/glondu_svn2git.py?op=file&rev=0&sc=1 It successfully generated the following repos: http://git.debian.org/

matita_0.5.0-1_amd64.changes ACCEPTED

Accepted: matita-standard-library_0.5.0-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.0-1_all.deb matita_0.5.0-1.diff.gz to pool/main/m/matita/matita_0.5.0-1.diff.gz matita_0.5.0-1.dsc to pool/main/m/matita/matita_0.5.0-1.dsc matita_0.5.0-1_amd64.deb to pool/main/m/matita/mat

Processing of matita_0.5.0-1_amd64.changes

matita_0.5.0-1_amd64.changes uploaded successfully to localhost along with the files: matita_0.5.0-1.dsc matita_0.5.0.orig.tar.gz matita_0.5.0-1.diff.gz matita-standard-library_0.5.0-1_all.deb matita_0.5.0-1_amd64.deb Greetings, Your Debian queue daemon -- To UNSUBSCRIBE, ema