debian-ocaml-maint Jun 2012 by thread

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Bug#647299: marked as done (libxml-light-ocaml-dev: Package should ship cmxs plugin) Debian Bug Tracking System
xml-light_2.2-13_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processed: bug 674530 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=365&group_id=35&atid=283 Debian Bug Tracking System
Bug#675505: New upstream version Goswin von Brederlow
- Bug#675505: marked as done (New upstream version) Debian Bug Tracking System
Processing of hol-light_20120530-1_amd64.changes Debian FTP Masters
Re: package hol-light updated Stéphane Glondu
- Re: package hol-light updated Hendrik Tews
Processing of otags_3.12.5-1_amd64.changes Debian FTP Masters
hol-light_20120530-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
otags_3.12.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processed: found 674530 in 2.9.17-1 Debian Bug Tracking System
Bug#670108: marked as done (dose3: formatting errors in manpages) Debian Bug Tracking System
Processing of ocaml-config-file_1.1-1_amd64.changes Debian FTP Masters
ocaml-config-file_1.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#676116: mlpost: FTBFS: Command exited with code 1. Lucas Nussbaum
- Bug#676116: mlpost: FTBFS: Command exited with code 1. Stéphane Glondu
- Bug#676116: marked as done (mlpost: FTBFS: Command exited with code 1.) Debian Bug Tracking System
Bug#676127: ocamlviz: FTBFS: I can't open file `mp-tool'. Lucas Nussbaum
- Bug#676127: ocamlviz: FTBFS: I can't open file `mp-tool'. Mehdi Dogguy
  - Processed: Re: Bug#676127: ocamlviz: FTBFS: I can't open file `mp-tool'. Debian Bug Tracking System
- Bug#676127: marked as done (ocamlviz: FTBFS: I can't open file `mp-tool'.) Debian Bug Tracking System
Processing of camlp5_6.06-1_amd64.changes Debian FTP Masters
camlp5_6.06-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of findlib_1.3.1-1_amd64.changes Debian FTP Masters
findlib_1.3.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#667447: 2 patches for ocamlsdl Stéphane Glondu
- Message not available
  - Bug#667447: 2 patches for ocamlsdl Stéphane Glondu
    - Bug#667447: "common.o" not included in "dllsdlgfxstub.so" Florent Monnier
    - Bug#667447: "common.o" not included in "dllsdlgfxstub.so" Stéphane Glondu
    - Bug#667447: "common.o" not included in "dllsdlgfxstub.so" Olivier Andrieu
Processed: notfound 663500 in 0.0.3-2 Debian Bug Tracking System
meta-ocaml situation Mehdi Dogguy
- Re: meta-ocaml situation Eric Cooper
Processing of ocaml-extunix_0.0.4-1_amd64.changes Debian FTP Masters
ocaml-extunix_0.0.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of mysql-ocaml_1.1.1-1_amd64.changes Debian FTP Masters
mysql-ocaml_1.1.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-batteries_1.4.3-1_amd64.changes Debian FTP Masters
ocaml-batteries_1.4.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#668027: marked as done (ocaml-batteries-included: Lots of mismatches between what the documentation says and what the package does.) Debian Bug Tracking System
Accepted coq 8.3.pl4+dfsg-2 (source all amd64) Stéphane Glondu
Processing of coq_8.3.pl4+dfsg-2_amd64.changes Debian FTP Masters
coq_8.3.pl4+dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#676325: Mldonkey-server with upnp support Stéphane Glondu
tuareg-mode 2.0.6 Ralf Treinen
- Re: tuareg-mode 2.0.6 Mehdi Dogguy
  - Re: tuareg-mode 2.0.6 Ralf Treinen
