Accepted ocaml 3.11.2-2 (source all amd64)

Version: 3.11.2-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: camlp4 - Pre Processor Pretty Printer for OCaml camlp4-extra - Pre Processor Pretty Printer for OCaml - extras

Accepted frama-c 20100401+boron+dfsg-5 (source amd64)

...@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 (20100401+boron+dfsg-5) unstable; urgency=low . [ Stéphane Glondu

Accepted ocaml-bitstring 2.0.2-2 (source amd64)

-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libbitstring-ocaml - Erlang-style bitstrings for OCaml libbitstring-ocaml-dev - Erlang-style bitstrings for OCaml Closes: 599552 Changes: ocaml-bitstring (2.0.2-2) unstable; urgency=low . * Fix META file

Accepted texmacs 1:1.0.7.7-1.1 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 04 Dec 2010 20:40:54 +0100 Source: texmacs Binary: texmacs texmacs-common Architecture: source all amd64 Version: 1:1.0.7.7-1.1 Distribution: unstable Urgency: high Maintainer: Atsuhito KOHDA ko...@debian.org Changed-By: Mehdi

Accepted stopmotion 0.6.2-1.1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 07 Dec 2010 06:07:08 +0100 Source: stopmotion Binary: stopmotion Architecture: source amd64 Version: 0.6.2-1.1 Distribution: unstable Urgency: high Maintainer: Bjoern Erik Nilsen bjoern.nil...@bjoernen.com Changed-By: Mehdi

Accepted muse 0.8.1a-7.1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 10 Dec 2010 21:07:59 +0100 Source: muse Binary: muse Architecture: source i386 Version: 0.8.1a-7.1 Distribution: unstable Urgency: high Maintainer: Daniel Kobras kob...@debian.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted rails 2.3.5-1.2 (source all)

libactionpack-ruby libactionpack-ruby1.8 libactionmailer-ruby libactionmailer-ruby1.8 libactiveresource-ruby libactiveresource-ruby1.8 Architecture: source all Version: 2.3.5-1.2 Distribution: unstable Urgency: high Maintainer: Adam Majer ad...@zombino.com Changed-By: Mehdi Dogguy me...@debian.org

Accepted why 2.26+dfsg-2 (source i386 all)

...@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 Closes: 585459 Changes: why (2.26+dfsg-2) unstable; urgency=low . [ Stéphane Glondu ] * Add

Accepted why 2.26+dfsg-3 (source all amd64)

...@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.26+dfsg-3) unstable; urgency=low . [ Stéphane Glondu ] * Fix versioned build

Accepted frama-c 20100401+boron+dfsg-3 (source amd64)

...@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 (20100401+boron+dfsg-3) unstable; urgency=low . * Add some patches

Accepted vmpk 0.3.2-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 07 Jul 2010 17:45:39 +0200 Source: vmpk Binary: vmpk Architecture: source i386 Version: 0.3.2-1 Distribution: unstable Urgency: low Maintainer: Mehdi Dogguy me...@debian.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted dh-ocaml 0.9.5 (source all)

-By: Mehdi Dogguy me...@debian.org Description: dh-ocaml - helper tools for maintaining OCaml-related Debian packages Changes: dh-ocaml (0.9.5) unstable; urgency=low . * Fix detection of Dynlink support. Checksums-Sha1: 6c9ab59f6ae041ff961fef2e0953bc725f0e41e3 1756 dh-ocaml_0.9.5.dsc

Accepted whereami 0.3.34-0.3 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 08 Jul 2010 00:41:36 +0200 Source: whereami Binary: whereami Architecture: source all Version: 0.3.34-0.3 Distribution: unstable Urgency: low Maintainer: Andrew McMillan deb...@mcmillan.net.nz Changed-By: Mehdi Dogguy me

Accepted ocaml-batteries 1.2.2-1 (source all amd64)

: 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

Accepted frama-c 20100401+boron+dfsg-4 (source i386)

...@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 (20100401+boron+dfsg-4) unstable; urgency=low . * Add 0009

Accepted sendmail 8.14.3-9.2 (source all i386)

-9.2 Distribution: unstable Urgency: low Maintainer: Richard A Nelson (Rick) cow...@debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmilter-dev - Sendmail Mail Filter API (Milter) libmilter1.0.1 - Sendmail Mail Filter API (Milter) libmilter1.0.1-dbg - Sendmail Mail Filter API

