debian-ocaml-maint  

Messages by Thread

• Processed: tagging 670108 Debian Bug Tracking System
• dpkg-shlibdeps warning about librt.so.1 in ocamlopt binaries Eric Cooper
  • Re: dpkg-shlibdeps warning about librt.so.1 in ocamlopt binaries Hendrik Tews
• dose3_2.9.16~rc1-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Processing of dose3_2.9.16~rc1-1_amd64.changes Debian FTP Masters
• Accepted approx 5.2-1 (source amd64) Eric Cooper
• otags_3.12.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of otags_3.12.3-1_amd64.changes Debian FTP Masters
• Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ? Pierre Boutillier
• hol-light_20120423-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Request: Mldonkey-server with upnp support William F.
• Bug#666825: Apache2 2.4 transition postponed until after Wheezy Stefan Fritsch
• Processed: tagging 673248 Debian Bug Tracking System
• Processed: merging 673247 673248 Debian Bug Tracking System
• otags updated Hendrik Tews
  • otags updated Hendrik Tews
• Processed: closing 673214 Debian Bug Tracking System
• Processed: fixed 673214 in 0.2.0-6 Debian Bug Tracking System
• Processed: found 673214 in 0.2.0-5 Debian Bug Tracking System
• Bug#673248: advi: Japanese fonts no longer work Junichi Uekawa
• Bug#673247: advi: Japanese fonts no longer work Junichi Uekawa
• Bug#673214: oasis: FTBFS in sid: This expression has type (string * Fl_metascanner.pkg_expr) option Samuel Thibault
  • Bug#673214: marked as done (oasis: FTBFS in sid: This expression has type (string * Fl_metascanner.pkg_expr) option) Debian Bug Tracking System
• frama-c_20111001+nitrogen+dfsg-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of frama-c_20111001+nitrogen+dfsg-4_amd64.changes Debian FTP Masters
• why_2.30+dfsg-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
• oasis_0.2.0-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of oasis_0.2.0-6_amd64.changes Debian FTP Masters
• Processing of why_2.30+dfsg-5_amd64.changes Debian FTP Masters
• Bug#175261: marked as done (unison-gtk: The logfile wil not reopened when opening an other profile) Debian Bug Tracking System
• ocamlgraph_1.8.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocamlgraph_1.8.2-2_amd64.changes Debian FTP Masters
• ocaml-zarith_1.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-zarith_1.1-2_amd64.changes Debian FTP Masters
• ocaml-zarith_1.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-zarith_1.1-1_amd64.changes Debian FTP Masters
• ocamlgraph_1.8.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocamlgraph_1.8.2-1_amd64.changes Debian FTP Masters
• first version of prooftree in git Hendrik Tews
  • Re: first version of prooftree in git Stéphane Glondu
  • Re: first version of prooftree in git Hendrik Tews
  • Re: first version of prooftree in git Stéphane Glondu
  • Re: first version of prooftree in git Hendrik Tews
• Ocaml-libvirt fails to build on mips Laurent Léonard
• alt-ergo_0.94-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of alt-ergo_0.94-2_amd64.changes Debian FTP Masters
• ocaml_3.12.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Bug#672669: ocaml-lame: FTBFS: Incorrectly thinks it's building as root Hendrik Tews
  • Bug#672669: ocaml-lame: FTBFS: Incorrectly thinks it's building as root Hendrik Tews
• Processing of ocaml_3.12.1-3_amd64.changes Debian FTP Masters
• Bug#452340: marked as done (ocaml-mode: Can't follow cross-refs to elisp source files in Emacs) Debian Bug Tracking System
• Bug#672667: Bug#6726XX: ocaml-xxx: FTBFS: Incorrectly thinks it's building as root Hendrik Tews
• ocamlweb_1.38-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocamlweb_1.38-1_amd64.changes Debian FTP Masters
• Processed: Cloning 670733 to cover other packages with same FTBFS bug Debian Bug Tracking System
• Bug#672480: ITP: prooftree -- proof tree visualization for Proof General Hendrik Tews
• uploaded fixes for #452340 and #671559 Hendrik Tews
  • Re: uploaded fixes for #452340 and #671559 Stéphane Glondu
  • Re: uploaded fixes for #452340 and #671559 Hendrik Tews
• Bug#672479: ledit: 'man ledit' typos: "backard", "france" and "searchs" A. Costa
• Processed: Re: Bug#156958: unison: Patterns require spaces rather than say tabs Debian Bug Tracking System
• Bug#169748: marked as done (unison: Unison shows wrong permission flag (sgid)) Debian Bug Tracking System
• Bug#156958: unison: Patterns require spaces rather than say tabs Hendrik Tews
• matita_0.99.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of matita_0.99.1-1_amd64.changes Debian FTP Masters
• Bug#614933: camldebug doesn't work with a pristine emacs installation Ralf Treinen
• tuareg-mode_2.0.4-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of tuareg-mode_2.0.4-4_amd64.changes Debian FTP Masters
• Processed: tagging 666799, block 666799 with 666822, tagging 666800, block 666799 with 666822, tagging 666801 ... Debian Bug Tracking System
• Bug#666825: Test rebuild of your package ocamlnet arno
  • Bug#666825: Test rebuild of your package ocamlnet Stéphane Glondu