Bug#676325: Request: Mldonkey-server with upnp support Stéphane Glondu
Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ? Stéphane Glondu
- <Possible follow-ups>
- Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ? Stéphane Glondu
Processing of ocaml-extunix_0.0.4-2_amd64.changes Debian FTP Masters
ocaml-extunix_0.0.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of mldonkey_3.1.2-1_amd64.changes Debian FTP Masters
mldonkey_3.1.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of pgocaml_1.5-1_amd64.changes Debian FTP Masters
Bug#670474: marked as done (libpgocaml-ocaml-dev: Conflicts between extlib and camomile about UChar) Debian Bug Tracking System
pgocaml_1.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Accepted coq 8.4~gamma0+really8.4beta2+dfsg-1 (source all amd64) Stéphane Glondu
- <Possible follow-ups>
- Accepted coq 8.4~gamma0+really8.4beta2+dfsg-1 (source all amd64) Stéphane Glondu
Processing of pgocaml_1.5-2_amd64.changes Debian FTP Masters
Processing of coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.changes Debian FTP Masters
coq_8.4~gamma0+really8.4beta2+dfsg-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
pgocaml_1.5-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processed: tagging 617407 Debian Bug Tracking System
Processing of tuareg-mode_2.0.6-1_amd64.changes Debian FTP Masters
tuareg-mode_2.0.6-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#671573: marked as done (tuareg-mode: help mode access to source code) Debian Bug Tracking System
Processing of coq-float_8.3pl1-4_amd64.changes Debian FTP Masters
coq-float_8.3pl1-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of xml-light_2.2-14_amd64.changes Debian FTP Masters
xml-light_2.2-14_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#676524: camlimages: no camlimages/Makefile.config Ralf Treinen
[bts-link] source package dose3 bts-link-upstream
Bug#667447: another patch for ocamlsdl-0.9.0 Florent Monnier
- Bug#667447: another patch for ocamlsdl-0.9.0 Olivier Andrieu
  - Bug#667447: another patch for ocamlsdl-0.9.0 Florent Monnier
  - Bug#667447: another patch for ocamlsdl-0.9.0 Florent Monnier
    - Bug#667447: another patch for ocamlsdl-0.9.0 Olivier Andrieu
Processing of js-of-ocaml_1.2-1_amd64.changes Debian FTP Masters
js-of-ocaml_1.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of tyxml_2.1-1_amd64.changes Debian FTP Masters
Processing of ocamlmakefile_6.36.0-2_amd64.changes Debian FTP Masters
ocamlmakefile_6.36.0-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
tyxml_2.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#676632: libcamlimages-ocaml-doc: should not contain executables of examples Ralf Treinen
- Bug#676632: libcamlimages-ocaml-doc: should not contain executables of examples Mehdi Dogguy
Bug#676750: ocsigenserver: FTBFS: Error: Unbound module XHTML Lucas Nussbaum
- Bug#676750: marked as done (ocsigenserver: FTBFS: Error: Unbound module XHTML) Debian Bug Tracking System
Bug#676767: eliom: FTBFS: unsatisfiable build-dependencies: ocsigenserver (>= 2.0.4), libocsigenserver-ocaml-dev (>= 2.0.4) Lucas Nussbaum
- Bug#676767: marked as done (eliom: FTBFS: unsatisfiable build-dependencies: ocsigenserver (>= 2.0.4), libocsigenserver-ocaml-dev (>= 2.0.4)) Debian Bug Tracking System
Bug#676769: nurpawiki: FTBFS: build-dependency not installable: libocsigen-ocaml-dev (>= 1.3) Lucas Nussbaum
- Bug#676769: marked as done (nurpawiki: FTBFS: build-dependency not installable: libocsigen-ocaml-dev (>= 1.3)) Debian Bug Tracking System
Processing of aac-tactics_0.2.pl2-7_amd64.changes Debian FTP Masters
Processing of ssreflect_1.3pl4-1_amd64.changes Debian FTP Masters
Processed: tagging 676750 Debian Bug Tracking System
Processing of ocsigenserver_2.1-1_amd64.changes Debian FTP Masters
aac-tactics_0.2.pl2-7_amd64.changes ACCEPTED into unstable Debian FTP Masters
ssreflect_1.3pl4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ssreflect override disparity Debian FTP Masters
ocsigenserver_2.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#676858: tuareg-mode: emacs21 require 'derived Kevin Ryde
- Message not available
  - Bug#676858: tuareg-mode: emacs21 require 'derived Kevin Ryde
- Bug#676858: marked as done (tuareg-mode: emacs21 require 'derived) Debian Bug Tracking System
Bug#676860: tuareg-mode: setq smie f Kevin Ryde
- Bug#676860: tuareg-mode: setq smie f Ralf Treinen
- Bug#676860: marked as done (tuareg-mode: setq smie f) Debian Bug Tracking System
Processed: limit source to tuareg-mode, tagging 676860 Debian Bug Tracking System
Bug#676994: tuareg-mode: missing tuareg-before-change-function Kevin Ryde
- Bug#676994: tuareg-mode: missing tuareg-before-change-function Ralf Treinen
  - Bug#676994: tuareg-mode: missing tuareg-before-change-function Kevin Ryde
