debian-ocaml-maint Aug 2007 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
]
3.10 transition and ulex/pxp
Stefano Zacchiroli
Re: 3.10 transition and ulex/pxp
Eric Cooper
Re: 3.10 transition and ulex/pxp
Stefano Zacchiroli
replacing Source-Version substvar
Eric Cooper
Re: replacing Source-Version substvar
George Danchev
Re: replacing Source-Version substvar
Eric Cooper
Please upload syslog-ocaml and ocaml-sha
Eric Cooper
Bug#435895: liblablgl-ocaml-dev: /usr/share/man/man1/lablglut.1.gz is a dangling symlink
Eric Cooper
commit access right for all DDs to our repository - done
Stefano Zacchiroli
Re: new web page: overview of OCaml related packages / transitions
Richard Jones
Re: new web page: overview of OCaml related packages / transitions
Stefano Zacchiroli
Re: new web page: overview of OCaml related packages / transitions
Stefano Zacchiroli
Processed: tagging 435023
Debian Bug Tracking System
Processed: bug 418634 is forwarded to http://caml.inria.fr/mantis/view.php?id=4354
Debian Bug Tracking System
Processed: tagging 435895
Debian Bug Tracking System
OCaml curses?
Richard Jones
Re: OCaml curses?
Stefano Zacchiroli
Re: OCaml curses?
Richard Jones
Re: OCaml curses?
Sylvain Le Gall
Re: OCaml curses?
Richard Jones
Re: OCaml curses?
Sylvain Le Gall
Re: OCaml curses?
Samuel Mimram
Re: OCaml curses?
Richard Jones
[bts-link] source package ocaml
bts-link-upstream
planets 0.1.13-1 MIGRATED to testing
Debian testing watch
Naming scheme for coq libraries
Samuel Mimram
Re: Naming scheme for coq libraries
Sven Luther
Re: Naming scheme for coq libraries
Samuel Mimram
Re: Naming scheme for coq libraries
Sven Luther
Re: Naming scheme for coq libraries
Stefano Zacchiroli
Bug#436982: ITP: ulex0.8 -- OCaml lexer generator with Unicode support - CamlP5 version
Stefano Zacchiroli
Accepted pxp 1.2.0~test1-1 (source i386)
Stefano Zacchiroli
Bug#437308: mldonkey: Catalan po-debconf template update
Miguel Gea Milvaques
Bug#437308: marked as done (mldonkey: Catalan po-debconf template update)
Debian Bug Tracking System
Processed: tagging 433648
Debian Bug Tracking System
Processing of mldonkey_2.9.0-1_i386.changes
Archive Administrator
mldonkey_2.9.0-1_i386.changes ACCEPTED
Debian Installer
Accepted mldonkey 2.9.0-1 (source i386)
Samuel Mimram
Bug#435439: marked as done (CVE-2007-4100: mldonkey IP blocklist bypass vulnerability)
Debian Bug Tracking System
Processing of ocaml_3.10.0-5_i386.changes
Archive Administrator
ocaml_3.10.0-5_i386.changes ACCEPTED
Debian Installer
Bug#433082: marked as done (ocaml-mode: Support for emacs22 is missing)
Debian Bug Tracking System
Accepted ocaml 3.10.0-5 (source i386 all)
Stefano Zacchiroli
CONFIRM 87c53de33d75c8804b6acc89575f4b68
Debian Package Tracking System
Re: Web subscription for cduce package
owner
ANNOUNCE: ocaml-curses 1.0.0 released
Richard Jones
ara 1.0.18
George Danchev
Re: ara 1.0.18
Sylvain Le Gall
Re: ara 1.0.18
George Danchev
Re: ara 1.0.18
Sylvain Le Gall
Re: ara 1.0.18
George Danchev
Re: ara 1.0.18
Sylvain Le Gall
mldonkey 2.9.0-1 MIGRATED to testing
Debian testing watch
Bug#438613: ITP: coq-float -- coq library for floating point numbers
Samuel Mimram
3.10: time to upload to unstable (!?)
Stefano Zacchiroli
Re: 3.10: time to upload to unstable (!?)
Julien Cristau
Re: 3.10: time to upload to unstable (!?)
Sven Luther
Re: 3.10: time to upload to unstable (!?)
Sylvain Le Gall
Re: 3.10: time to upload to unstable (!?)
Eric Cooper
Re: 3.10: time to upload to unstable (!?)
Samuel Mimram
Processing of coq_8.1.pl1+dfsg-1_i386.changes
Archive Administrator
coq_8.1.pl1+dfsg-1_i386.changes ACCEPTED
Debian Installer
Accepted coq 8.1.pl1+dfsg-1 (source all i386)
Samuel Mimram
Accepted ara 1.0.18 (source all amd64)
George Danchev
transition to ocaml 3.10
Stefano Zacchiroli
Re: transition to ocaml 3.10
Junichi Uekawa
Re: transition to ocaml 3.10
Stefano Zacchiroli
Re: transition to ocaml 3.10
Paul Wise
Re: transition to ocaml 3.10
Stefano Zacchiroli
Processing of ocamlmakefile_6.25.0-1_i386.changes
Archive Administrator
ocamlmakefile_6.25.0-1_i386.changes ACCEPTED
Debian Installer
Bug#381638: marked as done (ocamlmakefile: LIBINSTALL_FILES includes incorrect files for byte-code)
Debian Bug Tracking System
Bug#439017: ships empty /usr/include/ocaml/
Enrico Tassi
Bug#439017: ships empty /usr/include/ocaml/
Stefano Zacchiroli
Bug#439017: marked as done (ships empty /usr/include/ocaml/)
Debian Bug Tracking System
Processed: setting package to camlp4 camlp4-extra ocaml ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-mode ocaml-native-compilers ocaml-nox ocaml-source ...
Debian Bug Tracking System
Bug#433648: bugreport - mldonkey-server - dependency-problem
spiral voice
Bug#439030: Crashes on 64bit platform compiled with Ocaml 3.10.0
spiral voice
Bug#439030: Crashes on 64bit platform compiled with Ocaml 3.10.0
Samuel Mimram
Bug#439030:
spiral voice
Some of your Debian packages might need attention
DDPOMail robot
<Possible follow-ups>
Re: Some of your Debian packages might need attention
skaller
ocaml-curses
Richard Jones
Re: ocaml-curses
Samuel Mimram
Re: ocaml-curses
Richard Jones
Re: ocaml-curses
Samuel Mimram
Processing of coq_8.1.pl1+dfsg-2_i386.changes
Archive Administrator
coq_8.1.pl1+dfsg-2_i386.changes ACCEPTED
Debian Installer
Accepted coq 8.1.pl1+dfsg-2 (source all i386)
Samuel Mimram
Processing of cmigrep_1.4-1_i386.changes
Archive Administrator
cmigrep_1.4-1_i386.changes ACCEPTED
Debian Installer
generation of ocamldoc HTML documentation for libs (via cdbs)
Stefano Zacchiroli
Re: generation of ocamldoc HTML documentation for libs (via cdbs)
Eric Cooper
Re: generation of ocamldoc HTML documentation for libs (via cdbs)
skaller
Re: generation of ocamldoc HTML documentation for libs (via cdbs)
Stefano Zacchiroli
Re: generation of ocamldoc HTML documentation for libs (via cdbs)
Sylvain Le Gall
Re: generation of ocamldoc HTML documentation for libs (via cdbs)
Stefano Zacchiroli
[was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Sylvain Le Gall
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
skaller
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
skaller
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Maxence Guesdon
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
skaller
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Stefano Zacchiroli
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Stefano Zacchiroli
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Julien Cristau
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Sylvain Le Gall
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Stefano Zacchiroli
where to put manpages (filename clash issue)
Stefano Zacchiroli
Re: where to put manpages (filename clash issue)
Sylvain Le Gall
Re: where to put manpages (filename clash issue)
Eric Cooper
Re: where to put manpages (filename clash issue)
Stefano Zacchiroli
Re: where to put manpages (filename clash issue)
Eric Cooper
Re: where to put manpages (filename clash issue)
Stefano Zacchiroli
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Mike Furr
Re: [was: generation of ocamldoc HTML documentation for libs (via cdbs)] OCaml policy for documentation
Stefano Zacchiroli
Bug#439711: ITP: ocaml-curses -- OCaml bindings to the ncurses library
Samuel Mimram
Re: Bug#439711: ITP: ocaml-curses -- OCaml bindings to the ncurses library
Richard Jones
Processing of hevea_1.10-1_i386.changes
Archive Administrator
hevea_1.10-1_i386.changes ACCEPTED
Debian Installer
Bug#405994: marked as done (hevea fails on \urldef on multiple lines)
Debian Bug Tracking System
Bug#397496: marked as done (can't handle utf8 input encoding)
Debian Bug Tracking System
Accepted hevea 1.10-1 (source all)
Ralf Treinen
sponsor to upload ocamldsort
Dimitri Ara
Re: sponsor to upload ocamldsort
Ralf Treinen
transitioning ...
Stefano Zacchiroli
Re: sponsor to upload ocamldsort
Dimitri Ara
Re: sponsor to upload ocamldsort
Ralf Treinen
Re: sponsor to upload ocamldsort
Dimitri Ara
Coordination for 3.10.0 transition
Sylvain Le Gall
Re: Coordination for 3.10.0 transition
Stefano Zacchiroli
Processed: reassign 439570 to coq, tagging 439570
Debian Bug Tracking System
Processing of ocaml_3.10.0-6_i386.changes
Archive Administrator
ocaml_3.10.0-6_i386.changes ACCEPTED
Debian Installer
Accepted ocaml 3.10.0-6 (source i386 all)
Stefano Zacchiroli
3.10.0 FTBFS
Mike Furr
Re: 3.10.0 FTBFS
Samuel Mimram
Re: 3.10.0 FTBFS
Sylvain Le Gall
Re: 3.10.0 FTBFS
Stefano Zacchiroli
Processing of hevea_1.10-2_i386.changes
Archive Administrator
Processing of hevea-doc_1.10-2_i386.changes
Archive Administrator
Processing of ocamlweb_1.37-6_i386.changes
Archive Administrator
hevea-doc_1.10-2_i386.changes ACCEPTED
Debian Installer
ocamlweb_1.37-6_i386.changes ACCEPTED
Debian Installer
hevea_1.10-2_i386.changes ACCEPTED
Debian Installer
Processing of bibtex2html_1.87-2_i386.changes
Archive Administrator
Processing of hlins_0.39-10_i386.changes
Archive Administrator
bibtex2html_1.87-2_i386.changes ACCEPTED
Debian Installer
hlins_0.39-10_i386.changes ACCEPTED
Debian Installer
Accepted ocamlweb 1.37-6 (source all)
Ralf Treinen
Accepted bibtex2html 1.87-2 (source all)
Ralf Treinen
Accepted hevea 1.10-2 (source all)
Ralf Treinen
Processed: tagging 429185
Debian Bug Tracking System
Processed: bug 429185 is forwarded to http://caml.inria.fr/mantis/view.php?id=4375
Debian Bug Tracking System
Processed: found 429185 in 3.10.0-6
Debian Bug Tracking System
coq 8.1.pl1+dfsg-1 MIGRATED to testing
Debian testing watch
ocamlmakefile 6.25.0-1 MIGRATED to testing
Debian testing watch
The last update was on 13:20 GMT Thu May 02. There are 156 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