debian-ocaml-maint Oct 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
]
felix regression on arm?
Stefano Zacchiroli
Re: felix regression on arm?
Stefano Zacchiroli
Re: felix regression on arm?
skaller
Re: felix regression on arm?
Stefano Zacchiroli
Re: felix regression on arm?
skaller
Re: felix regression on arm?
skaller
Re: felix regression on arm?
Sylvain Le Gall
Re: felix regression on arm?
skaller
Re: felix regression on arm?
Julien Cristau
Re: felix regression on arm?
skaller
Dropping arm/ia64 opt compilers [was: felix regression on arm?]
Mike Furr
Re: Dropping arm/ia64 opt compilers [was: felix regression on arm?]
Sylvain Le Gall
Re: Dropping arm/ia64 opt compilers [was: felix regression on arm?]
Stefano Zacchiroli
[was: Dropping arm/ia64 opt compilers] recompiling OCaml with ocamldoc CDBS change
Sylvain Le Gall
Re: [was: Dropping arm/ia64 opt compilers] recompiling OCaml with ocamldoc CDBS change
Eric Cooper
Re: [was: Dropping arm/ia64 opt compilers] recompiling OCaml with ocamldoc CDBS change
Sylvain Le Gall
Re: felix regression on arm?
Stefano Zacchiroli
Bug#444481:
Alexander Kotelnikov
<Possible follow-ups>
Bug#444481:
spiral voice
Bug#444481:
Alexander Kotelnikov
bafoue'e
becca Gensch
aysuuyj
Enn Moreton
ehcpp"up
Einat Eubanks
Customer Service Alert From Abbey National Bank Plc
Abbey National Bank Plc
pergni
tuncer Fredrickton
tokuhitu
PJ Munsin
rizonite
Luming linares
ttec'eip
Cyndy Byrnes
Bug#445039: ITP: ocaml-reins -- data structure library for OCaml
Mike Furr
Re: Bug#445039: ITP: ocaml-reins -- data structure library for OCaml
skaller
Re: Bug#445039: ITP: ocaml-reins -- data structure library for OCaml
Mike Furr
Bug#410686: marked as done (numerix_0.22a-1(experimental/alpha/ds10): FTBFS)
Debian Bug Tracking System
Bug#410686: marked as done (numerix_0.22a-1(experimental/alpha/ds10): FTBFS)
Samuel Mimram
Bug#410686: marked as done (numerix_0.22a-1(experimental/alpha/ds10): FTBFS)
Ralf Treinen
Processed: reopen
Debian Bug Tracking System
Processed: found 410686 in 0.22a-1
Debian Bug Tracking System
Bug#445193: lablgtk2-2.10.0 breaks MLDonkey GTK2 GUI
spiral voice
Bug#445193: lablgtk2-2.10.0 breaks MLDonkey GTK2 GUI
Samuel Mimram
Bug#444481: mldonkey-server: mlnet does not start on alpha
spiral voice
Bug#444481: mldonkey-server: mlnet does not start on alpha
Alexander Kotelnikov
<Possible follow-ups>
Bug#444481: mldonkey-server: mlnet does not start on alpha
spiral voice
Bug#444481: mldonkey-server: mlnet does not start on alpha
Alexander Kotelnikov
Bug#444481: mldonkey-server: mlnet does not start on alpha
spiral voice
Bug#444481: mldonkey-server: mlnet does not start on alpha
Alexander Kotelnikov
Bug#444481: mldonkey-server: mlnet does not start on alpha
Alexander Kotelnikov
unbelievable its free
Malinda
Bug#445810: ocamlbrowser: cannot load shared library dlllabltk
Bruce Robson
Bug#445810: marked as done (ocamlbrowser: cannot load shared library dlllabltk)
Debian Bug Tracking System
Bug#445888: tuareg-mode: font-lock doesn't like comments or strings
Ivan Jager
[RFC] On going discussion about a Debian Tcl/Tk policy
Francesco P. Lovergine
Processed: tags
Debian Bug Tracking System
Debian-ocaml-maint your free password
Dustin Aguilar
Bug#446185: Confused by filenames with newlines
Trent W. Buck
Bug#446185: marked as done (Confused by filenames with newlines)
Debian Bug Tracking System
Bug#446177: Confused by filenames with newlines
Trent W. Buck
Bug#446170: Confused by filenames with newlines
Trent W. Buck
Bug#446170: marked as done (Confused by filenames with newlines)
Debian Bug Tracking System
Processed: tagging 446170
Debian Bug Tracking System
Processed: tagging 446177
Debian Bug Tracking System
Bug#322341: Software At Low Pr1ce
Daniel Sanchez
debian-ocaml-maint@lists.debian.org won!
Pablo Lay
<Possible follow-ups>
debian-ocaml-maint@lists.debian.org won!
Bobbi Overton
Processed: tagging 441645
Debian Bug Tracking System
Processed: tagging 442997
Debian Bug Tracking System
Bug#446651: ITP: ocaml-syck -- OCaml bindings for Syck, a YAML parser kit
Stefano Zacchiroli
Processed: found
Debian Bug Tracking System
Processing of ocaml-syck_0.1.1-1_i386.changes
Archive Administrator
ocaml-syck_0.1.1-1_i386.changes is NEW
Debian Installer
Processing of tuareg-mode_1.45.5-1_i386.changes
Archive Administrator
tuareg-mode_1.45.5-1_i386.changes ACCEPTED
Debian Installer
Processed: forw
Debian Bug Tracking System
Processing of ocamlmakefile_6.26.0-1_i386.changes
Archive Administrator
ocamlmakefile_6.26.0-1_i386.changes ACCEPTED
Debian Installer
Bug#446804: libfacile-ocaml-dev: please provide the examples directory
Ross Boylan
Processing of coq_8.1.pl2+dfsg-1_i386.changes
Archive Administrator
coq_8.1.pl2+dfsg-1_i386.changes ACCEPTED
Debian Installer
examples won't run
Ross Boylan
HTML examples garbled
Ross Boylan
Accepted coq 8.1.pl2+dfsg-1 (source all i386)
Samuel Mimram
my private collection
Harold Oneill
Bug#446924: ITP: ocaml-ogg -- OCaml bindings for the Ogg bitstream library
Samuel Mimram
Re: [Pkg-ocaml-maint-commits] r4635 - in /trunk/packages/ocaml/trunk/debian: cdbs/ocaml-docbase-template.txt cdbs/ocaml.mk changelog control native-archs policy/chapter-progpack.xml policy/ocaml_packaging_policy.xml
Samuel Mimram
what about a camlp{4,5}-misc package ...
Stefano Zacchiroli
Re: what about a camlp{4,5}-misc package ...
Sylvain Le Gall
Re: what about a camlp{4,5}-misc package ...
Stefano Zacchiroli
Re: what about a camlp{4,5}-misc package ...
Sylvain Le Gall
Re: what about a camlp{4,5}-misc package ...
Stefano Zacchiroli
Re: what about a camlp{4,5}-misc package ...
Sylvain Le Gall
Re: what about a camlp{4,5}-misc package ...
Stefano Zacchiroli
Re: what about a camlp{4,5}-misc package ...
Ralf Treinen
Re: Using graphivz's bindings
Cyril Brulebois
Re: Using graphivz's bindings
Samuel Mimram
Re: Using graphivz's bindings
Stefano Zacchiroli
Re: Using graphivz's bindings
Julien Cristau
Re: Using graphivz's bindings
Stefano Zacchiroli
Re: Using graphivz's bindings
Cyril Brulebois
Re: Using graphivz's bindings
Stefano Zacchiroli
Re: Using graphivz's bindings
Cyril Brulebois
Re: Using graphivz's bindings
Stefano Zacchiroli
ocaml-syck_0.1.1-1_i386.changes ACCEPTED
Debian Installer
Bug#447303: ocaml-syck: FTBFS without ocamlopt
Julien Cristau
Bug#447303: ocaml-syck: FTBFS without ocamlopt
Stefano Zacchiroli
Bug#447303: marked as done (ocaml-syck: FTBFS without ocamlopt)
Debian Bug Tracking System
Processed: setting package to libyaml-syck-ocaml libyaml-syck-ocaml-dev ocaml-syck, tagging 447303
Debian Bug Tracking System
Processing of ocaml-syck_0.1.1-2_i386.changes
Archive Administrator
ocaml-syck_0.1.1-2_i386.changes ACCEPTED
Debian Installer
Processing of mldonkey_2.9.2-1_i386.changes
Archive Administrator
mldonkey_2.9.2-1_i386.changes ACCEPTED
Debian Installer
Accepted mldonkey 2.9.2-1 (source i386)
Samuel Mimram
Accepted gmetadom 0.2.6-1 (source i386)
Stefano Zacchiroli
Bug#447984: ITP: galax -- optimized implementation of W3C's XQuery 1.0 with static typing
Stefano Zacchiroli
tuareg-mode 1:1.45.5-1 MIGRATED to testing
Debian testing watch
Bug#448142: /usr/share/emacs22/site-lisp/cmigrep.el left after purge
Géraud Meyer
Bug#448142: marked as done (/usr/share/emacs22/site-lisp/cmigrep.el left after purge)
Debian Bug Tracking System
Bug#448148: cmigrep: Suspicious warning messages during install
Géraud Meyer
ocamlmakefile 6.26.0-1 MIGRATED to testing
Debian testing watch
To succeed in business!
Malinda Minor
Re: Bug#448156: ITP: matita -- interactive theorem prover
Mike Furr
Re: Bug#448156: ITP: matita -- interactive theorem prover
Mike Furr
Re: Bug#448156: ITP: matita -- interactive theorem prover
Enrico Tassi
Re: Bug#448156: ITP: matita -- interactive theorem prover
Samuel Mimram
Processing of cmigrep_1.4-3_i386.changes
Archive Administrator
Processed: forwarded
Debian Bug Tracking System
cmigrep_1.4-3_i386.changes ACCEPTED
Debian Installer
access to amd64 machine with ocaml dev environment?
Eric Cooper
Re: access to amd64 machine with ocaml dev environment?
Sylvain Le Gall
The last update was on 09:53 GMT Tue May 10. There are 126 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