• new unison with inotify file watcher C. Gatzemeier
• Bug#671573: tuareg-mode: help mode access to source code Kevin Ryde
• Bug#671559: ocaml-mode: debian-pkg-add-load-path-item Kevin Ryde
  • Bug#671559: marked as done (ocaml-mode: debian-pkg-add-load-path-item) Debian Bug Tracking System
• Bug#671558: tuareg-mode: auto-mode-alist regexp string end Kevin Ryde
  • Bug#671558: tuareg-mode: auto-mode-alist regexp string end Ralf Treinen
  • Bug#671558: marked as done (tuareg-mode: auto-mode-alist regexp string end) Debian Bug Tracking System
• Bug#671557: tuareg-mode: debian-pkg-add-load-path-item Kevin Ryde
  • Bug#671557: marked as done (tuareg-mode: debian-pkg-add-load-path-item) Debian Bug Tracking System
• eliom_2.1.1b-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of eliom_2.1.1b-3_amd64.changes Debian FTP Masters
• Bug#670869: Missing binding for SDL_ConvertSurface Goswin von Brederlow
• Bug#670868: create_RGB_surface ignores flags Goswin von Brederlow
• Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root Daniel Schepler
  • Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root Hendrik Tews
  • Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root Hendrik Tews
• Bug#309036: marked as done (unison-gtk: skip button doesn't allow for repeated clicks) Debian Bug Tracking System
• Bug#309036: unison-gtk: skip button doesn't allow for repeated clicks [FIXED] nodiscc
• Processing of pgocaml_1.5-1_amd64.changes Debian FTP Masters
• hol-light_20120423-1_amd64.changes is NEW Debian FTP Masters
• Processing of hol-light_20120423-1_amd64.changes Debian FTP Masters
• ocamlmod_0.0.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Bug#670474: libpgocaml-ocaml-dev: Conflicts between extlib and camomile about UChar Sylvain Le Gall
  • Bug#670474: libpgocaml-ocaml-dev: Conflicts between extlib and camomile about UChar Mehdi Dogguy
  • Bug#670474: libpgocaml-ocaml-dev: Conflicts between extlib and camomile about UChar Sylvain Le Gall
• Bug#452340: ocaml-mode: Can't follow cross-refs to elisp source files in Emacs Kevin Ryde
• Bug#670108: dose3: formatting errors in manpages Jakub Wilk
• ocamlmod_0.0.2-1_amd64.changes is NEW Debian FTP Masters
• Processing of ocamlmod_0.0.2-1_amd64.changes Debian FTP Masters
  • Processing of ocamlmod_0.0.2-1_amd64.changes Debian FTP Masters
  • Processing of ocamlmod_0.0.2-1_amd64.changes Debian FTP Masters
• Bug#669539: alt-ergo: FTBFS: make[2]: autoconf: Command not found Lucas Nussbaum
  • Bug#669539: marked as done (alt-ergo: FTBFS: make[2]: autoconf: Command not found) Debian Bug Tracking System
  • Bug#669539: alt-ergo: FTBFS: make[2]: autoconf: Command not found Artur Rona
  • Processed (with 3 errors): alt-ergo: FTBFS: make[2]: autoconf: Command not found Debian Bug Tracking System
• ocaml_4.00.0~~dev15+12379-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Processing of ocaml_4.00.0~~dev15+12379-1_amd64.changes Debian FTP Masters
• unison_2.40.65-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of unison_2.40.65-2_amd64.changes Debian FTP Masters
• dh-ocaml_1.0.5_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of dh-ocaml_1.0.5_amd64.changes Debian FTP Masters
• Bug#345793: marked as done (mldonkey: fails to build on alpha) Debian Bug Tracking System
• Bug#339061: marked as done (ocamlopt emits buggy IA64 programs) Debian Bug Tracking System
• Bug#338148: marked as done ([alpha] regression: ocamlopt.opt segfaults) Debian Bug Tracking System
• Bug#335578: marked as done (ocamlopt.opt segfaults on Alpha) Debian Bug Tracking System
• Processed: Fixed upstream Debian Bug Tracking System
• Bug#657496: manual is compressed Julian Taylor
• Processed: Re: Bug#657496: unison: manual empty Debian Bug Tracking System
• Bug#668751: liquidsoap: unowned directory after purge: /usr/share/liquidsoap Andreas Beckmann
• coccinelle_1.0.0~rc12.deb-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of coccinelle_1.0.0~rc12.deb-4_amd64.changes Debian FTP Masters
• mldonkey_3.1.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of mldonkey_3.1.1-1_amd64.changes Debian FTP Masters
• coccinelle_1.0.0~rc12.deb-3_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Processing of coccinelle_1.0.0~rc12.deb-3_amd64.changes Debian FTP Masters
• eliom_2.1.1b-2_armel.changes ACCEPTED into experimental Debian FTP Masters
• Processing of eliom_2.1.1b-2_armel.changes Debian FTP Masters
• coccinelle_1.0.0~rc12.deb-2_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Processing of coccinelle_1.0.0~rc12.deb-2_amd64.changes Debian FTP Masters
• coccinelle_1.0.0~rc12.deb-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Processing of coccinelle_1.0.0~rc12.deb-1_amd64.changes Debian FTP Masters
• coq 8.3.pl4+dfsg-1 MIGRATED to testing Debian testing watch
• [bts-link] source package mldonkey bts-link-upstream
• xmlm_1.1.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of xmlm_1.1.0-1_amd64.changes Debian FTP Masters
• uuidm_0.9.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of uuidm_0.9.4-1_amd64.changes Debian FTP Masters
• Bug#668027: ocaml-batteries-included: Lots of mismatches between what the documentation says and what the package does. Roberto Di Cosmo
• Bug#667820: fixed Debian FTP Masters
• eliom_2.1.1b-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
• camlidl override disparity Debian FTP Masters
• camlidl_1.05-14_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of camlidl_1.05-14_amd64.changes Debian FTP Masters
• why_2.30+dfsg-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of why_2.30+dfsg-4_amd64.changes Debian FTP Masters
• react_0.9.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• coq_8.4~beta+dfsg-4_amd64.changes ACCEPTED into experimental Debian FTP Masters
• Accepted coq 8.4~beta+dfsg-4 (source all amd64) Stéphane Glondu
  • Accepted coq 8.4~beta+dfsg-4 (source all amd64) Stéphane Glondu
