debian-ocaml-maint Jul 2009 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Processing of ocaml-res_3.2.0-1_amd64.changes Archive Administrator
Re: Binary NMUs... Mehdi Dogguy
ocaml-res_3.2.0-1_amd64.changes ACCEPTED Archive Administrator
Bug#535320: coq: Coq not available with ocaml 3.11.1 Jean-Christophe Dubacq
Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 535320 Debian Bug Tracking System
Processing of coq_8.2-1+dfsg-2_amd64.changes Archive Administrator
coq_8.2-1+dfsg-2_amd64.changes ACCEPTED Archive Administrator
Accepted coq 8.2-1+dfsg-2 (source all amd64) Stephane Glondu
Bug#524037: marked as done (libcoq-ocaml-dev: homepage address duplicated into long description) Debian Bug Tracking System
Processing of coq-float_8.2-1.2-2_amd64.changes Archive Administrator
coq-float_8.2-1.2-2_amd64.changes ACCEPTED Archive Administrator
Processing of ocsigen_1.2.0-1_amd64.changes Archive Administrator
ocsigen_1.2.0-1_amd64.changes ACCEPTED Archive Administrator
Bug#535394: ledit: bashism in debian/rules Raphael Geissert
Bug#535412: numerix: bashism in debian/rules Raphael Geissert
RFS: updated ledit Stéphane Glondu
Processed: setting package to libledit-ocaml-dev ledit, tagging 535394 Debian Bug Tracking System
Processing of spamoracle_1.4-14_amd64.changes Archive Administrator
Processing of ocsigen_1.2.0-2_amd64.changes Archive Administrator
Processing of ledit_2.01-4_amd64.changes Archive Administrator
RFS: camlimages Mehdi Dogguy
spamoracle_1.4-14_amd64.changes ACCEPTED Archive Administrator
ocsigen_1.2.0-2_amd64.changes ACCEPTED Archive Administrator
ledit_2.01-4_amd64.changes ACCEPTED Archive Administrator
Processing of ocaml-bitstring_2.0.0-1_amd64.changes Archive Administrator
Processing of camomile_0.7.2-1_amd64.changes Archive Administrator
How to Talk Dirty to a Guy -- The Real Trruth Revealed Bleacher Lanie
camomile_0.7.2-1_amd64.changes ACCEPTED Archive Administrator
ocaml-bitstring_2.0.0-1_amd64.changes is NEW Archive Administrator
Bug#535522: mldonkey-server: Missing libbz2-dev in Build-Depends -> no bittorrent Petr Malát
Bug#535522: mldonkey-server: bittorrent and directconnect mistaken Petr Malát
Sexual Mistakes -- 8 Common Ones uGys Make Brodess
Top 100 Waays to Satisfy Her Myrick
Processed: Re: Bug#535522: mldonkey-server: Missing libbz2-dev in Build-Depends -> no bittorrent Debian Bug Tracking System
How to Please a Womaan: Few Main Techniques and Pjroducts Dippolito
Re: [Caml-list] Camlimages integer overflows with PNG images Stefano Zacchiroli
liquidsoap 0.9.1-1 MIGRATED to testing Debian testing watch
Processed: retitle 535522 to Missing libbz2-dev in Build-Depends needed to activate DirectConnect Debian Bug Tracking System
Processed: tagging 422917 Debian Bug Tracking System
Bug#535675: camlimages: FTBFS: can't parse dependency dh-ocaml (>= 0.4.1) Kurt Roeckx
Processed: setting package to libcamlimages-ocaml libcamlimages-ocaml-dev libcamlimages-ocaml-doc camlimages ... Debian Bug Tracking System
Processing of coq_8.2.pl1+dfsg-1_amd64.changes Archive Administrator
Processing of coq-float_8.2-1.2-3_amd64.changes Archive Administrator
coq-float_8.2-1.2-3_amd64.changes ACCEPTED Archive Administrator
coq_8.2.pl1+dfsg-1_amd64.changes ACCEPTED Archive Administrator
Accepted coq 8.2.pl1+dfsg-1 (source all amd64) Stephane Glondu
Processing of omake_0.9.8.5-3-6_amd64.changes Archive Administrator
omake override disparity Archive Administrator
omake_0.9.8.5-3-6_amd64.changes ACCEPTED Archive Administrator
ocaml-bitstring_2.0.0-1_amd64.changes ACCEPTED Archive Administrator
Processing of mldonkey_3.0.0-3_i386.changes Archive Administrator
Bug#534516: marked as done (mldonkey-server: ucf called incorrectly; complains) Debian Bug Tracking System
Processed: Re: Bug#534516: mldonkey-server: ucf called incorrectly; complains Debian Bug Tracking System
mldonkey_3.0.0-3_i386.changes ACCEPTED Archive Administrator
Bug#524447: marked as done ([INTL:es] Spanish debconf template translation for mldonkey) Debian Bug Tracking System
Bug#530141: marked as done (mldonkey-server: bashism in /bin/sh script) Debian Bug Tracking System
Processing of ocaml-bitstring_2.0.0-2_amd64.changes Archive Administrator
Processing of camlimages_3.0.1-2_amd64.changes Archive Administrator
ocaml-bitstring_2.0.0-2_amd64.changes ACCEPTED Archive Administrator
camlimages_3.0.1-2_amd64.changes ACCEPTED Archive Administrator
Processing of ocaml-bitstring_2.0.0-3_amd64.changes Archive Administrator
ocaml-bitstring_2.0.0-3_amd64.changes ACCEPTED Archive Administrator
Processing of laby_0.5.1-1_i386.changes Archive Administrator
laby_0.5.1-1_i386.changes ACCEPTED Archive Administrator
Processing of coq_8.2.pl1+dfsg-2_amd64.changes Archive Administrator
RFS: updated ocaml-reins Stéphane Glondu
Accepted coq 8.2.pl1+dfsg-2 (source all amd64) Stephane Glondu
coq_8.2.pl1+dfsg-2_amd64.changes ACCEPTED Archive Administrator
Bug#535824: libgdome2-ocaml: Uninstallable dependency ocaml-base-nox-3.11.0 on sid Matteo Acerbi
Bug#535909: camlimages: CVE-2009-2295 several integer overflows Michael S. Gilbert
Re: Transition to OCaml 3.11.1... Michael Bienia
Processing of ocamlgraph_1.1-1_amd64.changes Archive Administrator
ocamlgraph_1.1-1_amd64.changes ACCEPTED Archive Administrator
Processing of sexplib310_4.2.11-1_amd64.changes Archive Administrator
sexplib310 override disparity Archive Administrator
sexplib310_4.2.11-1_amd64.changes ACCEPTED Archive Administrator
Processing of alt-ergo_0.9-1_amd64.changes Archive Administrator
alt-ergo_0.9-1_amd64.changes ACCEPTED Archive Administrator
RFS: cmigrep Mehdi Dogguy
RFS: ocamlcreal Mehdi Dogguy
Bug#536104: why: binNMU-unsafe relationships between arch-any and -all packages Aaron M. Ucko
freetennis 0.4.8-7 MIGRATED to testing Debian testing watch
Processing of bin-prot_1.2.14-1_amd64.changes Archive Administrator
Processing of bin-prot_1.2.14-2_amd64.changes Archive Administrator
Processed: setting package to jocaml-base jocaml, tagging 532970 Debian Bug Tracking System
Processing of jocaml_3.11.1-1_amd64.changes Archive Administrator
Processed: setting package to why-examples libjessie-ocaml-dev libwhy-coq why, tagging 536104 Debian Bug Tracking System
bin-prot override disparity Archive Administrator
bin-prot_1.2.14-2_amd64.changes ACCEPTED Archive Administrator
jocaml_3.11.1-1_amd64.changes ACCEPTED Archive Administrator
bin-prot_1.2.14-1_amd64.changes ACCEPTED Archive Administrator
Bug#532989: marked as done (jocaml: toplevel library doesn't work) Debian Bug Tracking System
Bug#532970: marked as done (Make findlib work with Jocaml) Debian Bug Tracking System
Bug#532981: marked as done (jocaml-interp is needed for findlib integration.) Debian Bug Tracking System
Processing of why_2.18.dfsg-5_amd64.changes Archive Administrator
why_2.18.dfsg-5_amd64.changes ACCEPTED Archive Administrator
Progress on OCaml 3.11.1 transition... Stéphane Glondu
Processing of nurpawiki_1.2.2-4_amd64.changes Archive Administrator
nurpawiki_1.2.2-4_amd64.changes ACCEPTED Archive Administrator
Bug#536505: libcryptokit-ocaml-dev: Missing dependency on zli1g-dev Sylvain Le Gall
Processed: setting package to libcryptokit-ocaml-dev cryptokit libcryptokit-ocaml, tagging 536505 Debian Bug Tracking System
Processing of frama-c_20081201.dfsg-3_amd64.changes Archive Administrator
frama-c_20081201.dfsg-3_amd64.changes ACCEPTED Archive Administrator
frama-c override disparity Archive Administrator
Bug#533158: marked as done (frama-c: long description no sentence) Debian Bug Tracking System
Possible problems in your Debian packages DDPOMail robot
Processing of ocaml-bitstring_2.0.0-4_amd64.changes Archive Administrator
ocaml-bitstring_2.0.0-4_amd64.changes ACCEPTED Archive Administrator
radiating Sivert
Processing of sexplib310_4.2.11-2_amd64.changes Archive Administrator
sexplib310_4.2.11-2_amd64.changes ACCEPTED Archive Administrator
talcum Grago
mastoiditis Heigh Ramo
Re: [Pkg-ocaml-maint-commits] [SCM] sexplib310 packaging branch, build, updated. debian/4.2.11-2 Stefano Zacchiroli
calycine Gianopulos
RFC/RFS: advi Stéphane Glondu
Processed: setting package to advi advi-examples, tagging 534020 Debian Bug Tracking System
moolvie decalitre
trepid damsel
spamoracle 1.4-14 MIGRATED to testing Debian testing watch
Processing of camlimages_2.20-8+etch1_i386.changes Archive Administrator
Processing of camlimages_2.2.0-4+lenny1_i386.changes Archive Administrator
Processing of advi_1.6.0-14_amd64.changes Archive Administrator
Bug#536833: hevea: missing call to dh_installtex Stephane Glondu
advi_1.6.0-14_amd64.changes ACCEPTED Archive Administrator
Bug#534020: marked as done (advi: FTBFS: checking for camlimages... not found) Debian Bug Tracking System
Bug#515364: marked as done (advi: obsolete build-dep on x-dev) Debian Bug Tracking System
Bug#536865: ocsigen: Please add libssl-ocaml as recommended package Florent Fourcot
Bug#537011: ocaml-gettext: FTBFS: Error: Files gettextModules.cmx and gettextConfig.cmx make inconsistent assumptions over implementation GettextConfig Lucas Nussbaum
Processed: setting package to ocsigen-dev ocsigen-doc ocsigen, tagging 536865 Debian Bug Tracking System
Processed: pending Debian Bug Tracking System
condemnor Sanor
Bug#532289: matita fails to build in a non-networking environment. Lucas Nussbaum
layers uncancelled
recitations Tietze
Processed: tagging 532289 Debian Bug Tracking System
camlpdf REMOVED from testing Debian testing watch
devolatilise decapitates
OCaml 3.11.1 transition nearly finished? David MENTRE
Migrating OCaml to 3.11.1 in Karmic? David MENTRE
<Possible follow-ups>
Re: Migrating OCaml to 3.11.1 in Karmic? Scott Kitterman
Re: Migrating OCaml to 3.11.1 in Karmic? David MENTRE
dom-switch-opt violates policy and is too dangerous (for users) anyhow Stefano Zacchiroli
Processing of dh-ocaml_0.5.0_i386.changes Archive Administrator
dh-ocaml_0.5.0_i386.changes ACCEPTED Archive Administrator
Bug#516777: marked as done (please ship git helpers specific to d-o-m (checkout, new-git-repo, ...)) Debian Bug Tracking System
Bug#516764: marked as done (dh-ocaml: Automatic generation of list of uploaders in control files) Debian Bug Tracking System
Bug#528241: marked as done (dh-ocaml: Use << for Replaces, not <=?) Debian Bug Tracking System
Lintian check for OCaml custom bytecode executables Stéphane Glondu
omake 0.9.8.5-3-6 MIGRATED to testing Debian testing watch
Re: GCC 4.4 run-time license and non-GPLv3 compilers Matthias Klose
RFC: various Lintian checks for OCaml packages Stéphane Glondu
Processing of hevea_1.10-9_amd64.changes Archive Administrator
hevea_1.10-9_amd64.changes ACCEPTED Archive Administrator
Processing of dose2_1.4.2-1_amd64.changes Archive Administrator
dose2_1.4.2-1_amd64.changes ACCEPTED Archive Administrator
Processing of ceve_1.4-1_amd64.changes Archive Administrator
ceve_1.4-1_amd64.changes ACCEPTED Archive Administrator
Bug#538049: (jocaml_3.11.1-1/avr32): FTBFS: Outdated config.{sub,guess} bradsmith
Bug#538166: (ocamlduce_3.11.1.0-1/avr32): FTBFS: Outdated config.{sub,guess} bradsmith
Bug#538208: pkglab: depends on non-existing package libledit-ocaml Philipp Kern
Processed: setting package to edos-distcheck pkglab, tagging 538208 Debian Bug Tracking System
[Ubuntu transition to 3.11.1] Specific change on lablgtk2 David MENTRE
[Ubuntu transition to 3.11.1] Specific changes on graphviz David MENTRE
[Ubuntu transition to 3.11.1] Specific changes on ocaml-bjack David MENTRE
[Ubuntu transition to 3.11.1] Specific changes on camlimages David MENTRE
Ubuntu transition to OCaml 3.11.1 David MENTRE
Processing of pgocaml_1.3-1_amd64.changes Archive Administrator
pgocaml_1.3-1_amd64.changes is NEW Archive Administrator
advi 1.6.0-14 MIGRATED to testing Debian testing watch
oddity McAlphin
Bug#538398: coq: The description in README.Debian about proofgeneral is old. Nobuhiro Ban
Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 538398 Debian Bug Tracking System
[Karmic transition to 3.11.1] Issue with ocaml-libvirt and ocaml-gettext David MENTRE
piccoloist Progacz Nobile
Bug#538925: add-sources.py: missing space between the two files Joachim Breitner
Bug#538926: add-sources.py: Please add Architecture field Joachim Breitner
edos-distcheck instead of AutoDepwait Joachim Breitner
wanna-build-integration-wishlist Joachim Breitner
Bug#539199: edos-distcheck: significant regression in performances Stephane Glondu
Bug#539211: edos-debcheck: partially uses xml encoding when -xml option is not used Ralf Treinen
The last update was on 15:54 GMT Sun May 19. There are 265 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc