-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 10 Oct 2007 10:53:14 +
Source: ocaml-curses
Binary: libcurses-ocaml-dev libcurses-ocaml
Architecture: source i386
Version: 1.0.2-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 15 Oct 2007 18:42:56 +
Source: ocamlmakefile
Binary: ocamlmakefile
Architecture: source all
Version: 6.26.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By:
ged-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)
Closes: 446170
Changes:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 17 Oct 2007 20:06:24 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.3.4-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
hanged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Changes:
mldonkey (2.9.2-1) experimental; urgency=low
.
* New upstream release.
Files:
3483059cb00d183230b
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 11 Nov 2007 16:45:59 +
Source: exmap
Binary: exmap-modules-source exmap
Architecture: source i386 all
Version: 0.10-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 07 Nov 2007 10:36:15 +
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.99.3-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 02 Nov 2010 14:34:06 +
Source: dssi-vst
Binary: dssi-vst
Architecture: source amd64
Version: 0.9.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram
Changed-By: Samuel Mimram
Description:
dssi-vst
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 23 Dec 2009 19:50:44 +0100
Source: dssi-vst
Binary: dssi-vst
Architecture: source i386
Version: 0.8-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram
Changed-By: Samuel Mimram
Description:
dssi-vst - Adapter
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 03 Jan 2010 18:13:48 +0100
Source: dssi-vst
Binary: dssi-vst
Architecture: source i386
Version: 0.8-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram
Changed-By: Samuel Mimram
Description:
dssi-vst - Adapter
Changed-By: Samuel Mimram
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 552326
Changes:
apron (0.9.10-1) unstable; urgency=low
Changed-By: Samuel Mimram
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Changes:
apron (0.9.10-2) unstable; urgency=low
.
* Enable
Changed-By: Samuel Mimram
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 556636
Changes:
apron (0.9.10-3) unstable; urgency=low
Changed-By: Samuel Mimram
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 558838
Changes:
apron (0.9.10-4) unstable; urgency=low
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 18 Mar 2008 20:27:10 +0100
Source: xmoto
Binary: xmoto xmoto-data
Architecture: source all i386
Version: 0.4.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
TED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Closes: 464440
Changes:
ocaml-sqlite3 (1.0.0-1) unstable; urgency=low
.
[ Samuel Mimra
AIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite3 (0.21.0-1) unstable; urgency=low
.
[ Enrico Tassi ]
* New upst
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 22 Jun 2007 19:32:08 +0200
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 22 Jun 2007 19:37:09 +0200
Source: ocaml-shout
Binary: libshout-ocaml-dev libshout-ocaml
Architecture: source i386
Version: 0.2.3-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 22 Jun 2007 19:41:44 +0200
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
hanged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
liguidsoap - control GUI for liquidsoap
liquidsoap - audio streaming language
Changes:
liquidsoap (0.3.3-1) unstable; urgency=low
.
* New upstream release.
* Using dpatch to handle patches.
* Added ocamldoc.dpatch in order
hanged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
liguidsoap - control GUI for liquidsoap
liquidsoap - audio streaming language
Closes: 430509
Changes:
liquidsoap (0.3.3-2) unstable; urgency=low
.
* Added no-ocamlopt.dpatch in order to correcly build on non-native archs,
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 26 Jun 2007 17:11:01 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.3.0-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 30 Jun 2007 17:05:38 +0200
Source: libsndfile
Binary: libsndfile1 libsndfile1-dev sndfile-programs
Architecture: source i386
Version: 1.0.17-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTEC
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 03 Jul 2007 21:40:25 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 04 Jul 2007 10:49:01 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 12 Jul 2007 14:02:50 +0200
Source: ocaml-tools
Binary: ocaml-tools
Architecture: source all
Version: 2007.06.24-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 13 Jul 2007 10:54:57 +0200
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.4.2-2
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 15 Jul 2007 22:42:53 +
Source: mysql-ocaml
Binary: libmysql-ocaml-dev libmysql-ocaml
Architecture: source i386
Version: 1.0.4-3
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 18 Jul 2007 09:51:13 +0200
Source: cairo-ocaml
Binary: libcairo-ocaml-dev libcairo-ocaml
Architecture: source i386
Version: 20070306-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-3
Distribution: unstable
Urgency: low
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 (suppo
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 18 Jul 2007 15:10:38 +0200
Source: advi
Binary: advi advi-examples
Architecture: source i386 all
Version: 1.6.0-13
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By:
ged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
libocamlodbc-ocaml-dev - UnixODBC database bindings for OCaml
Changes:
ocamlodbc (2.15-1) unstable; urgency=low
.
* New upstream release.
* Refreshed makefile.dpatch.
* Don't ignore errors on clean.
Files:
aafec1dfce78ff0afed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 27 Feb 2007 00:20:13 +0100
Source: penggy
Binary: penggy
Architecture: source i386
Version: 0.2.1-15
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 28 Feb 2007 19:49:34 +0100
Source: menhir
Binary: menhir
Architecture: source i386
Version: 20070215.dfsg-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 2 Mar 2007 20:11:10 +0100
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.6.0~rc1-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 3 Mar 2007 17:27:46 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.2.6-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 6 Mar 2007 23:40:20 +0100
Source: camlzip
Binary: libzip-ocaml libzip-ocaml-dev
Architecture: source i386
Version: 1.03-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-1
Distribution: experimental
Urgency: low
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 libra
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 8 Mar 2007 22:28:33 +0100
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.6.0~rc1-2
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
: Samuel Mimram <[EMAIL PROTECTED]>
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Closes: 411365
Changes:
ocaml-sqlite3 (0.13.0-1) unstable; urgency=low
.
* Changed upstream, we are now using
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 28 Feb 2007 18:47:42 +0100
Source: ocamlodbc
Binary: libocamlodbc-ocaml-dev
Architecture: source i386
Version: 2.12-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 12 Feb 2007 19:59:20 +0100
Source: xmoto-edit
Binary: xmoto-edit
Architecture: source i386
Version: 0.2.4-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 15 Mar 2007 00:02:12 +0100
Source: penggy
Binary: penggy
Architecture: source i386
Version: 0.2.1-16
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, 16 Mar 2007 18:24:50 +0100
Source: ocaml-mad
Binary: libmad-ocaml-dev libmad-ocaml
Architecture: source i386
Version: 0.3.0-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Mar 2007 18:30:03 +0100
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.4.1-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Mar 2007 18:27:53 +0100
Source: ocaml-vorbis
Binary: libvorbis-ocaml-dev libvorbis-ocaml
Architecture: source i386
Version: 0.3.0-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
C
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Mar 2007 18:35:43 +0100
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.2.7-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 13 Mar 2007 19:09:49 +0100
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.6.0-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: Sun, 18 Mar 2007 14:05:26 +0100
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.8.3-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 22 Mar 2007 00:09:53 +0100
Source: ledit
Binary: ledit
Architecture: source all
Version: 1.13-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram <[EMAIL PROTEC
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 23 Mar 2007 00:14:31 +0100
Source: menhir
Binary: menhir
Architecture: source i386
Version: 20070322.dfsg-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 18 Mar 2007 13:21:56 +0100
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 01 Apr 2007 23:58:37 +0200
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.8.4-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 02 Apr 2007 09:12:54 +0200
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.8.4-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 07 Apr 2007 01:36:51 +0200
Source: libsamplerate
Binary: samplerate-programs libsamplerate0 libsamplerate0-dev
Architecture: source i386
Version: 0.1.2-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 07 Apr 2007 13:07:14 +0200
Source: libsndfile
Binary: libsndfile1 libsndfile1-dev sndfile-programs
Architecture: source i386
Version: 1.0.17-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTEC
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 08 Apr 2007 19:02:54 +0200
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.4.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 09 Apr 2007 16:48:46 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1+dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 09 Apr 2007 17:21:10 +0200
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.1-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-2
Distribution: unstable
Urgency: low
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 (suppo
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 09 Apr 2007 17:53:02 +0200
Source: menhir
Binary: menhir
Architecture: source i386
Version: 20070322.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, 08 Apr 2007 22:36:21 +0200
Source: ocaml-dtools
Binary: libdtools-ocaml-dev
Architecture: source i386
Version: 0.1.3-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 23 Nov 2006 22:11:52 +
Source: ocaml-dtools
Binary: libdtools-ocaml-dev
Architecture: source i386
Version: 0.1.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel
-1
Distribution: unstable
Urgency: low
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 (suppo
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 20 Nov 2006 20:55:08 +0100
Source: ocaml-ssl
Binary: libssl-ocaml libssl-ocaml-dev
Architecture: source i386
Version: 0.4.0-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 21 Nov 2006 21:24:39 +
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.5.0~rc1-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 21 Nov 2006 13:33:55 +
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 23 Nov 2006 21:23:47 +
Source: advi
Binary: advi advi-examples
Architecture: source i386 all
Version: 1.6.0-11
Distribution: unstable
Urgency: high
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 23 Nov 2006 14:27:15 +
Source: coq
Binary: coqide coq-libs coq
Architecture: source i386 all
Version: 8.1~gamma-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 23 Nov 2006 10:48:54 +
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.8.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 23 Jul 2007 14:25:32 +0200
Source: menhir
Binary: menhir
Architecture: source i386
Version: 20070520-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: Mon, 23 Jul 2007 14:39:46 +0200
Source: sdl-ttf2.0
Binary: libsdl-ttf2.0-dev libsdl-ttf2.0-0
Architecture: source i386
Version: 2.0.9-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
hanged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
liguidsoap - control GUI for liquidsoap
liquidsoap - audio streaming language
Changes:
liquidsoap (0.3.3-3) unstable; urgency=low
.
* Added liguidsoap.dpatch in order for liguidsoap not to crash on startup.
* Removed no more
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 08 Aug 2007 09:47:17 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.04.dfsg-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: Thu, 09 Aug 2007 10:41:01 +0200
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.8-3
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
ged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK
mldonkey-server - Door to the 'donkey' network
Closes: 435439 437308
Changes:
mldonkey (2.9.0-1) unstable; urgency=low
.
[ Samuel Mimram ]
* New upstream r
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 07 Aug 2007 12:47:56 +0200
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.3.2-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
ged-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.1.pl1+dfsg
ged-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.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 10 Aug 2007 14:48:56 +
Source: coq-float
Binary: libfloat-coq
Architecture: source i386
Version: 2001-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, 27 Aug 2007 12:57:15 +0200
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.99.2-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: Thu, 14 Feb 2008 21:36:29 +0100
Source: xmoto
Binary: xmoto xmoto-data
Architecture: source all i386
Version: 0.4.1-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-1
Distribution: unstable
Urgency: low
Maintainer: Debian VoIP Team <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
liblinphone2 - linphone's shared library part (supporting the SIP protocol)
liblinphone2-dev - linphone web phone's libra
ged-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
mldonkey-gui - Graphical frontend for mldonkey based on GTK+
mldonkey-server - Door to the 'donkey' network
Closes: 439030 440551
Changes:
mldonkey (2.9.4-1) unstable; urgency=low
.
* New upstream release.
* Rebuil
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 28 Nov 2006 23:55:52 +
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.8.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 21 Nov 2006 21:58:25 +
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.5.0-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: Sun, 17 Dec 2006 14:29:12 +
Source: xjump
Binary: xjump
Architecture: source i386
Version: 2.7.5-4
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, 17 Dec 2006 16:49:34 +
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.5.1-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: Mon, 18 Dec 2006 09:41:22 +
Source: ocsigen
Binary: ocsigen
Architecture: source i386
Version: 0.5.1-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, 22 Dec 2006 17:53:35 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.2.3-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 23 Dec 2006 13:04:49 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.2.4-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram &
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
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-base-nox - Runtime syst
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 25 Dec 2006 23:17:31 +
Source: sysprof
Binary: sysprof sysprof-module-source
Architecture: source i386
Version: 1.0.8-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 5 Jan 2007 18:16:24 +
Source: xmoto
Binary: xmoto-data xmoto
Architecture: source i386 all
Version: 0.2.4-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, 7 Jan 2007 20:18:31 +0100
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.1~gamma-1
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 30 Aug 2006 19:30:12 +
Source: midish
Binary: midish
Architecture: source i386
Version: 0.2.5-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: Sun, 10 Sep 2006 22:39:10 +
Source: mldonkey
Binary: mldonkey-gui mldonkey-server
Architecture: source i386
Version: 2.7.7-10
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Samuel Mimram
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers
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-base-nox - Runtime
: Sylvain Le Gall <[EMAIL PROTECTED]>
Changed-By: Samuel Mimram <[EMAIL PROTECTED]>
Description:
cameleon - integrated development environment for OCaml
cameleon-doc - documentation for Cameleon
libcameleon-ocaml-dev - OCaml library to display LablGTK dialog boxes
ocaml-dbforge
201 - 300 of 600 matches
Mail list logo