Bug#676995: tuareg-mode: not clear the message area Kevin Ryde
Bug#670733: Some remarks Romain Beauxis
- Bug#670733: Some remarks Hendrik Tews
  - Bug#670733: Some remarks Romain Beauxis
    - Bug#670733: Some remarks Mehdi Dogguy
    - Processed: Re: Bug#670733: Some remarks Debian Bug Tracking System
    - Bug#672672: Bug#670733: Some remarks Mehdi Dogguy
    - Processed: Re: Bug#670733: Some remarks Debian Bug Tracking System
    - Bug#670733: Some remarks Hendrik Tews
Processed: tagging 676994 Debian Bug Tracking System
- <Possible follow-ups>
- Processed: tagging 676994 Debian Bug Tracking System
Bug#445888: marked as done (tuareg-mode: font-lock doesn't like comments or strings) Debian Bug Tracking System
Processed: Re: Bug#676769: nurpawiki: FTBFS: build-dependency not installable: libocsigen-ocaml-dev (>= 1.3) Debian Bug Tracking System
Processing of eliom_2.2.2-1_amd64.changes Debian FTP Masters
eliom_2.2.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
help with packaging deps Wookey
- Re: help with packaging deps Mehdi Dogguy
new version of hol-light Hendrik Tews
Processing of hol-light_20120602-1_amd64.changes Debian FTP Masters
hol-light_20120602-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of lablgtk2_2.14.2+dfsg-3_amd64.changes Debian FTP Masters
Bug#673835: marked as done (liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ?) Debian Bug Tracking System
lablgtk2_2.14.2+dfsg-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of mlpost_0.8.1-3_amd64.changes Debian FTP Masters
mlpost_0.8.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
has anyone built a private ocaml 4.0 repo yet? Eric Cooper
- Re: has anyone built a private ocaml 4.0 repo yet? Stéphane Glondu
Processed: limit source to tuareg-mode, tagging 676858 Debian Bug Tracking System
Bug#542399: tuareg-mode: caml-types-explore fails with "Wrong type argument: stringp, 116" Ralf Treinen
Processed: found 542399 in 1:2.0.6-1 Debian Bug Tracking System
Processed: bug 542399 is forwarded to https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1173&group_id=43&atid=255 Debian Bug Tracking System
Processed: tagging 672479 Debian Bug Tracking System
Re: dpkg-shlibdeps warning about librt.so.1 in ocamlopt binaries Stéphane Glondu
Processing of ocaml_4.00.0~beta2-1_amd64.changes Debian FTP Masters
ocaml_4.00.0~beta2-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
Processed: bug 676994 is forwarded to tuareg-mode has Debian Bug Tracking System
Processed: bug 676994 is forwarded to https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1175&group_id=43&atid=255 Debian Bug Tracking System
Processing of ocamldsort_0.15.0-2_amd64.changes Debian FTP Masters
ocamldsort_0.15.0-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#599325: marked as done (ocamldsort: should use dh-ocaml >= 0.9) Debian Bug Tracking System
Processed: block on Debian Bug Tracking System
Bug#677754: Updating the camlzip Uploaders list Ana Guerrero
Bug#677755: Updating the mlgmp Uploaders list Ana Guerrero
Processing of dose3_3.0.1-1_amd64.changes Debian FTP Masters
dose3_3.0.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#667447: marked as done (2 patches for ocamlsdl) Debian Bug Tracking System
Processing of ocamlsdl_0.9.0-1_amd64.changes Debian FTP Masters
ocamlsdl_0.9.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocamlsdl, exceptions not registered Florent Monnier
- Re: ocamlsdl, exceptions not registered Stéphane Glondu
  - Re: ocamlsdl, exceptions not registered Florent Monnier
    - Re: ocamlsdl, exceptions not registered Stéphane Glondu
    - Re: ocamlsdl, exceptions not registered Olivier Andrieu
patch for ocamlsdl bug: mouse button event mismatch Florent Monnier
- Re: patch for ocamlsdl bug: mouse button event mismatch Olivier Andrieu
- Re: patch for ocamlsdl bug: mouse button event mismatch Florent Monnier
  - Re: patch for ocamlsdl bug: mouse button event mismatch Olivier Andrieu
