...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-2) unstable; urgency=low
.
* Rebuilt with latest coq-float 1:8.3pl1-1
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK+
mldonkey-server - Door to the 'donkey' network
Closes: 655140
Changes:
mldonkey (3.1.0-3) unstable; urgency=low
.
* Enable hardened build flags through dpkg-buildflags
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
frama-c- Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Changes:
frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low
.
* Include
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libmlpcap-ocaml - binding of libpcap for OCaml (runtime package)
libmlpcap-ocaml-dev - binding of libpcap for OCaml
Closes: 562840 562841
Changes:
mlpcap (0.9-16) unstable; urgency=low
.
* Convert to 3.0 (quilt) source format
-By: Mehdi Dogguy me...@debian.org
Description:
headache - Tool to manage license notes of source files
Closes: 620379
Changes:
headache (1.03-22) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Added patch utf8_length: fix length of lines containing UTF8 characters
(Closes: #620379)
* Since
...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
scala - Scala programming language
scala-doc - Scala API documentation
scala-library - Scala standard library
Closes: 654549
Changes:
scala (2.9.1.dfsg-3) unstable; urgency=low
.
* Do not link to scala-library.jar
-By: Mehdi Dogguy me...@debian.org
Description:
ocaml-doc - Documentation for Objective Caml
Closes: 627791
Changes:
ocaml-doc (3.12-1) unstable; urgency=low
.
* New upstream release (Closes: #627791)
* Add myself to Uploaders.
* Add a (very ugly) script generate_tarball to generate new
-By: Mehdi Dogguy me...@debian.org
Description:
ocaml-doc - Documentation for Objective Caml
Changes:
ocaml-doc (3.12-2) unstable; urgency=low
.
* Replace 3.11 with @VERSION@ in debian/ocaml-doc.doc-base.ocaml.in
Checksums-Sha1:
3212b0cb9d9e9eb21212ff449cb0157173c30a83 1690 ocaml-doc_3.12-2.dsc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 03 Jan 2012 23:25:35 +0100
Source: vmpk
Binary: vmpk
Architecture: source amd64
Version: 0.4.0-2
Distribution: unstable
Urgency: low
Maintainer: Mehdi Dogguy me...@debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description
-By: Mehdi Dogguy me...@debian.org
Description:
headache - Tool to manage license notes of source files
Closes: 620376
Changes:
headache (1.03-21) unstable; urgency=low
.
[ Ralf Treinen ]
* Remove debian/README.source since it no longer applies.
* debian/patches/*: replace dpatch headers
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libpgocaml-ocaml - OCaml type-safe bindings for PostgreSQL (runtime)
libpgocaml-ocaml-dev - OCaml type-safe bindings for PostgreSQL (development)
Closes: 640134
Changes:
pgocaml (1.4-2) unstable; urgency=low
.
* PG'OCaml
-By: Mehdi Dogguy me...@debian.org
Description:
ocaml-tools - tools for OCaml developers
Closes: 583937
Changes:
ocaml-tools (20120103-1) unstable; urgency=low
.
[ Ralf Treinen ]
* Fixed typo in long description (closes: #583937)
.
[ Stefano Zacchiroli ]
* remove myself from
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libinifiles-ocaml - read and write .ini files for OCaml (runtime)
libinifiles-ocaml-dev - read and write .ini files for OCaml
Closes: 615260
Changes:
ocaml-inifiles (1.2-2) unstable; urgency=low
.
* Team upload
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libcurses-ocaml - OCaml bindings for the ncurses library (runtime)
libcurses-ocaml-dev - OCaml bindings for the ncurses library
Closes: 600897
Changes:
ocaml-curses (1.0.3-2) unstable; urgency=low
.
* Team upload
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Closes: 583291
Changes:
menhir (20111019.dfsg-1) unstable; urgency=low
.
* New upstream release (Closes: #583291).
* Bump Standards
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
frama-c- Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 652257
Changes:
frama-c (20111001+nitrogen+dfsg-1) unstable; urgency=low
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
frama-c- Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Changes:
frama-c (20111001+nitrogen+dfsg-2) unstable; urgency=low
.
* add 0005
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.30+dfsg-1) unstable; urgency=low
.
* New upstream release.
* Update patches
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
freetennis - Free Tennis - simulation game
freetennis-common - Free Tennis - simulation game
Changes:
freetennis (0.4.8-9) unstable; urgency=low
.
[ Stéphane Glondu ]
* debian/control: update Vcs-* to point to git
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libodn-ocaml - Store data using OCaml notation
libodn-ocaml-dev - Store data using OCaml notation
Changes:
ocaml-data-notation (0.0.7-1) unstable; urgency=low
.
* Team upload
* New upstream release
- remove
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libyojson-ocaml - JSON library for OCaml
libyojson-ocaml-dev - JSON library for OCaml
Changes:
yojson (1.0.3-1) unstable; urgency=low
.
* Team upload
* New upstream release
Checksums-Sha1
...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
scala - Scala programming language
scala-doc - Scala API documentation
scala-library - Scala standard library
Closes: 652024 652072
Changes:
scala (2.9.1.dfsg-2) unstable; urgency=low
.
[ Frank S. Thomas ]
* debian
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 03 Jan 2012 23:03:48 +0100
Source: vmpk
Binary: vmpk
Architecture: source amd64
Version: 0.4.0-1
Distribution: unstable
Urgency: low
Maintainer: Mehdi Dogguy me...@debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description
-By: Mehdi Dogguy me...@debian.org
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.94-1) unstable; urgency=low
.
* New upstream release.
* Rebase patches
Checksums-Sha1:
bbc39a5145660006a1001073c8a61212937d9bd9 2108 alt-ergo_0.94-1.dsc
-tool. I was
planning to have a look at it, but didn't find time to actually do that.
IIRC, another issue is that simple-build-tool requires network access
during the build… I guess it can be fooled somehow but didn't check yet.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org
On 12/13/2011 07:26 PM, Steve Langasek wrote:
On Tue, Dec 13, 2011 at 07:03:55PM +0100, Mehdi Dogguy wrote:
On 12/13/2011 01:23 PM, Thomas Koch wrote:
So is it ok to ship binaries in the source package that are only
required during build? Can I do the same with simple-build-tool,
which
On 12/13/2011 07:26 PM, Steve Langasek wrote:
On Tue, Dec 13, 2011 at 07:03:55PM +0100, Mehdi Dogguy wrote:
On 12/13/2011 01:23 PM, Thomas Koch wrote:
So is it ok to ship binaries in the source package that are only
required during build? Can I do the same with simple-build-tool,
which
Changed-By: Mehdi Dogguy me...@debian.org
Description:
leptonica-progs - sample programs for Leptonica image processing library
libleptonica - image processing library
libleptonica-dev - image processing library
Closes: 649786
Changes:
leptonlib (1.68-4.1) unstable; urgency=high
.
* Non
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.29+dfsg-4) unstable; urgency=low
.
* Rebuild with OCaml 3.12.1.
Checksums-Sha1
debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
liboasis-ocaml - Architecture for building OCaml libraries and applications
liboasis-ocaml-dev - Architecture for building OCaml libraries and applications
liboasis-ocaml-doc - Architecture for building
: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libbatteries-ocaml-dev - Batteries included: OCaml development platform -
development file
libbatteries-ocaml-doc - Batteries included - OCaml development platform -
documentation
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libzarith-ocaml - arithmetic and logical operations over arbitrary-precision
intege
libzarith-ocaml-dev - arithmetic and logical operations over
arbitrary-precision intege
libzarith-ocaml-doc
Changed-By: Mehdi Dogguy me...@debian.org
Description:
jocaml - OCaml extended for concurrent and distributed programming
jocaml-base - Runtime system for JOCaml bytecode executables
Changes:
jocaml (3.12.1-1) unstable; urgency=low
.
* New upstream release
* Refresh patches
to implement and setup this new
service.
¹: btw, the tool's name is “maddie”.
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libzarith-ocaml - arithmetic and logical operations over arbitrary-precision
intege
libzarith-ocaml-dev - arithmetic and logical operations over
arbitrary-precision intege
libzarith-ocaml-doc
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libzarith-ocaml - arithmetic and logical operations over arbitrary-precision
intege
libzarith-ocaml-dev - arithmetic and logical operations over
arbitrary-precision intege
libzarith-ocaml-doc
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libzarith-ocaml - arithmetic and logical operations over arbitrary-precision
intege
libzarith-ocaml-dev - arithmetic and logical operations over
arbitrary-precision intege
libzarith-ocaml-doc
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libzarith-ocaml - arithmetic and logical operations over arbitrary-precision
intege
libzarith-ocaml-dev - arithmetic and logical operations over
arbitrary-precision intege
libzarith-ocaml-doc
Package: wnpp
Severity: wishlist
Owner: Mehdi Dogguy me...@debian.org
* Package name: ocaml-zarith
Version : 1.0
Upstream Author : Xavier Leroy and Antoine Mine
* Url : https://forge.ocamlcore.org/projects/zarith/
* License : LGPL 2 with special linking
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 26 Sep 2011 14:09:54 +0200
Source: laby
Binary: laby
Architecture: source i386
Version: 0.6.3-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi
Hello,
Systemtap seems in pretty bad shape. Its removal from testing has been
requested (See #635543) and will be effective by Saturday if still not
fixed.
It you still care about systemtap, please step up and offer your help to
fix it.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org
On 07/27/2011 11:42 AM, Mehdi Dogguy wrote:
Systemtap seems in pretty bad shape. Its removal from testing has been
requested (See #635543) and will be effective by Saturday if still not
fixed.
hum, Julien already put a hint for it and it is now removed from testing.
It is always possible
On 07/07/2011 07:13 PM, Xavier Oswald wrote:
Take this announce as a come back with new motivation :)
Im incrementaly managing my time for getting back to a normal debian activity.
Welcome back! :)
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel
...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
liblucene2-java - Full-text search engine library for Java(TM)
liblucene2-java-doc - Documentation for Lucene
Closes: 628288
Changes:
lucene2 (2.9.4+ds1-2) unstable; urgency=low
.
* Team upload.
* Change
,
--
Mehdi Dogguy مهدي الدڤي
mehdi@{dogguy.org,debian.org}
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4e12d80a.3060...@debian.org
: 0.10+doc-6.1
Distribution: unstable
Urgency: high
Maintainer: Bernd Zeimetz b...@debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libbarcode-zbar-perl - bar code scanner and decoder (Perl bindings)
libzbar-dev - bar code scanner and decoder (development)
libzbar0 - bar code
...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
scala - Scala programming language
scala-doc - Scala API documentation
scala-library - Scala standard library
Closes: 631429
Changes:
scala (2.9.0.1.dfsg-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* New upstream
on bugs.d.o directly and that there is no need for another
instance of debbugs, because their number isn't insane, as most of us tend
to think.
[1] http://backports.debian.org/FAQ/
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ
that it also applies to testing/unstable.
Thanks for your other answers on debugs.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 31 May 2011 20:35:07 +0200
Source: dvdauthor
Binary: dvdauthor
Architecture: source amd64
Version: 0.7.0-1.1
Distribution: unstable
Urgency: low
Maintainer: Marc Leeman marc.lee...@gmail.com
Changed-By: Mehdi Dogguy me
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 01 Jun 2011 16:18:42 +0200
Source: dogtail
Binary: python-dogtail
Architecture: source all
Version: 0.6.1-3.2
Distribution: unstable
Urgency: high
Maintainer: Jose Carlos Garcia Sogo js...@debian.org
Changed-By: Mehdi Dogguy me
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 30 May 2011 17:07:11 +0200
Source: inkscape
Binary: inkscape
Architecture: source i386
Version: 0.48.1-2.1
Distribution: unstable
Urgency: high
Maintainer: Wolfram Quester wo...@sigxcpu.org
Changed-By: Mehdi Dogguy me
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 31 May 2011 20:41:20 +0200
Source: dx
Binary: dx libdx4 libdx4-dev dx-doc
Architecture: source all amd64
Version: 1:4.4.4-3.1
Distribution: unstable
Urgency: high
Maintainer: Daniel Kobras kob...@debian.org
Changed-By: Mehdi
: Debian Med Packaging Team
debian-med-packag...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libsofa1 - Simulation Open Framework Architecture - runtime
libsofa1-dev - Simulation Open Framework Architecture - development
sofa-apps - GUI for the Simulation Open
-dev
Architecture: source i386 all
Version: 1.2.0-3.1
Distribution: unstable
Urgency: high
Maintainer: Matt Taggart tagg...@debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
fossology - open and modular architecture for analyzing software
fossology-agents - architecture
On 25/05/2011 00:17, Francesco Poli wrote:
However the gitweb interface seems to have lost its fancy style sheet
that used to be consistent with the Debian web site
http://www.debian.org/
which is not a big loss, if you ask me :) Now, it's consistent with
Alioth's setup…
Regards,
--
Mehdi
broken though (take src:kino as an example).
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ddce6c5.4040
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libdose2-ocaml - OCaml libraries for managing packages and their dependencies
libdose2-ocaml-dev - OCaml libraries for package dependencies (development
files)
Closes: 627433
Changes:
dose2 (1.4.2-4) unstable; urgency=low
-bzip2-perl (U)
libtext-bibtex-perl
prima
[1] http://release.debian.org/~jcristau/perl5.12-binNMUs-source-all.txt
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
such simplistic conclusions.
Regards,
--
Mehdi Dogguy مهدي الدڤي
mehdi@{dogguy.org,debian.org}
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4dbfe7a5.60...@debian.org
that you're not able to give
them, because otherwise you would have used them already to say why
rolling will bring users, or what do rolling users like?
(The survey we need should rolling-topic specific, not about Debian in
general).
Regards,
--
Mehdi Dogguy مهدي الدڤي
mehdi@{dogguy.org,debian.org
,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4dbe55f1.9070...@dogguy.org
with each viewer, so that each code gets fixed.
Well, both do use libpoppler5… which is a PDF rendering library.
My 2cents,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
working on upgrade tests and fixing upgrade issues
4) d-i releases are not frequent and take too long, that really slows down
things a bit. It has direct impact on 3).
If we can enhance some of them (hopefully, all of them), we will be able to
reduce freeze's duration, IMHO.
Regards,
--
Mehdi
and manpower), and we will be forced to
accept the new version. We did it _once_ for Chromium, it's not said
that we will do that again! So this argument doesn't stand either. It's
making a big assumptions on various things.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE
on a 'best-effort basis', it doesn't ring any bell to me, tbh. We all
already do that, except a few (I don't even know who they are). Those
won't change their behavior because it's already 'on best-effort basis'
for them too :)
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org
not a
difficult task. It will help us to know who actually uses it, when, how
much, etc… Please do prove us wrong!
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
On 04/28/2011 08:20 PM, Lucas Nussbaum wrote:
The sooner we get the big transitions done, the sooner we can focus
on fixing the remaining bugs.
There will be always new transitions… you're gonna to wait for ever.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE
assistance to set up one of the needed tools, I'm sure he'll find some.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http
On 04/30/2011 03:24 PM, Lucas Nussbaum wrote:
On 30/04/11 at 14:31 +0200, Mehdi Dogguy wrote:
On 04/28/2011 08:20 PM, Lucas Nussbaum wrote:
The sooner we get the big transitions done, the sooner we can
focus on fixing the remaining bugs.
There will be always new transitions… you're gonna
On 04/30/2011 03:47 PM, Arno Töll wrote:
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1
On 30.04.2011 15:24, Mehdi Dogguy wrote:
On 04/30/2011 03:16 PM, Arno Töll wrote:
Perhaps that's a not a particular fair demand. See, crucial for
Raphaels idea as I read it is official support to users
package to $codename-proposed-updates.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4dbc1e59.5030...@dogguy.org
is already done (migration scripts, etc…)
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4dbc30ff.8000
(existence of that bottleneck).
Having that said, avoiding bottlenecks when possible is better.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
QEMU Team pkg-qemu-de...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
qemu - fast processor emulator
qemu-keymaps - QEMU keyboard maps
qemu-system - QEMU full system emulation binaries
qemu-user - QEMU user mode emulation binaries
qemu-user-static - QEMU
] Announcement of 'testing':
http://lists.debian.org/debian-devel/2000/08/msg00906.html
Regards,
S
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
On 28/04/2011 09:06, Stefano Zacchiroli wrote:
On Wed, Apr 27, 2011 at 05:58:46PM +0200, Mehdi Dogguy wrote:
Funny… reading your recent blogpost,
(FWIW, the blog post Mehdi is referring to is, I guess, at [1])
you seem to not understand yet what you want to put into Rolling (and
how). So
think that testing
is a very well choosen name, more honest about its state. If people think
that testing (as a suite) is broken, then we should try to change that
idea, instead of just changing its name. (IMO)
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email
On 28/04/2011 11:29, Raphael Hertzog wrote:
On Wed, 27 Apr 2011, Mehdi Dogguy wrote:
For example: What would be Rolling's content right after a release?
(comparing to testing, which starts from the stable just released).
I
Rolling doesn't magically change after a release. It's still
On 28/04/2011 15:52, Raphael Hertzog wrote:
On Thu, 28 Apr 2011, Mehdi Dogguy wrote:
| before| during | release | freeze| freeze
| day+1 | dev period | |
——— |sid
|sid
like me to read your ideas, you're going to put some efforts and
post them here, instead of pointing me to your blog. really.
--
Mehdi Dogguy مهدي الدڤي
mehdi@{dogguy.org,debian.org}
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
On 28/04/2011 17:25, Lucas Nussbaum wrote:
On 28/04/11 at 16:52 +0200, Mehdi Dogguy wrote:
1) At the beginning of the developement cycle, (with the new plan) you
start from testing, and not the new stable. So, you don't start with a
base that's rc-bug free, or at least, as polished as the new
On 28/04/2011 17:30, Raphael Hertzog wrote:
On Thu, 28 Apr 2011, Mehdi Dogguy wrote:
1) At the beginning of the developement cycle, (with the new plan) you
start from testing, and not the new stable. So, you don't start with a
base that's rc-bug free, or at least, as polished as the new stable
.
It was really not meant to be sent.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4db9e0fa.8070...@dogguy.org
://raphaelhertzog.com/2010/12/23/people-behind-debian-mehdi-dogguy-release-assistant/
Funny… reading your recent blogpost, you seem to not understand yet what
you want to put into Rolling (and how). So, how can we comment on
something that's not set or clearly described yet? Make a plan first, ask
for questions
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
frama-c- Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Changes:
frama-c (20110201+carbon+dfsg-2) unstable; urgency=low
.
* Add -I
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.29+dfsg-3) unstable; urgency=low
.
* Remove last added patch. The problem
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
frama-c- Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 610432
Changes:
frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.29+dfsg-1) unstable; urgency=low
.
* New upstream release.
- Remove old
...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libwhy-coq - Why library for Coq
why- A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.29+dfsg-2) unstable; urgency=low
.
* Fix FTBFS on armel.
- add 0004
-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libjs-of-ocaml-dev - OCaml bytecode to JavaScript compiler
libjs-of-ocaml-doc - OCaml bytecode to JavaScript compiler (documentation)
Changes:
js-of-ocaml (1.0+dfsg-2) unstable; urgency=low
.
* Team upload
debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
liboasis-ocaml - Architecture for building OCaml libraries and applications
liboasis-ocaml-dev - Architecture for building OCaml libraries and applications
liboasis-ocaml-doc - Architecture for building
)
* debian/rules: switch to dh with overrides
* debian/control:
- add myself to Uploaders, and remove Stefano
- bump Standards-Version to 3.9.1 (no changes)
.
[ Mehdi Dogguy ]
* Team upload.
* Upload to unstable.
* Don't compile to native code on native architectures
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libreins-ocaml-dev - data structure library for OCaml
Changes:
ocaml-reins (0.1a-4) unstable; urgency=low
.
* Team upload.
* Set a dummy HOME when calling omake (fixes FTBFS on buildds where
HOME is not set).
Checksums-Sha1
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libcore-extended-ocaml - Jane Street's standard library for OCaml - extensions
(runtime)
libcore-extended-ocaml-dev - Jane Street's standard library
Urgency: high
Maintainer: Debian Science Maintainers
debian-science-maintain...@lists.alioth.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
deal.ii-doc - Finite element library - documentation
deal.ii-examples - Finite element library - documentation
libdeal.ii-dbg - Finite element
Changed-By: Mehdi Dogguy me...@debian.org
Description:
jocaml - OCaml extended for concurrent and distributed programming
jocaml-base - Runtime system for JOCaml bytecode executables
Closes: 580103 582533 618106
Changes:
jocaml (3.12.0-1) unstable; urgency=low
.
* New upstream release
-By: Mehdi Dogguy me...@debian.org
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.93-3) unstable; urgency=low
.
* Fix lablgtksourceview2 detection on bytecode architectures.
- 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Mehdi Dogguy me...@debian.org
Description:
libocamlgraph-ocaml-dev - graph library for OCaml
libocamlgraph-ocaml-doc - Documentation for the OCamlgraph library
libocamlgraph-viewer-ocaml-dev - graph
-By: Mehdi Dogguy me...@debian.org
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.93-1) unstable; urgency=low
.
* New upstream release.
* Update copyright file.
* Add liblablgtk2-gnome-ocaml-dev and liblablgtksourceview2-ocaml-dev
301 - 400 of 603 matches
Mail list logo