Accepted portaudio19 19+svn20071022-3.2 (source all i386)

: Debian VoIP Team pkg-voip-maintain...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libportaudio2 - Portable audio I/O - shared library libportaudiocpp0 - Portable audio I/O C++ bindings - shared library portaudio19-dev - Portable audio I/O - development files

Accepted aptdaemon 0.31+bzr413-1.1 (source all)

...@debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: aptdaemon - transaction based package management service python-aptdaemon - Python module for the server and client of aptdaemon python-aptdaemon-gtk - Python GTK+ widgets to run an aptdaemon client Closes: 603662 Changes

Accepted gadmin-openvpn-server 0.1.5-3.1 (source amd64)

packa...@qa.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: gadmin-openvpn-server - GTK+ configuration tool for openvpn (server) gadmin-openvpn-server-dbg - GTK+ configuration tool for openvpn (debug for server) Closes: 602869 Changes: gadmin-openvpn-server (0.1.5-3.1) unstable

Accepted gadmin-openvpn-client 0.1.2-4 (source amd64)

...@qa.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: gadmin-openvpn-client - GTK+ configuration tool for openvpn (client) gadmin-openvpn-client-dbg - GTK+ configuration tool for openvpn (debug for client) Changes: gadmin-openvpn-client (0.1.2-4) unstable; urgency=low

Accepted autolog 0.40-13.1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 01 Dec 2010 16:40:43 +0100 Source: autolog Binary: autolog Architecture: source i386 Version: 0.40-13.1 Distribution: unstable Urgency: low Maintainer: Luis Uribe a...@eviled.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted mldonkey 3.0.3-3 (source amd64)

...@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: 522900 593091 601332 Changes: mldonkey (3.0.3-3) unstable; urgency=low . * Do not erase existing configuration

Accepted mldonkey 3.0.3-4 (source amd64)

...@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 Changes: mldonkey (3.0.3-4) unstable; urgency=low . * Fix a typo in mldonkey-server.postrm: s/lib/log, thanks to adsb

Accepted emacs23 23.2+1-5.1 (source all i386)

Maintainer: Rob Browning r...@defaultvalue.org Changed-By: Mehdi Dogguy me...@debian.org Description: emacs - The GNU Emacs editor (metapackage) emacs23- The GNU Emacs editor (with GTK+ user interface) emacs23-bin-common - The GNU Emacs editor's shared, architecture dependent files

Accepted aqsis 1.2.0-2.2 (source amd64)

-By: Mehdi Dogguy me...@debian.org Description: aqsis - suite of applications implementing the RenderMan Interface aqsis-libs-dev - suite of applications implementing the RenderMan Interface - deve aqsis-libsc2a - suite of applications implementing the RenderMan Interface - libr Closes

Accepted libcommoncpp2 1.7.3-1.1 (source all i386)

-voip-maintain...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libccgnu2-1.7-0 - A GNU package for creating portable C++ programs libcommoncpp2-dev - Header files and static libraries for Common C++ 2 libcommoncpp2-doc - Documentation files for Common C++ 2

Accepted smilutils 0.3.2+cvs20070731-4.2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 02 Feb 2010 10:11:19 +0100 Source: smilutils Binary: smilutils Architecture: source i386 Version: 0.3.2+cvs20070731-4.2 Distribution: unstable Urgency: low Maintainer: Roland Mas lola...@debian.org Changed-By: Mehdi Dogguy me

Accepted d4x 2.5.7.1-7 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Feb 2010 15:56:59 +0100 Source: d4x Binary: d4x d4x-common Architecture: source all amd64 Version: 2.5.7.1-7 Distribution: unstable Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Mehdi Dogguy me

Accepted xnc 5.0.4-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 02 Feb 2010 14:19:03 +0100 Source: xnc Binary: xnc Architecture: source amd64 Version: 5.0.4-4 Distribution: unstable Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted clxclient 3.6.1-1.1 (source amd64)

-maintain...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libclxclient-dev - Development file for libclxclient libclxclient3 - X Window System C++ access library Closes: 560644 Changes: clxclient (3.6.1-1.1) unstable; urgency=low . * Non-maintainer upload

