-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlgsl-ocaml - GNU scientific library for OCaml
libocamlgsl-ocaml-dev - GNU scientific library for OCaml
Closes: 361583 361635
Changes:
ocamlgsl (0.4.0-4.1) unstable; urgency=low
.
* NMU.
* Added a patch
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 28 Apr 2006 18:52:06 +0200
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.0pl3+8.1alpha-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 30 Apr 2006 21:33:54 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.12+0.1.13test3-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 18 Apr 2006 08:11:57 +0200
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.4-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 13 Apr 2006 15:22:45 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.12-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 9 Apr 2006 21:32:21 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.12-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
Maintainer: Debian VoIP Team [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp4 - Real-time Transport Protocol
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
advi - an active DVI previewer and presenter
advi-examples - example presentations for Active-DVI (advi)
Closes: 286452 359302
Changes:
advi (1.6.0-10) unstable; urgency=low
.
* Remove work-around against debhelper bug: use -X.aux
Maintainer: Debian VoIP Team [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp4 - Real-time Transport Protocol
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 16 Mar 2006 18:04:48 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.11-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 3 Mar 2006 22:32:02 +0100
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 12 Feb 2006 17:29:32 +0100
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.1-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 9 Feb 2006 15:52:33 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.11-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-gnome-ocaml - runtime libraries for OCaml bindings to Gnome
liblablgtk2-gnome-ocaml-dev - OCaml bindings to Gnome
liblablgtk2-ocaml - runtime libraries
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 29 Jan 2006 11:20:42 +
Source: ara
Binary: ara xara-gtk xara-gtk-byte ara-byte
Architecture: source all i386
Version: 1.0.12
Distribution: unstable
Urgency: low
Maintainer: George Danchev [EMAIL PROTECTED]
Changed-By: Samuel
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
advi - an active DVI previewer and presenter
advi-examples - example presentations for Active-DVI (advi)
Changes:
advi (1.6.0-8) unstable; urgency=low
.
[ Samuel Mimram ]
* Adapt the build targets to the new patch.
* Updated
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 21 Jan 2006 12:45:24 +0100
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20060107-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp2 - Real-time Transport Protocol
packages) [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ffmpeg - multimedia player, server and encoder
libavcodec-dev - development files for libavcodec
libavformat-dev - development files for libavformat
libpostproc-dev - development files for libpostproc
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-bin - UnixODBC database bindings for OCaml, Biniki
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml, Development
Files
Changes:
ocamlodbc (2.10-4) unstable; urgency=low
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 17 Jan 2006 23:36:31 +0100
Source: penggy
Binary: penggy
Architecture: source i386
Version: 0.2.1-13
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED
packages) [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ffmpeg - multimedia player, server and encoder
libavcodec-dev - development files for libavcodec
libavformat-dev - development files for libavformat
libpostproc-dev - development files for libpostproc
Closes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 16 Jan 2006 21:27:55 +0100
Source: penggy
Binary: penggy
Architecture: source i386
Version: 0.2.1-12
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 11 Jan 2006 19:08:08 +0100
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.1-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Closes: 347457
Changes:
ocamlagrep (1.0-7) unstable; urgency=low
.
* Correctly
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
spamoracle - A statistical analysis spam filter based on Bayes' formula
spamoracle-byte - A statistical analysis spam filter based on Bayes' formula
Closes: 346516
Changes:
spamoracle (1.4-7) unstable; urgency=low
.
* Added
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 7 Jan 2006 18:25:07 +0100
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.3.1-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:09:34 +0100
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.0-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:14:07 +0100
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.2.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml-tools - various tools for ocaml programmers
Changes:
ocaml-tools (2005.29.04-5) unstable; urgency=low
.
* Rebuild with OCaml 3.09.1.
* Packaging is now automagically handling OCaml's ABI changes.
Files
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libcf-ocaml - OCaml library with miscellaneous utility functions
libcf-ocaml-dev - OCaml library with miscellaneous utility functions
Changes:
pagodacf (0.7-3) unstable; urgency=low
.
* Rebuild with OCaml 3.09.1.
* Handling
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 18:49:57 +0100
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-5
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:11:44 +0100
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:24:16 +0100
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.3-9
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:37:25 +0100
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.1.3-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 8 Jan 2006 19:44:00 +0100
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 7 Jan 2006 12:19:06 +0100
Source: ledit
Binary: ledit
Architecture: source all
Version: 1.11-7
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgl-ocaml - Runtime libraries for lablgl
liblablgl-ocaml-dev - an OpenGL interface for Objective Caml
Changes:
lablgl (1.02-1) unstable; urgency=low
.
* New upstream release.
* Rebuild with OCaml 3.09.1.
Files
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Changes:
ocamlagrep (1.0-6) unstable; urgency=low
.
[ Julien Cristau ]
* Stop
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
spamoracle - A statistical analysis spam filter based on Bayes' formula
spamoracle-byte - A statistical analysis spam filter based on Bayes' formula
Changes:
spamoracle (1.4-6) unstable; urgency=low
.
* Rebuild with OCaml
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
spamoracle - A statistical analysis spam filter based on Bayes' formula
spamoracle-byte - A statistical analysis spam filter based on Bayes' formula
Changes:
spamoracle (1.4-5) unstable; urgency=low
.
* New maintainer: Debian
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 3 Jan 2006 21:34:43 +0100
Source: ocamldsort
Binary: ocamldsort
Architecture: source i386
Version: 0.14.3-1.2
Distribution: unstable
Urgency: low
Maintainer: Dimitri Ara [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp2 - Real-time Transport Protocol
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 27 Dec 2005 14:12:01 +0100
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386 all
Version: 1.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 31 Dec 2005 01:00:29 +0100
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libsqlite-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite-ocaml-dev - Embeddable SQL Database for OCaml Programs
Closes: 335651
Changes:
ocaml-sqlite (0.3.5.arch.4-6) unstable; urgency=low
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libsqlite-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite (0.3.5.arch.4-7) unstable; urgency=low
.
* Correctly install
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-bin - UnixODBC database bindings for OCaml, Biniki
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml, Development
Files
Closes: 340103 344614
Changes:
ocamlodbc (2.10-3) unstable
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-bin - UnixODBC database bindings for OCaml, Biniki
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml, Development
Files
Closes: 340103
Changes:
ocamlodbc (2.10-2) unstable; urgency=low
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libmissinglib-ocaml-dev - Library of utility functions for OCaml
Changes:
missinglib (0.4.10.debian-2) unstable; urgency=low
.
* Rebuild with OCaml 3.09.0.
* Updated standards version to 3.6.2, no changes needed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 19 Dec 2005 20:55:21 +0100
Source: pycaml
Binary: pycaml
Architecture: source i386
Version: 0.82-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp2 - Real-time Transport Protocol
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 9 Dec 2005 00:05:30 +0100
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 3 Dec 2005 12:57:37 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.10-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 26 Nov 2005 11:51:16 +0100
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.1.3-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 26 Nov 2005 12:04:04 +0100
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.0-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 23 Nov 2005 22:04:06 +0100
Source: sdl-ttf2.0
Binary: libsdl-ttf2.0-dev libsdl-ttf2.0-0
Architecture: source i386
Version: 2.0.7-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 23 Nov 2005 21:22:27 +0100
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 22 Nov 2005 21:39:25 +0100
Source: ocamlsdl
Binary: libsdl-ocaml-dev libsdl-ocaml
Architecture: source i386
Version: 0.7.2-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coq7-libs - proof assistant for higher-order logic (Coq 7 theories)
coqide - proof
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 20 Nov 2005 12:45:42 +0100
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20051120-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 20 Nov 2005 16:42:00 +0100
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libocamlodbc-ocaml-bin - UnixODBC database bindings for OCaml, Biniki
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml, Development
Files
Changes:
ocamlodbc (2.10-1) unstable; urgency=low
.
* New
the Debian package database
Closes: 327753
Changes:
ara (1.0.11) unstable; urgency=low
.
[ George Danchev ]
* Add kfreebsd-i386 to supported arch list. (Closes: #327753)
* Add copyright information.
.
[ Samuel Mimram ]
* Rebuild with OCaml 3.09.0, no longer hardcoding OCaml's ABI
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-ocaml-doc - Documentation of OCaml bindings for Gtk+ version 2
(lablgtk2)
Changes:
lablgtk2-doc (2.4.0v0.2tv-6) unstable; urgency=low
.
* Rebuild with new lablgtk2 (2.6.0).
* Added liblablgtk2-gnome-ocaml-dev
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgtk2-gnome-ocaml - runtime libraries for OCaml bindings to Gnome
liblablgtk2-gnome-ocaml-dev - OCaml bindings to Gnome
liblablgtk2-ocaml - runtime
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 15 Nov 2005 22:09:58 +0100
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-maint@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libsqlite-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite (0.3.5.arch.4-5) unstable; urgency=low
.
* Rebuild with OCaml
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 13 Nov 2005 20:24:13 +0100
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libagrep-ocaml - Wu-Manber algorithm for string searching with errors
libagrep-ocaml-dev - Wu-Manber algorithm for string searching with errors
Changes:
ocamlagrep (1.0-5) unstable; urgency=low
.
* Updated to OCaml 3.09.0
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 9 Nov 2005 20:05:57 +0100
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.3-8
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
libcf-ocaml - OCaml library with miscellaneous utility functions
libcf-ocaml-dev - OCaml library with miscellaneous utility functions
Changes:
pagodacf (0.7-2) unstable; urgency=low
.
* Updated to OCaml 3.09.0.
* Compiling
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 7 Nov 2005 20:31:31 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.8-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 7 Nov 2005 00:44:13 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.8-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 5 Nov 2005 12:10:47 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.7-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 28 Oct 2005 22:48:53 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.7-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 25 Oct 2005 20:48:24 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.6.dfsg-5
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 23 Oct 2005 12:48:56 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.6.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 23 Oct 2005 16:48:15 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.6.dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 23 Oct 2005 21:36:07 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.6.dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 12 Oct 2005 23:17:40 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.1.6.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 17 Oct 2005 23:02:15 +0200
Source: penggy
Binary: penggy
Architecture: source i386
Version: 0.2.1-11
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 7 Oct 2005 21:32:22 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20050918-5
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 7 Sep 2005 20:22:54 +0200
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 7 Sep 2005 20:22:54 +0200
Source: equeue
Binary: libequeue-ocaml libequeue-gtk2-ocaml-dev libequeue-ocaml-dev
Architecture: source i386
Version: 2.1.3-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 30 Sep 2005 18:29:11 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20050918-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 30 Sep 2005 23:31:38 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20050918-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 29 Sep 2005 00:54:06 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20050918-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 18 Sep 2005 17:09:47 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20050918-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp0 - Real-time Transport Protocol
@lists.debian.org
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblablgl-ocaml - Runtime libraries for lablgl
liblablgl-ocaml-dev - an OpenGL interface for Objective Caml
Closes: 325915
Changes:
lablgl (1.01-7) unstable; urgency=low
.
[ Julien Cristau ]
* libXxf86vm is not used
they're
left in oldstable (woody) only and unmaintained. (Closes #316430)
.
[ Samuel Mimram ]
* Updated Standards-Version to 3.6.2.
* Updated the FSF address in the copyright file.
Files:
b8f85b9a6aef467afd07d59fe0202792 654 utils optional ara_1.0.10.dsc
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed-By: Samuel Mimram [EMAIL PROTECTED]
Description:
liblinphone1 - linphone web phone's library (supporting the SIP protocol)
liblinphone1-dev - linphone web phone's library (supporting the SIP protocol)
libortp0 - Real-time Transport Protocol
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 7 Sep 2005 15:24:50 +0200
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.3-7
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram [EMAIL PROTECTED]
Changed
401 - 500 of 596 matches
Mail list logo