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 ... 394
Topics (13789)
Replies Last Post Views
Bug#895104: marked as done (why3: skip cvc4 autopkgtest on architectures without cvc4) by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
why3_0.88.3-3_source.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
Processing of why3_0.88.3-3_source.changes by Debian FTP Masters
0
by Debian FTP Masters
Processed: tagging 895104 by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
why3 is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
why is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
Processed: Bug #900118 in opam marked as pending by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
apron is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
Unison rebuild by Leopold Palomo-Avell...
2
by Leopold Palomo-Avell...
opam-file-format_2.0.0~rc2-1_amd64.changes is NEW by Debian FTP Masters
0
by Debian FTP Masters
Processing of opam-file-format_2.0.0~rc2-1_amd64.changes by Debian FTP Masters
0
by Debian FTP Masters
Processed: fixed 894088 in jbuilder/1.0~beta20-1 by Debian Bug Tracking ...
0
by Debian Bug Tracking ...
Fixing Gringo in testing by Mehdi Dogguy-3
2
by Mehdi Dogguy-3
ocaml-atd_1.12.0-1_amd64.changes ACCEPTED into unstable by Debian FTP Masters
0
by Debian FTP Masters
Processing of ocaml-atd_1.12.0-1_amd64.changes by Debian FTP Masters
0
by Debian FTP Masters
ocaml-atd_1.12.0-1_amd64.changes REJECTED by Debian FTP Masters
0
by Debian FTP Masters
Processing of ocaml-atd_1.12.0-1_amd64.changes by Debian FTP Masters
0
by Debian FTP Masters
Re: Bug#869114: status of the topkg package by Hendrik Tews-5
0
by Hendrik Tews-5
ocaml-ctypes is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
nproc is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
variantslib is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
dose3 is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
lambda-term is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
fieldslib is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
zed is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
lwt is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
bin-prot is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
utop is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
react is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
reactivedata is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
js-build-tools is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
opam is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
ocaml-usb is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
ocaml-sqlexpr is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
obus is marked for autoremoval from testing by Debian testing autor...
0
by Debian testing autor...
1234 ... 394