Accepted yafray 0.0.9+dfsg-3 (source sparc)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Feb 2010 18:59:27 +0100 Source: yafray Binary: yafray Architecture: source sparc Version: 0.0.9+dfsg-3 Distribution: unstable Urgency: low Maintainer: Debian QA Group packa...@qa.debian.org Changed-By: Mehdi Dogguy me

Accepted vkeybd 1:0.1.18d-1.1 (source amd64)

-By: Mehdi Dogguy me...@debian.org Description: vkeybd - Virtual MIDI Keyboard Closes: 560556 Changes: vkeybd (1:0.1.18d-1.1) unstable; urgency=low . * Non-maintainer upload. * Fix headers for vkeybd_xpm_fix.dpatch, thanks to Ilya Barygin for the patch (Closes: #560556) Checksums-Sha1

Accepted xconq 7.4.1-4.1 (source all amd64)

-By: Mehdi Dogguy me...@debian.org Description: xconq - A graphical multi-player strategy game and game design system xconq-common - Common files for Xconq xconq-doc - Xconq documentation in PostScript, HTML, and info format Closes: 562391 Changes: xconq (7.4.1-4.1) unstable; urgency=low

Accepted muse-el 3.12-1.1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Feb 2010 18:17:55 +0100 Source: muse-el Binary: muse-el Architecture: source all Version: 3.12-1.1 Distribution: unstable Urgency: low Maintainer: Michael W. Olson (GNU address) mwol...@gnu.org Changed-By: Mehdi Dogguy me

Accepted screader 1.8-5.1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Feb 2010 21:55:38 +0100 Source: screader Binary: screader Architecture: source amd64 Version: 1.8-5.1 Distribution: unstable Urgency: low Maintainer: Mario Lang ml...@debian.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted adept 3.0~beta7.2+nmu1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Feb 2010 23:22:19 +0100 Source: adept Binary: adept Architecture: source amd64 Version: 3.0~beta7.2+nmu1 Distribution: unstable Urgency: low Maintainer: Petr Rockai mornf...@debian.org Changed-By: Mehdi Dogguy me

Accepted cmigrep 1.5-7 (source all)

Dogguy me...@debian.org Description: cmigrep- search in OCaml compiled interface files Changes: cmigrep (1.5-7) unstable; urgency=low . [ Ralf Treinen ] * Changed section to ocaml . [ Mehdi Dogguy ] * Rebuild against OCaml 3.11.2 Checksums-Sha1

Accepted frama-c 20090902+beryllium+dfsg-4 (source amd64)

...@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: 569260 Changes: frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low

Accepted mldonkey 3.0.1-1 (source amd64)

...@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: 539726 549498 551896 552004 Changes: mldonkey (3.0.1-1) unstable; urgency=low . * New upstream release

Accepted jocaml 3.11.2.A-1 (source i386)

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.11.2.A-1) unstable; urgency=low . * New Upstream version Checksums-Sha1

Accepted scala 2.7.7.dfsg-2 (source all)

...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: scala - The Scala programming language scala-doc - The Scala API documentation scala-library - The Scala standard library Changes: scala (2.7.7.dfsg-2) unstable; urgency=low . * Fix scaladoc script (LP: #521093

Accepted frama-c 20090902+beryllium+dfsg-1 (source i386)

...@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 source code analysis of software written in C Changes: frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low

Accepted frama-c 20090902+beryllium+dfsg-2 (source amd64)

...@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 (20090902+beryllium+dfsg-2) unstable; urgency=low . * Fix

Accepted frama-c 20090902+beryllium+dfsg-3 (source armel)

...@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 (20090902+beryllium+dfsg-3) unstable; urgency=low . * Fix FTBFS

Accepted why 2.23+dfsg-1 (source all armel)

...@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 Closes: 552776 Changes: why (2.23+dfsg-1) unstable; urgency=low . [ Mehdi Dogguy ] * New

Accepted freetennis 0.4.8-8 (source all i386)

...@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-8) unstable; urgency=low . * Use dh-ocaml to compute dependencies automatically * Bump standards

Accepted jocaml 3.11.2.a-1 (source amd64)

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: 569893 Changes: jocaml (3.11.2.a-1) unstable; urgency=low . * s/A/a/ in version number (Closes

Accepted why 2.23+dfsg-2 (source all amd64)

...@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.23+dfsg-2) unstable; urgency=low . * Rebuild with OCaml 3.11.2 * Correctly