Processing of tuareg-mode_2.0.6-2_amd64.changes Debian FTP Masters
tuareg-mode_2.0.6-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Sbiancante rapido Anna Errani
Re: Bits from the Release Team: Final countdown! Hendrik Tews
- Re: Bits from the Release Team: Final countdown! Stéphane Glondu
  - Re: Bits from the Release Team: Final countdown! ygrek
    - Re: Bits from the Release Team: Final countdown! Mehdi Dogguy
    - Re: Bits from the Release Team: Final countdown! ygrek
    - Re: Bits from the Release Team: Final countdown! Goswin von Brederlow
    - Re: Bits from the Release Team: Final countdown! Mehdi Dogguy
    - Re: Bits from the Release Team: Final countdown! Goswin von Brederlow
Processing of ocaml_4.00.0~beta2-2_amd64.changes Debian FTP Masters
Bug#659149: marked as done (CVE-2012-0839: Hash collision DoS) Debian Bug Tracking System
ocaml_4.00.0~beta2-2_amd64.changes ACCEPTED into experimental Debian FTP Masters
Processing of findlib_1.3.2-1_amd64.changes Debian FTP Masters
findlib_1.3.2-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
Processing of ocamlmod_0.0.2-2_amd64.changes Debian FTP Masters
ocamlmod_0.0.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
coq 8.3.pl4+dfsg-2 MIGRATED to testing Debian testing watch
Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Ed Schwartz
- Re: Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Stéphane Glondu
- Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Stéphane Glondu
  - Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Ed Schwartz
    - Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Stéphane Glondu
    - Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Ed Schwartz
    - Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug Stéphane Glondu
- Bug#678577: marked as done (ocaml: -custom breaks ocamlrun and ocamldebug) Debian Bug Tracking System
Bug#678595: libocamlgsl-ocaml-dev: GSL fitting functions crash with large arrays James Hester
Bug#678722: camomile FTBFS with build-arch peter green
- Bug#678722: marked as done (camomile FTBFS with build-arch) Debian Bug Tracking System
Processing of camomile_0.8.4-2_amd64.changes Debian FTP Masters
camomile_0.8.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processed: severity of 678577 is important Debian Bug Tracking System
Liquidsoap package missing dllliquidsoap.so on armel Romain Beauxis
- Re: Liquidsoap package missing dllliquidsoap.so on armel Stéphane Glondu
  - Re: Liquidsoap package missing dllliquidsoap.so on armel Romain Beauxis
Processed: cloning 678577, reassign -1 to dh-ocaml Debian Bug Tracking System
U never know what is around the corner for sure. But this time there is a pretty little surprise 4 u))) Frida Stork
Processing of ocaml_3.12.1-4_amd64.changes Debian FTP Masters
ocaml_3.12.1-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#679193: unison: Please backport Unison 2.4 to Stable Squeeze el jefe delito
RFS: libaio-ocaml, reupload the experimental package to unstable Goswin von Brederlow
Processing of ocaml-extunix_0.0.5-1_amd64.changes Debian FTP Masters
ocaml-extunix_0.0.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-dtools_0.3.0-1_i386.changes Debian FTP Masters
Processing of ocaml-flac_0.1.1-1_i386.changes Debian FTP Masters
ocaml-dtools_0.3.0-1_i386.changes ACCEPTED into unstable Debian FTP Masters
ocaml-flac_0.1.1-1_i386.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-extunix_0.0.5-2_amd64.changes Debian FTP Masters
ocaml-extunix_0.0.5-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
oasis 0.3.0, tonight (GMT) Sylvain Le Gall
- Re: oasis 0.3.0, tonight (GMT) Mehdi Dogguy
  - Re: oasis 0.3.0, tonight (GMT) Sylvain Le Gall
    - Re: oasis 0.3.0, tonight (GMT) Mehdi Dogguy
    - Re: oasis 0.3.0, tonight (GMT) Sylvain Le Gall
Processing of ocamlmod_0.0.2-3_amd64.changes Debian FTP Masters
ocamlmod_0.0.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of dose3_3.0.2-1_amd64.changes Debian FTP Masters
dose3_3.0.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Possible problems in your Debian packages DDPOMail robot

The last update was on 21:20 GMT Sat Jun 30. There are 228 messages. Page 1 of 1.

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc