debian-ocaml-maint

This forum is an archive for the mailing list debian-ocaml-maint@lists.debian.org (more options) Messages posted here will be sent to this mailing list.
Packaging of Objective Caml programs and libraries. (http://pauillac.inria.fr/caml/)
1234 ... 463
Topics (16180)
Replies Last Post Views
Processed: limit source to coq, tagging 920589, tagging 794130 by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
pycaml is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
[Git][ocaml-team/coccinelle][master] 3 commits: New upstream version 1.0.8.deb by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coccinelle][pristine-tar] pristine-tar data for coccinelle_1.0.8.deb.orig.tar.gz by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coccinelle][upstream] New upstream version 1.0.8.deb by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coccinelle] Pushed new tag upstream/1.0.8.deb by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.10.1.orig.tar.gz by Sven Joachim-6
0
by Sven Joachim-6
pyml_20190626-1_amd64.changes is NEW by Debian FTP Masters
0
by Debian FTP Masters
Processed: Re: Bug#937400: pycaml: Python2 removal in sid/bullseye by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
Processing of pyml_20190626-1_amd64.changes by Debian FTP Masters
0
by Debian FTP Masters
Bug#944593: marked as done (FTBFS with OCaml 4.08.1 (Unbound module Odoc_html.StringSet)) by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
pxp_1.2.9-2_source.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
Processing of pxp_1.2.9-2_source.changes by Debian FTP Masters
0
by Debian FTP Masters
[Git][ocaml-team/pxp] Pushed new tag debian/1.2.9-2 by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/pxp] Pushed new tag archive/debian/1.2.9-2 by Sven Joachim-6
0
by Sven Joachim-6
Bug#944204: marked as done (coq: Updating ocaml to 4.08.1-2 removes coq) by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
Bug#945016: Removed package(s) from unstable by Debian FTP Masters
0
by Debian FTP Masters
Re: Bug#941907: transition: ocaml by St├ęphane Glondu-3
7
by Paul Gevers-4
[Git][ocaml-team/coq] Pushed new branch 8.10/debian by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coq] Pushed new tag upstream/8.10.1 by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/coq] Pushed new branch 8.10/upstream by Sven Joachim-6
0
by Sven Joachim-6
ssreflect_1.9.0+dfsg-2_source.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
Processing of ssreflect_1.9.0+dfsg-2_source.changes by Debian FTP Masters
0
by Debian FTP Masters
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.9.0+dfsg-2 by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/ssreflect] Pushed new tag archive/debian/1.9.0+dfsg-2 by Sven Joachim-6
0
by Sven Joachim-6
camlpdf is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
utop_2.4.2-1_source.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
Processing of utop_2.4.2-1_source.changes by Debian FTP Masters
0
by Debian FTP Masters
[Git][ocaml-team/utop][upstream] 9 commits: New upstream version 2.0.0 by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/utop][pristine-tar] 9 commits: pristine-tar data for utop_2.0.0.orig.tar.gz by Sven Joachim-6
0
by Sven Joachim-6
[Git][ocaml-team/utop][master] 16 commits: Update Homepage and debian/watch by Sven Joachim-6
0
by Sven Joachim-6
Processed: tagging 944601 by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
spamoracle is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
[Git][ocaml-team/camlpdf] Pushed new tag debian/2.3-2 by Sven Joachim-6
0
by Sven Joachim-6
camlpdf_2.3-2_source.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
1234 ... 463