Accepted zekr 0.7.5+repack-1 (source all)

...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: zekr - Quranic Study Tool Changes: zekr (0.7.5+repack-1) unstable; urgency=low . [ أحمد المحمودي (Ahmed El-Mahmoudy) ] * New upstream release. * Updated my email address. * Remove debian/velocity.properties

Accepted frama-c 20100401+boron+dfsg-1 (source amd64)

...@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 (20100401+boron+dfsg-1) unstable; urgency=low . * New upstream

Accepted ocamlgraph 1.4-1 (source all amd64)

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

Accepted why 2.25+dfsg-1 (source all amd64)

...@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.25+dfsg-1) unstable; urgency=low . * New upstream release - Refresh

Accepted vmpk 0.3.1-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Apr 2010 12:44:41 +0200 Source: vmpk Binary: vmpk Architecture: source i386 Version: 0.3.1-1 Distribution: unstable Urgency: low Maintainer: Mehdi Dogguy me...@debian.org Changed-By: Mehdi Dogguy me...@debian.org

Accepted frama-c 20100401+boron+dfsg-2 (source amd64)

...@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: 580090 Changes: frama-c (20100401+boron+dfsg-2) unstable; urgency=low

Accepted alt-ergo 0.91-1 (source amd64)

-By: Mehdi Dogguy me...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.91-1) unstable; urgency=low . * New upstream release. * Update my email address and remove DMUA * Refresh packaging (dh-ocaml, dh overrides, quilt

Accepted alt-ergo 0.91-2 (source amd64)

-By: Mehdi Dogguy me...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.91-2) unstable; urgency=low . * Fix build on bytecode architecures: test target should depend on best alternative, and not opt. Checksums-Sha1

Accepted why 2.26+dfsg-1 (source all amd64)

...@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.26+dfsg-1) unstable; urgency=low . * New upstream release - Refresh

Accepted ocaml-batteries 1.1.0-2 (source i386 all)

: 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

Accepted mlgmp 20021123-17 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libgmp-ocaml - OCaml bindings for the GNU multiprecision arithmetic library libgmp-ocaml-dev - OCaml bindings for the GNU multiprecision arithmetic library Closes: 573978 Changes: mlgmp (20021123-17) unstable; urgency=low