• Processing of coq_8.4~beta+dfsg-4_amd64.changes Debian FTP Masters
• Processing of react_0.9.3-1_amd64.changes Debian FTP Masters
• ocaml-data-notation_0.0.8-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-data-notation_0.0.8-1_amd64.changes Debian FTP Masters
• coq-doc_8.3pl4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of coq-doc_8.3pl4-1_amd64.changes Debian FTP Masters
• eliom_2.1.1b-1_amd64.changes is NEW Debian FTP Masters
• Processing of eliom_2.1.1b-1_amd64.changes Debian FTP Masters
• Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path Mehdi Dogguy
  • Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path Julien Cristau
  • Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path Mehdi Dogguy
  • Bug#662746: Bug#667599: dolfin-dev: fails to upgrade from squeeze - apt does not find an upgrade path David Kalnischkies
• Processed: limit source to mldonkey, tagging 667283 Debian Bug Tracking System
• Processed: Re: Processed (with 4 errors): Re: Bug#666276: librsvg2-bin: /usr/bin/rsvg is not shipped anymore Debian Bug Tracking System
• Processed: bug 667447 is forwarded to Olivier Andrieu <oandr...@gmail.com> Debian Bug Tracking System
• Processed: submitter 667447 Debian Bug Tracking System
• Processed: bug 667283 is forwarded to https://savannah.nongnu.org/bugs/index.php?36078 Debian Bug Tracking System
• Bug#667283: mldonkey: ftbfs with GCC-4.7 Matthias Klose
  • Processed: [bts-link] source package mldonkey Debian Bug Tracking System
  • Bug#667283: marked as done (mldonkey: ftbfs with GCC-4.7) Debian Bug Tracking System
• 2 patches for ocamlsdl Florent Monnier
  • Bug#667447: 2 patches for ocamlsdl Stéphane Glondu
  • Bug#667447: 2 patches for ocamlsdl Stéphane Glondu
• Processed: bug 659149 is forwarded to http://caml.inria.fr/mantis/view.php?id=5572 Debian Bug Tracking System
• unison_2.40.65-1_armel.changes ACCEPTED into unstable Debian FTP Masters
• Processing of unison_2.40.65-1_armel.changes Debian FTP Masters
• dose3_2.9.15-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of dose3_2.9.15-1_amd64.changes Debian FTP Masters
• Bug#666825: ocamlnet: sourceful transition towards Apache 2.4 arno
• bibtex2html_1.97-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of bibtex2html_1.97-2_amd64.changes Debian FTP Masters
• ssreflect_1.3pl2-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ssreflect_1.3pl2-4_amd64.changes Debian FTP Masters
• aac-tactics_0.2.pl2-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of aac-tactics_0.2.pl2-6_amd64.changes Debian FTP Masters
• matita_0.5.8-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of matita_0.5.8-4_amd64.changes Debian FTP Masters
• Processed: tagging 666572 Debian Bug Tracking System
• Bug#666594: matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located Lucas Nussbaum
  • Bug#666594: marked as done (matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located) Debian Bug Tracking System
• Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg' Lucas Nussbaum
  • Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg' Ralf Treinen
  • Bug#666572: marked as done (bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg') Debian Bug Tracking System
• unison2.32.52_2.32.52-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
• unison2.27.57_2.27.57-7_amd64.changes ACCEPTED into unstable Debian FTP Masters
• unison_2.40.63-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of unison2.32.52_2.32.52-6_amd64.changes Debian FTP Masters
• Processing of unison2.27.57_2.27.57-7_amd64.changes Debian FTP Masters
• Processing of unison_2.40.63-3_amd64.changes Debian FTP Masters
• Processed: tagging 666381 Debian Bug Tracking System

• Earlier messages