debian-ocaml-maint Jul 2009 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processing of otags_3.09.3-3_amd64.changes Archive Administrator
- Processing of ocaml-getopt_0.0.20040811-9_amd64.changes Archive Administrator
- otags_3.09.3-3_amd64.changes ACCEPTED Archive Administrator
- ocaml-getopt_0.0.20040811-9_amd64.changes ACCEPTED Archive Administrator
- Bug#535267: sks: FTBFS with latest ocaml-nox Cyril Brulebois
- 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
- 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 06:41 GMT Thu 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