Accepted postgresql-ocaml 1.12.5-1 (source amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libpostgresql-ocaml - OCaml bindings to PostgreSQL's libpq (runtime) libpostgresql-ocaml-dev - OCaml bindings to PostgreSQL's libpq Changes: postgresql-ocaml (1.12.5-1) unstable; urgency=low . * New

Accepted ocamlgraph 1.5-1 (source all amd64)

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

Accepted ocamlviz 1.01-1 (source all armel)

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libocamlviz-ocaml-dev - real-time profiling tools for Objective Caml (library) libocamlviz-ocaml-doc - real-time profiling tools for Objective Caml (documentation) ocamlviz - real-time profiling tools

Accepted ocurl 0.5.3-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libcurl-ocaml - OCaml curl bindings (Runtime Library) libcurl-ocaml-dev - OCaml libcurl bindings (Development package) Closes: 576824 Changes: ocurl (0.5.3-1) unstable; urgency=low . * New upstream release (Closes: #576824

Accepted ocamlviz 1.01-2 (source all amd64)

debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libocamlviz-ocaml-dev - real-time profiling tools for Objective Caml (library) libocamlviz-ocaml-doc - real-time profiling tools for Objective Caml (documentation) ocamlviz - real-time profiling tools

Accepted ocamlgraph 1.3+debian-2 (source all amd64)

: unstable 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

Accepted scala 2.7.7.dfsg-3 (source all)

...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: scala - The Scala programming language scala-doc - The Scala API documentation scala-library - The Scala standard library Closes: 573384 Changes: scala (2.7.7.dfsg-3) unstable; urgency=low . * Fix scalac script (use

Accepted scala 2.7.7.dfsg-4 (source all)

...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: scala - The Scala programming language scala-doc - The Scala API documentation scala-library - The Scala standard library Changes: scala (2.7.7.dfsg-4) unstable; urgency=low . * Fix scaladoc script to use $CLASSPATH

Accepted frama-c 20090902+beryllium+dfsg-5 (source i386)

...@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: 575371 Changes: frama-c (20090902+beryllium+dfsg-5) unstable; urgency=low

Accepted openshot 1.3.0-1.1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 11 Apr 2011 10:51:20 +0200 Source: openshot Binary: openshot openshot-doc Architecture: source all Version: 1.3.0-1.1 Distribution: unstable Urgency: high Maintainer: Jonathan Thomas jonathan.oo...@gmail.com Changed-By: Mehdi

Accepted sofa-framework 1.0~beta4-5.1 (source all amd64)

: 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

Accepted dx 1:4.4.4-3.1 (source all amd64)

-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

Accepted dogtail 0.6.1-3.2 (source all)

-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

Accepted inkscape 0.48.1-2.1 (source i386)

-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

Accepted dvdauthor 0.7.0-1.1 (source amd64)

-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

Accepted scala 2.9.0.1.dfsg-1 (source all)

...@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

Accepted zbar 0.10+doc-6.1 (source amd64)

: 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

Accepted vmpk 0.3.3-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 04 Mar 2011 15:03:41 +0100 Source: vmpk Binary: vmpk Architecture: source i386 Version: 0.3.3-1 Distribution: unstable Urgency: low Maintainer: Mehdi Dogguy me...@debian.org Changed-By: Mehdi Dogguy me...@debian.org Description

Accepted scala 2.8.1.dfsg-1 (source all)

...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: scala - The Scala programming language scala-doc - The Scala API documentation scala-library - The Scala standard library Closes: 589110 603529 Changes: scala (2.8.1.dfsg-1) unstable; urgency=low . [ Mehdi Dogguy

Accepted therion 5.3.3-1.1 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 15 Mar 2011 19:11:00 +0100 Source: therion Binary: therion therion-viewer therion-doc Architecture: source i386 all Version: 5.3.3-1.1 Distribution: unstable Urgency: low Maintainer: Wookey woo...@debian.org Changed-By: Mehdi

Accepted qemu 0.14.0+dfsg-5.1 (source all i386)

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

Accepted xotcl 1.6.6-1.1 (source all amd64)

pkg-tcltk-de...@lists.alioth.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: aolserver4-xotcl - Extended Object Tcl (XOTcl): Object orientation for AOLServer - m xotcl - Extended Object Tcl (XOTcl): Object orientation for Tcl - shared xotcl-dev - Extended Object Tcl

Accepted ocamlgraph 1.7-1 (source all amd64)

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

Accepted alt-ergo 0.93-1 (source amd64)

-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

Accepted calendar 2.03-1 (source all amd64)

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libcalendar-ocaml - OCaml library providing operations over dates and times libcalendar-ocaml-dev - OCaml library providing operations over dates and times libcalendar-ocaml-doc - OCaml library

Accepted menhir 20110201.dfsg-1 (source amd64)

...@lists.debian.org Changed-By: Mehdi Dogguy me...@debian.org Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Closes: 603335 Changes: menhir (20110201.dfsg-1) unstable; urgency=low . [ Stéphane Glondu ] * Do not install examples twice (Closes

Accepted alt-ergo 0.93-2 (source amd64)

-By: Mehdi Dogguy me...@debian.org Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.93-2) unstable; urgency=low . * Add patch to fix FTBFS on bytecode architectures. - 0004-Add-rules-and-targets-for-gui.byte.patch Checksums-Sha1

Accepted alt-ergo 0.93-3 (source amd64)

-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

Accepted jocaml 3.12.0-1 (source amd64)

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

Accepted deal.ii 6.3.1-1.1 (source all amd64)

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

Accepted ocaml-reins 0.1a-4 (source amd64)

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

Accepted janest-core 0.6.0-3 (source all amd64)

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

Accepted cduce 0.5.3-3 (source i386)

) * 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

Accepted js-of-ocaml 1.0+dfsg-2 (source all amd64)

-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

Accepted oasis 0.2.0-2 (source all amd64)

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

Accepted frama-c 20110201+carbon+dfsg-1 (source amd64)

...@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

Accepted why 2.29+dfsg-1 (source all amd64)

...@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

Accepted why 2.29+dfsg-2 (source all amd64)

...@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

Accepted frama-c 20110201+carbon+dfsg-2 (source amd64)

...@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

Accepted why 2.29+dfsg-3 (source all amd64)

...@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

Accepted dose2 1.4.2-4 (source amd64)

...@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

  1   2   3   4   5   >