Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
liblwt-glib-ocaml - cooperative GLib bindings for OCaml (runtime)
liblwt-glib-ocaml-dev - cooperative GLib bindings for OCaml
liblwt
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu st...@glondu.net
* Package name: babeld
Version : 0.96
Upstream Author : Juliusz Chroboczek j...@pps.jussieu.fr
* URL : http://www.pps.jussieu.fr/~jch/software/babel/
* License : MIT/X
Programming Lang
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu st...@glondu.net
* Package name: ahcpd
Version : 0.50
Upstream Author : Juliusz Chroboczek j...@pps.jussieu.fr
* URL : http://www.pps.jussieu.fr/~jch/software/ahcp/
* License : MIT/X
Programming Lang: C
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 23 Aug 2009 23:39:38 +0200
Source: grisbi
Binary: grisbi grisbi-common
Architecture: source amd64 all
Version: 0.6.0~cvs20090823-1
Distribution: experimental
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Closes: 536865
Changes:
ocsigen (1.2.0-3) unstable; urgency=low
-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Changes:
ocsigen (1.2.0-3+lwt.0) experimental; urgency=low
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml
Changes:
lwt (1.1.0+darcs20090806-1) experimental; urgency=low
.
* New upstream snapshot
- this version comes with an important API incompatibility
-By: Stephane Glondu st...@glondu.net
Description:
mlpost - Objective Caml interface to Metapost
Changes:
mlpost (0.7.1-2) unstable; urgency=low
.
* Add a patch to fix FTBFS on bytecode architectures
Checksums-Sha1:
c43cf86e451a26aaf2a32b39408c3f5132621688 1405 mlpost_0.7.1-2.dsc
-By: Stephane Glondu st...@glondu.net
Description:
mlpost - Objective Caml interface to Metapost
Changes:
mlpost (0.7.1-1) unstable; urgency=low
.
* New upstream release:
- update debian/copyright
- debian/control:
+ new dependencies: libcairo-ocaml-dev, libbitstring-ocaml-dev
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libreact-ocaml - functional reactive programming in OCaml (plugins)
libreact-ocaml-dev - functional reactive programming in OCaml
Closes: 532639
Changes:
react (0.9.0-1) unstable; urgency=low
.
* Initial release (Closes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 02 Aug 2009 22:02:40 +0200
Source: grisbi
Binary: grisbi grisbi-common
Architecture: source amd64 all
Version: 0.5.9-4
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane Glondu
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 24 Jul 2009 17:01:43 +0200
Source: pkglab
Binary: pkglab edos-distcheck
Architecture: source amd64
Version: 1.4.2-4
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu
Changed-By: Stephane Glondu st...@glondu.net
Description:
advi - an active DVI previewer and presenter
advi-examples - example presentations for Active-DVI (advi)
Closes: 515364 534020
Changes:
advi (1.6.0-14) unstable; urgency=low
.
[ Ralf Treinen ]
* Added Homepage field to debian
-By: Stephane Glondu st...@glondu.net
Description:
nurpawiki - Wiki with integrated to-do list and scheduler
Changes:
nurpawiki (1.2.2-4) unstable; urgency=low
.
* Patch upstream to build and install native plugin
* Add dependency to quilt and README.source
* Update Standards-Version
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libbitstring-ocaml - Erlang-style bitstrings for OCaml
libbitstring-ocaml-dev - Erlang-style bitstrings for OCaml
Changes:
ocaml-bitstring (2.0.0-4) unstable; urgency=low
.
[ Stephane Glondu ]
* Add patch
-BEGIN PGP SIGNED MESSAGE-
Hash: RIPEMD160
Format: 1.8
Date: Wed, 08 Jul 2009 18:12:12 +0200
Source: grisbi
Binary: grisbi grisbi-common
Architecture: source amd64 all
Version: 0.5.9-2
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane
-BEGIN PGP SIGNED MESSAGE-
Hash: RIPEMD160
Format: 1.8
Date: Wed, 08 Jul 2009 20:32:18 +0200
Source: grisbi
Binary: grisbi grisbi-common
Architecture: source amd64 all
Version: 0.5.9-3
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 04 Jul 2009 17:01:39 +0200
Source: ocaml-reins
Binary: libreins-ocaml-dev
Architecture: source amd64
Version: 0.1a-2
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu
Changed-By: Stephane Glondu st...@glondu.net
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.2-1.2-3) unstable; urgency=low
.
* Rebuild with Coq 8.2pl1
Checksums-Sha1:
64656957bbb9210c1f2da1a31d1ea712a8cada16 1327 coq-float_8.2-1.2-3.dsc
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
omake - build system with automated dependency analysis
omake-doc - documentation for OMake
Changes:
omake (0.9.8.5-3-6) unstable; urgency=low
.
* Properly strip only on native architectures
* Move to section ocaml
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Changes:
ocsigen (1.2.0-2) unstable; urgency=low
.
* Fix
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ledit - line editor for interactive programs
libledit-ocaml-dev - OCaml line editor library
Closes: 535394
Changes:
ledit (2.01-4) unstable; urgency=low
.
[ Stephane Glondu ]
* Add myself to Uploaders and DMUA
* Fix
Changed-By: Stephane Glondu st...@glondu.net
Description:
libres-ocaml-dev - OCaml library for automatically resizing contiguous data
structur
Changes:
ocaml-res (3.2.0-1) unstable; urgency=low
.
* New Upstream Version
* Use quilt to handle patches; add README.source
* Update
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface
Changed-By: Stephane Glondu st...@glondu.net
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.2-1.2-2) unstable; urgency=low
.
* Recompile with OCaml 3.11.1 ABI
* Update Standards-Version to 3.8.2
Checksums-Sha1
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Changes:
ocsigen (1.2.0-1) unstable; urgency=low
.
* New
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite3 (1.5.1-1) unstable; urgency=low
.
* New upstream release
liblablgtksourceview-ocaml-dev
Architecture: source amd64
Version: 2.12.0-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression)
libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular
Expression)
Changes:
pcre-ocaml (6.0.0-1) unstable; urgency=low
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression)
libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular
Expression)
Changes:
pcre-ocaml (6.0.1-1) unstable; urgency=low
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 28 Jun 2009 11:10:13 +0200
Source: camlp5
Binary: camlp5
Architecture: source amd64
Version: 5.12-1
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu st...@glondu.net
-By: Stephane Glondu st...@glondu.net
Description:
mlpost - Objective Caml interface to Metapost
Changes:
mlpost (0.6-3) unstable; urgency=low
.
* Add dependency to context (needed for mp-tool.mp)
* Update Standards-Version to 3.8.2
* debian/rules: use ocaml.mk as a rules file
Checksums
Version: 3.11.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml
Version: 3.11.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libtext-ocaml - runtime libraries of OCaml-Text
libtext-ocaml-dev - library for dealing with sequences of Unicode characters
Closes: 534112
Changes:
ocaml-text (0.2-2) unstable; urgency=low
.
* Add dependency to libtext
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu st...@glondu.net
* Package name: react
Version : 0.9.0
Upstream Author : Daniel C. Bünzli daniel.buen...@erratique.ch
* URL : http://erratique.ch/software/react
* License : BSD
Programming Lang: OCaml
-By: Stephane Glondu st...@glondu.net
Description:
pycaml - OCaml bindings to embed Python interpreter and objects
Closes: 482917 531806
Changes:
pycaml (0.82-10) unstable; urgency=low
.
[ Stephane Glondu ]
* Add myself to Uploaders and DM-Upload-Allowed
* Use quilt instead of dpatch
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite3 (1.4.0-2) unstable; urgency=low
.
[ Stefano Zacchiroli
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libtext-ocaml - runtime libraries of OCaml-Text
libtext-ocaml-dev - library for dealing with sequences of Unicode characters
Closes: 527906
Changes:
ocaml-text (0.2-1) unstable; urgency=low
.
* Initial release (Closes
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime
libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml -
development
Closes: 527816
Changes:
cryptokit (1.3-13) unstable
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu st...@glondu.net
* Package name: ocaml-text
Version : 0.2
Upstream Author : Jeremie Dimino jere...@dimino.org
* URL : http://ocaml-text.forge.ocamlcore.org/
* License : BSD-C3
Programming Lang: C, OCaml
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libzip-ocaml - OCaml compression libraries (runtime libraries)
libzip-ocaml-dev - OCaml compression libraries (development files)
Closes: 524017
Changes:
camlzip (1.04-4) unstable; urgency=low
.
* Install zip.a along
Changed-By: Stephane Glondu st...@glondu.net
Description:
omake - build system with automated dependency analysis
omake-doc - documentation for OMake
Closes: 505045 522008
Changes:
omake (0.9.8.5-3-5) unstable; urgency=low
.
* Add DM-Upload-Allowed
* Switch copyright to new format
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libzip-ocaml - OCaml compression libraries (runtime libraries)
libzip-ocaml-dev - OCaml compression libraries (development files)
Changes:
camlzip (1.04-3) unstable; urgency=low
.
* Add myself to Uploaders and DMUA
* Move
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libcryptokit-ocaml - cryptographic algorithm library for OCaml - runtime
libcryptokit-ocaml-dev - cryptographic algorithm library for OCaml -
development
Changes:
cryptokit (1.3-11) unstable; urgency=low
.
* Add
-By: Stephane Glondu st...@glondu.net
Description:
nurpawiki - Wiki with integrated to-do list and scheduler
Changes:
nurpawiki (1.2.2-3) unstable; urgency=low
.
* Add debian/gbp.conf to force use of pristine-tar
* Update Standards-Version to 3.8.1 (no changes)
Checksums-Sha1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 22 Mar 2009 13:05:41 +0100
Source: mumudvb
Binary: mumudvb
Architecture: source amd64
Version: 1.5.4-1
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane Glondu st...@glondu.net
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 08 Feb 2009 13:04:13 +0100
Source: mlpost
Binary: mlpost
Architecture: source amd64
Version: 0.6-1
Distribution: experimental
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu st
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 22 Mar 2009 14:05:13 +0100
Source: mlpost
Binary: mlpost
Architecture: source amd64
Version: 0.6-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 15 Mar 2009 11:38:22 +0100
Source: grisbi
Binary: grisbi grisbi-common
Architecture: source i386 all
Version: 0.5.9-1
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane Glondu
Changed-By: Stephane Glondu st...@glondu.net
Description:
libres-ocaml-dev - OCaml library for automatically resizing contiguous data
structur
Changes:
ocaml-res (3.1.1-2) unstable; urgency=low
.
* Update upstream patch to make it work on bytecode archs
Checksums-Sha1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sun, 15 Mar 2009 13:36:42 +0100
Source: ocaml-res
Binary: libres-ocaml-dev
Architecture: source amd64
Version: 3.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu st
-By: Stephane Glondu st...@glondu.net
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.2-1.2-1) unstable; urgency=low
.
[ Samuel Mimram ]
* Switch packaging to git.
* Enforce strict dependency on coq ABI.
* Update standards version
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Changes:
ocsigen (1.1.0-2) unstable; urgency=low
.
[ Samuel
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocamlduce - OCaml extended with XML types
Changes:
ocamlduce (3.11.0.0~rc1-2) unstable; urgency=low
.
* First upload to unstable
* Use ocamlinit from dh-ocaml
Checksums-Sha1:
a0b62ba7600bc00a6324efa7b26a8dae3778d515 1368
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocamlduce - OCaml extended with XML types
Closes: 469460
Changes:
ocamlduce (3.11.0.0~rc1-1) experimental; urgency=low
.
* Initial release (Closes: #469460)
Checksums-Sha1:
726b76c03ee2b12f3886876d84a462627195260e 1350
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 03 Mar 2009 23:31:49 +0100
Source: ocaml-csv
Binary: libcsv-ocaml-dev csvtool
Architecture: source amd64
Version: 1.1.7-1
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane
-By: Stephane Glondu st...@glondu.net
Description:
liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml
Changes:
lwt (1.1.0-3) unstable; urgency=low
.
* Add dependency on dh-ocaml
* Use ocaml.mk as rules file, instead of class
* Bump version of libssl-ocaml-dev
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libpam-ocaml - OCaml bindings for the PAM library
libpam-ocaml-dev - OCaml bindings for the PAM library (development files)
Changes:
ocamlpam (1.1-3) unstable; urgency=low
.
* Add dh-ocaml as build-dependency
* Use ocaml.mk
-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libperl4caml-ocaml - Use Perl code in OCaml programs, runtime library
libperl4caml-ocaml-dev - Use Perl code in OCaml programs, development files
libperl4caml-ocaml-doc - Use Perl code
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libperl4caml-ocaml - Use Perl code in OCaml programs, runtime library
libperl4caml-ocaml-dev - Use Perl code in OCaml programs, development files
libperl4caml-ocaml-doc - Use Perl code
Version: 3.11.0-4
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml
Version: 3.11.0-3
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 17 Feb 2009 15:31:22 +0100
Source: dh-ocaml
Binary: dh-ocaml
Architecture: source all
Version: 0.2
Distribution: experimental
Urgency: low
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu st
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Mon, 16 Feb 2009 00:43:24 +0100
Source: mumudvb
Binary: mumudvb
Architecture: source i386
Version: 1.5.3-2
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane Glondu st...@glondu.net
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface
-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu st...@glondu.net
* Package name: mlpost
Version : 0.5
Upstream Author : Jean-Christophe Filliâtre (and others)
* URL : http://mlpost.lri.fr/
* License : LGPL + OCaml linking exception
Programming Lang
liblablgtksourceview-ocaml-dev
Architecture: source amd64
Version: 2.10.1-3
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
liblablgtk2-gl-ocaml - runtime libraries for OCaml bindings
-By: Stephane Glondu st...@glondu.net
Description:
hevea - translates from LaTeX to HTML, info, or text
Changes:
hevea (1.10-6) experimental; urgency=low
.
* Rebuild with OCaml 3.11.0
* Add myself to Uploaders
Checksums-Sha1:
2adbbbdee3b3f8d4edd966f56296c8014b8bff86 1465 hevea_1.10-6.dsc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 13 Jan 2009 18:19:05 +0100
Source: omake
Binary: omake
Architecture: source amd64
Version: 0.9.8.5-3-4
Distribution: unstable
Urgency: high
Maintainer: Stefano Zacchiroli z...@debian.org
Changed-By: Stephane Glondu st
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 09 Dec 2008 22:09:47 +0100
Source: mumudvb
Binary: mumudvb
Architecture: source amd64
Version: 1.5.3-1
Distribution: experimental
Urgency: low
Maintainer: Stephane Glondu st...@glondu.net
Changed-By: Stephane Glondu st
...@lists.debian.org
Changed-By: Stephane Glondu st...@glondu.net
Description:
libpcre-ocaml - OCaml bindings for PCRE (Perl Compatible Regular Expression)
libpcre-ocaml-dev - OCaml bindings for PCRE (Perl Compatible Regular
Expression)
Changes:
pcre-ocaml (5.15.1-1) experimental; urgency=low
-By: Stephane Glondu st...@glondu.net
Description:
camlp5 - Pre Processor Pretty Printer for OCaml - classical version
Closes: 507884
Changes:
camlp5 (5.10-1) experimental; urgency=low
.
* New upstream release, compatible with OCaml 3.11.0 (Closes: #507884)
* Switch packaging to git
* Add
Changed-By: Stephane Glondu st...@glondu.net
Description:
ocaml-findlib - Management tool for OCaml programming language libraries
Changes:
findlib (1.2.3-1) experimental; urgency=low
.
* New Upstream Version
* Add README.source
* Update Standards-Version to 3.8.0
* Add myself
-By: Stephane Glondu st...@glondu.net
Description:
nurpawiki - Wiki with integrated to-do list and scheduler
Changes:
nurpawiki (1.2.2-2) experimental; urgency=low
.
* Fix generation of OCaml ABI dependency
Checksums-Sha1:
e5c723e020578942dd74fd75867eb9cc2d29a386 1355 nurpawiki_1.2.2-2.dsc
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu [EMAIL PROTECTED]
* Package name: ssreflect
Version : 1.1
Upstream Author : Georges Gonthier (Microsoft Research - Inria Joint Centre)
* URL : http://www.msr-inria.inria.fr/Projects/math-components
* License
Version: 3.11.0-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED]
Changed-By: Stephane Glondu [EMAIL PROTECTED]
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml - extras
ocaml
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 14 Nov 2008 13:40:40 +0100
Source: nurpawiki
Binary: nurpawiki
Architecture: source amd64
Version: 1.2.2-1
Distribution: experimental
Urgency: low
Maintainer: Stefano Zacchiroli [EMAIL PROTECTED]
Changed-By: Stephane Glondu
Version: 3.11.0~beta1-1
Distribution: experimental
Urgency: low
Maintainer: Stefano Zacchiroli [EMAIL PROTECTED]
Changed-By: Stephane Glondu [EMAIL PROTECTED]
Description:
camlp4 - Pre Processor Pretty Printer for OCaml
camlp4-extra - Pre Processor Pretty Printer for OCaml - extras
ocaml
-By: Stephane Glondu [EMAIL PROTECTED]
Description:
libssl-ocaml - OCaml bindings for OpenSSL
libssl-ocaml-dev - OCaml bindings for OpenSSL
Closes: 500591
Changes:
ocaml-ssl (0.4.2-4) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu [EMAIL PROTECTED]
* Package name: nurpawiki
Version : 1.2.1
Upstream Author : Janne Hellsten [EMAIL PROTECTED]
* URL : http://code.google.com/p/nurpawiki/
* License : GPL-2+
Programming Lang: OCaml
-By: Stephane Glondu [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: 495165
Changes:
coq (8.2~beta4
-By: Stephane Glondu [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.2~beta4+dfsg-1
-By: Stephane Glondu [EMAIL PROTECTED]
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Changes:
ocsigen (1.1.0-1) unstable; urgency=low
.
* New upstream release
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 23 Jul 2008 15:40:29 +0200
Source: camlpdf
Binary: libcamlpdf-ocaml-dev
Architecture: source amd64
Version: 0.3-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED]
Changed-By: Stephane
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 11 Jul 2008 13:20:06 +0200
Source: lwt
Binary: liblwt-ocaml-dev
Architecture: source i386
Version: 1.1.0-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED]
Changed-By: Stephane Glondu
]
Changed-By: Stephane Glondu [EMAIL PROTECTED]
Description:
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
Closes: 485566
Changes:
ocsigen (1.1.0~rc1-1) unstable; urgency=low
.
* New
-By: Stephane Glondu [EMAIL PROTECTED]
Description:
libapache-authcookie-perl - Apache/mod_perl Authentication and Authorization
via cookies
Closes: 424493
Changes:
libapache-authcookie-perl (3.10-1.1) unstable; urgency=low
.
* Non-maintainer upload.
* Fix FTBFS if built twice in a row
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 27 Jun 2008 00:47:45 +0200
Source: lwt
Binary: liblwt-ocaml-dev
Architecture: source amd64
Version: 1.1.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED]
Changed-By: Stephane Glondu
-By: Stephane Glondu [EMAIL PROTECTED]
Description:
libpam-ocaml - OCaml bindings for the PAM library
libpam-ocaml-dev - OCaml bindings for the PAM library
Changes:
ocamlpam (1.1-2) unstable; urgency=low
.
* Patch upstream Makefile (install target) to fix FTBFS on non-
native architectures
-By: Stephane Glondu [EMAIL PROTECTED]
Description:
libpam-ocaml - OCaml bindings for the PAM library
libpam-ocaml-dev - OCaml bindings for the PAM library
Closes: 476482
Changes:
ocamlpam (1.1-1) unstable; urgency=low
.
* Initial release (Closes: #476482)
Checksums-Sha1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 21 Jun 2008 12:14:12 +0200
Source: net-acct
Binary: net-acct
Architecture: source amd64
Version: 0.71-8
Distribution: unstable
Urgency: low
Maintainer: Stephane Glondu [EMAIL PROTECTED]
Changed-By: Stephane Glondu [EMAIL
]
Changed-By: Stephane Glondu [EMAIL PROTECTED]
Description:
libsqlite3-ocaml - Embeddable SQL Database for OCaml Programs
libsqlite3-ocaml-dev - Embeddable SQL Database for OCaml Programs
Changes:
ocaml-sqlite3 (1.2.0-1) unstable; urgency=low
.
* New upstream release.
Checksums-Sha1
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu [EMAIL PROTECTED]
* Package name: mumudvb
Version : 1.2.5
Upstream Author : Brice Dubost [EMAIL PROTECTED]
* URL : http://mumudvb.braice.net
* License : GPL
Programming Lang: C
Description
Package: wnpp
Severity: wishlist
Owner: Stephane Glondu [EMAIL PROTECTED]
* Package name: ocamlpam
Version : 1.0
Upstream Author : Sharvil Nanavati [EMAIL PROTECTED]
* URL : http://sharvil.nanavati.net/projects/ocamlpam/
* License : MIT
Programming Lang: C
PROTECTED]
Changed-By: Stephane Glondu [EMAIL PROTECTED]
Description:
liblwt-ocaml-dev - Cooperative light-weight thread library for OCaml
ocsigen- Web server and programming framework in OCaml
ocsigen-dev - Development files for Ocsigen
ocsigen-doc - Developer's documentation for Ocsigen
1 - 100 of 105 matches
Mail list logo