debian-ocaml-maint Aug 2009 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
]
dh-ocaml 0.5.0 MIGRATED to testing
Debian testing watch
ocaml-tools 20090719-1 MIGRATED to testing
Debian testing watch
About unison2.9.1 package bugs
Marco Rodrigues
Re: About unison2.9.1 package bugs
Sylvain Le Gall
Bug#539610: wanna-build-integration-wishlist
Stefano Zacchiroli
Bug#539726: log file is not rotated
martin f krafft
Bug#539725: log is written to wrong location
martin f krafft
Bug#539725: marked as done (log is written to wrong location)
Debian Bug Tracking System
dose2 1.4.2-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
dose2 1.4.2-1 MIGRATED to testing
Debian testing watch
coq-float 1:8.2-1.2-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
coq-float 1:8.2-1.2-3 MIGRATED to testing
Debian testing watch
frama-c 20081201.dfsg-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
frama-c 20081201.dfsg-3 MIGRATED to testing
Debian testing watch
coq 8.2.pl1+dfsg-2 MIGRATED to testing
Debian testing watch
coccinelle 0.1.8.deb-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
coccinelle 0.1.8.deb-4 MIGRATED to testing
Debian testing watch
camlp5 5.12-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
camlp5 5.12-1 MIGRATED to testing
Debian testing watch
bin-prot 1.2.14-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
bin-prot 1.2.14-2 MIGRATED to testing
Debian testing watch
headache 1.03-17 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
headache 1.03-17 MIGRATED to testing
Debian testing watch
hevea 1.10-9 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
hevea 1.10-9 MIGRATED to testing
Debian testing watch
bibtex2html 1.94-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
bibtex2html 1.94-2 MIGRATED to testing
Debian testing watch
cmigrep 1.5-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
cmigrep 1.5-4 MIGRATED to testing
Debian testing watch
hlins 0.39-15 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
hlins 0.39-15 MIGRATED to testing
Debian testing watch
laby 0.5.1-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
laby 0.5.1-1 MIGRATED to testing
Debian testing watch
jocaml 3.11.1-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
jocaml 3.11.1-1 MIGRATED to testing
Debian testing watch
ledit 2.01-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ledit 2.01-4 MIGRATED to testing
Debian testing watch
ocamlwc 0.3-7 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocamlwc 0.3-7 MIGRATED to testing
Debian testing watch
lablgtk2 2.12.0-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
lablgtk2 2.12.0-3 MIGRATED to testing
Debian testing watch
mldonkey 3.0.0-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
mldonkey 3.0.0-3 MIGRATED to testing
Debian testing watch
nurpawiki 1.2.2-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
nurpawiki 1.2.2-4 MIGRATED to testing
Debian testing watch
pcre-ocaml 6.0.1-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
pcre-ocaml 6.0.1-1 MIGRATED to testing
Debian testing watch
ocaml-duppy 0.3.0-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-duppy 0.3.0-1 MIGRATED to testing
Debian testing watch
mlpost 0.6-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
mlpost 0.6-3 MIGRATED to testing
Debian testing watch
menhir 20090505.dfsg-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
menhir 20090505.dfsg-1 MIGRATED to testing
Debian testing watch
camlimages 1:3.0.1-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
camlimages 1:3.0.1-2 MIGRATED to testing
Debian testing watch
mlgmp 20021123-15 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
mlgmp 20021123-15 MIGRATED to testing
Debian testing watch
ocaml-text 0.2-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-text 0.2-2 MIGRATED to testing
Debian testing watch
ocaml-getopt 0.0.20040811-9 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-getopt 0.0.20040811-9 MIGRATED to testing
Debian testing watch
ocaml-batteries 0.20090405+beta1-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-batteries 0.20090405+beta1-2 MIGRATED to testing
Debian testing watch
ocamlduce 3.11.1.0-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocamlduce 3.11.1.0-1 MIGRATED to testing
Debian testing watch
ocaml-bitstring 2.0.0-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-bitstring 2.0.0-4 MIGRATED to testing
Debian testing watch
ocaml-taglib 0.1.3-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-taglib 0.1.3-1 MIGRATED to testing
Debian testing watch
ocaml-reins 0.1a-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-reins 0.1a-2 MIGRATED to testing
Debian testing watch
camomile 0.7.2-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
camomile 0.7.2-1 MIGRATED to testing
Debian testing watch
ocsigen 1.2.0-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocsigen 1.2.0-2 MIGRATED to testing
Debian testing watch
ocaml-bjack 0.1.2-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-bjack 0.1.2-2 MIGRATED to testing
Debian testing watch
ocaml 3.11.1-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml 3.11.1-2 MIGRATED to testing
Debian testing watch
ocaml-sqlite3 1.5.1-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-sqlite3 1.5.1-1 MIGRATED to testing
Debian testing watch
ocamlgraph 1.1-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocamlgraph 1.1-1 MIGRATED to testing
Debian testing watch
planets 0.1.13-9 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
planets 0.1.13-9 MIGRATED to testing
Debian testing watch
ocamlweb 1.37-11 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocamlweb 1.37-11 MIGRATED to testing
Debian testing watch
ocaml-res 3.2.0-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocaml-res 3.2.0-1 MIGRATED to testing
Debian testing watch
why 2.18.dfsg-5 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
why 2.18.dfsg-5 MIGRATED to testing
Debian testing watch
polygen 1.0.6.ds2-8 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
polygen 1.0.6.ds2-8 MIGRATED to testing
Debian testing watch
ocamlcreal 0.7-5 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ocamlcreal 0.7-5 MIGRATED to testing
Debian testing watch
alt-ergo 0.9-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
alt-ergo 0.9-1 MIGRATED to testing
Debian testing watch
sexplib310 4.2.11-2 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
sexplib310 4.2.11-2 MIGRATED to testing
Debian testing watch
pkglab 1.4.2-4 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
pkglab 1.4.2-4 MIGRATED to testing
Debian testing watch
ceve 1.4-1 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
ceve 1.4-1 MIGRATED to testing
Debian testing watch
otags 3.09.3-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
otags 3.09.3-3 MIGRATED to testing
Debian testing watch
Re: BD-Uninstallable performance.
Joachim Breitner
Re: BD-Uninstallable performance.
Stefano Zacchiroli
Re: BD-Uninstallable performance.
Joachim Breitner
Re: BD-Uninstallable performance.
Stefano Zacchiroli
Re: BD-Uninstallable performance.
Kurt Roeckx
Re: BD-Uninstallable performance.
Kurt Roeckx
Re: BD-Uninstallable performance.
Stefano Zacchiroli
Re: BD-Uninstallable performance.
Joachim Breitner
Re: BD-Uninstallable performance.
Philipp Kern
Processing of laby_0.5.2-1_i386.changes
Archive Administrator
laby_0.5.2-1_i386.changes ACCEPTED
Archive Administrator
react_0.9.0-1_amd64.changes ACCEPTED
Archive Administrator
Bug#540146: CVE-2009-2660: Multiple integer overflows
Giuseppe Iuculano
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows)
Debian Bug Tracking System
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows)
Debian Bug Tracking System
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows)
Debian Bug Tracking System
IMSS Security settings violation
imss@dfki.de
About #335578
Christian Perrier
Re: About #335578
Mehdi Dogguy
Processed: tagging 540146
Debian Bug Tracking System
Bug#540146: gentoo's patch and debdiff
Steffen Joeris
Bug#540146: gentoo's patch and debdiff
Sylvain Le Gall
Processing of camlimages_3.0.1-3_amd64.changes
Archive Administrator
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows)
Debian Bug Tracking System
<Possible follow-ups>
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows)
Debian Bug Tracking System
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows)
Debian Bug Tracking System
camlimages_3.0.1-3_amd64.changes ACCEPTED
Archive Administrator
Bug#540481: unison has ocaml-base as dependency which has x11 as dependency...thats not necessarry
Stefan Lachinger
Bug#540580: [PATCH] Please update debian/watch and debian/control with new base URL and home page, respectively
Daniel T Chen
Bug#540580: marked as done ([PATCH] Please update debian/watch and debian/control with new base URL and home page, respectively)
Debian Bug Tracking System
Bug#535909:
Michael S. Gilbert
Processed: Re: Bug#535909
Debian Bug Tracking System
Bug#535909:
Sylvain Le Gall
Bug#535909:
Michael S. Gilbert
Processed: setting package to coccinelle, tagging 540580
Debian Bug Tracking System
Processing of coccinelle_0.1.9.deb-1_amd64.changes
Archive Administrator
<Possible follow-ups>
Processing of coccinelle_0.1.9.deb-1_amd64.changes
Archive Administrator
coccinelle_0.1.9.deb-1_amd64.changes ACCEPTED
Archive Administrator
ocaml-mad :: openfile segfault
Florent Monnier
Re: ocaml-mad :: openfile segfault
Romain Beauxis
Processing of camlimages_2.20-8+etch2_i386.changes
Archive Administrator
<Possible follow-ups>
Processing of camlimages_2.20-8+etch2_i386.changes
Archive Administrator
Processing of camlimages_2.2.0-4+lenny2_i386.changes
Archive Administrator
<Possible follow-ups>
Processing of camlimages_2.2.0-4+lenny2_i386.changes
Archive Administrator
camlimages_2.2.0-4+lenny1_i386.changes ACCEPTED
Archive Administrator
camlimages_2.2.0-4+lenny2_i386.changes ACCEPTED
Archive Administrator
Processing of mlpost_0.7.1-1_amd64.changes
Archive Administrator
mlpost_0.7.1-1_amd64.changes ACCEPTED
Archive Administrator
Processing of mlpost_0.7.1-2_amd64.changes
Archive Administrator
mlpost_0.7.1-2_amd64.changes ACCEPTED
Archive Administrator
camlimages 1:3.0.1-3 MIGRATED to testing
Debian testing watch
<Possible follow-ups>
camlimages 1:3.0.1-3 MIGRATED to testing
Debian testing watch
Bug#541635: liquidsoap: incorrect dependencies on init script
Raphael Geissert
pgocaml_1.3-1_amd64.changes ACCEPTED
Archive Administrator
Bug#541700: unison-gtk: Icon given in .desktop file isn't found by KDE
Eric Lavarde
Re: GCC 4.4 run-time license and non-GPLv3 compilers
Luk Claes
Re: GCC 4.4 run-time license and non-GPLv3 compilers
Matthias Klose
react 0.9.0-1 MIGRATED to testing
Debian testing watch
Bug#541959: matita: depends on deprecated libgtksourceview1.0
joss
Bug#541961: cameleon: depends on deprecated libgtksourceview1.0
joss
Bug#541958: laby: depends on deprecated libgtksourceview1.0
joss
Bug#541963: frama-c: depends on deprecated libgtksourceview1.0
joss
Bug#532905: gtksourceview 1.x is going away
Josselin Mouette
Processed: gtksourceview 1.x is going away
Debian Bug Tracking System
Bug#529035: marked as done (edos-debcheck: doesn't handle Breaks)
Debian Bug Tracking System
Processed: setting package to edos-distcheck pkglab, tagging 539211
Debian Bug Tracking System
Build issue with why and libfloat-coq
David MENTRE
Re: Build issue with why and libfloat-coq
Stéphane Glondu
Re: Build issue with why and libfloat-coq
David MENTRE
Processed: severity of 532905 is important
Debian Bug Tracking System
reassign 540797 to edos-distcheck
Ralf Treinen
Processed: reassign 540797 to edos-distcheck
Debian Bug Tracking System
reassign 532828 to edos-distcheck
Ralf Treinen
Processed: reassign 532828 to edos-distcheck
Debian Bug Tracking System
Processed: tagging 516587
Debian Bug Tracking System
laby 0.5.2-1 MIGRATED to testing
Debian testing watch
Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed!
David MENTRE
Bug#542399: tuareg-mode: caml-types-explore fails with "Wrong type argument: stringp, 116"
Lionel Elie Mamane
Bug#538925: setting package to edos-distcheck pkglab, tagging 538925
Ralf Treinen
Processed: setting package to edos-distcheck pkglab, tagging 538925
Debian Bug Tracking System
Processing of lwt_1.1.0+darcs20090806-1_amd64.changes
Archive Administrator
lwt_1.1.0+darcs20090806-1_amd64.changes ACCEPTED
Archive Administrator
coccinelle 0.1.9.deb-1 MIGRATED to testing
Debian testing watch
Processed: setting package to edos-distcheck pkglab, tagging 538926
Debian Bug Tracking System
Processing of ocsigen_1.2.0-3_amd64.changes
Archive Administrator
Bug#542771: ocaml-dbus: Version is not up to date.
Guillaume Yziquel
ocsigen_1.2.0-3_amd64.changes ACCEPTED
Archive Administrator
Bug#536865: marked as done (ocsigen: Please add libssl-ocaml as recommended package)
Debian Bug Tracking System
Processing of ocsigen_1.2.0-3+lwt.0_amd64.changes
Archive Administrator
ocsigen_1.2.0-3+lwt.0_amd64.changes ACCEPTED
Archive Administrator
Processing of pkglab_1.4.2-5_amd64.changes
Archive Administrator
<Possible follow-ups>
Processing of pkglab_1.4.2-5_amd64.changes
Archive Administrator
Bug#496052: marked as done (factor out a separate package for edos-debcheck wrappers)
Debian Bug Tracking System
Processed: tagging 540797
Debian Bug Tracking System
Bug#540797: Bug #540797 - edos-debcheck: output format needs to be easier to parse
Ralf Treinen
Processed: tags
Debian Bug Tracking System
pkglab_1.4.2-5_amd64.changes ACCEPTED
Archive Administrator
Bug#539211: marked as done (edos-debcheck: partially uses xml encoding when -xml option is not used)
Debian Bug Tracking System
Bug#538925: marked as done (add-sources.py: missing space between the two files)
Debian Bug Tracking System
Bug#516587: marked as done (please provide way to debcheck all binary packages of a source package at once)
Debian Bug Tracking System
Bug#538926: marked as done (add-sources.py: Please add Architecture field)
Debian Bug Tracking System
version in META
Florent Monnier
Re: version in META
Stéphane Glondu
Re: Change ocamlfind name to "camlzip"
Stéphane Glondu
Re: Change ocamlfind name to "camlzip"
Hezekiah M. Carty
Bug report #541682
Guillaume Yziquel
Re: Bug report #541682
Stéphane Glondu
Re: Bug report #541682
Guillaume Yziquel
OCaml-R packaging, clean target.
Guillaume Yziquel
Re: OCaml-R packaging, clean target.
Guillaume Yziquel
Re: OCaml-R packaging, clean target.
Stéphane Glondu
Re: OCaml-R packaging, clean target.
Mehdi Dogguy
Re: OCaml-R packaging, clean target.
Guillaume Yziquel
Re: OCaml-R packaging, clean target.
Stéphane Glondu
Re: OCaml-R packaging, clean target.
Maxence Guesdon
mlpost 0.7.1-2 MIGRATED to testing
Debian testing watch
Processing of lwt_1.1.0+darcs20090806-2_amd64.changes
Archive Administrator
lwt_1.1.0+darcs20090806-2_amd64.changes is NEW
Archive Administrator
Processing of camlpdf_0.4-2_amd64.changes
Archive Administrator
camlpdf_0.4-2_amd64.changes REJECTED
Archive Administrator
Processing of camlpdf_0.4-3_amd64.changes
Archive Administrator
camlpdf_0.4-3_amd64.changes ACCEPTED
Archive Administrator
Debian package available for OCaml-R.
Guillaume Yziquel
Re: Debian package available for OCaml-R.
Stéphane Glondu
Re: Debian package available for OCaml-R.
Guillaume Yziquel
Re: Debian package available for OCaml-R.
Mehdi Dogguy
Re: Debian package available for OCaml-R.
Guillaume Yziquel
Processing of laby_0.5.3-1_amd64.changes
Archive Administrator
laby_0.5.3-1_amd64.changes ACCEPTED
Archive Administrator
lwt_1.1.0+darcs20090806-2_amd64.changes ACCEPTED
Archive Administrator
pgocaml 1.3-1 MIGRATED to testing
Debian testing watch
Processing of ssreflect_1.2+dfsg-1_amd64.changes
Archive Administrator
ssreflect_1.2+dfsg-1_amd64.changes is NEW
Archive Administrator
Processed: tagging 541635
Debian Bug Tracking System
Processed: tagging 531023
Debian Bug Tracking System
Processing of why_2.19+dfsg-1_amd64.changes
Archive Administrator
why_2.19+dfsg-1_amd64.changes ACCEPTED
Archive Administrator
Bug#535412: numerix: bashism in debian/rules
Michel Quercia
Processing of frama-c_20090601~beta1+dfsg-1_amd64.changes
Archive Administrator
frama-c override disparity
Archive Administrator
frama-c_20090601~beta1+dfsg-1_amd64.changes ACCEPTED
Archive Administrator
Bug#544175: add_mail_brackets option wrong default and description
martin f krafft
Processing of coq_8.2.pl1+dfsg-3_amd64.changes
Archive Administrator
coq_8.2.pl1+dfsg-3_amd64.changes ACCEPTED
Archive Administrator
Bug#538398: marked as done (coq: The description in README.Debian about proofgeneral is old.)
Debian Bug Tracking System
Accepted coq 8.2.pl1+dfsg-3 (source all amd64)
Stéphane Glondu
Processing of janest-core_0.5.3-1_amd64.changes
Archive Administrator
camlimages_2.20-8+etch1_i386.changes ACCEPTED
Archive Administrator
janest-core_0.5.3-1_amd64.changes ACCEPTED
Archive Administrator
camlimages_2.20-8+etch2_i386.changes ACCEPTED
Archive Administrator
Bug#544316: ocsigen_1.2.0-3+lwt.0(hppa/experimental): FTBFS: Checking for lwt... not found
Frank Lichtenheld
Bug#544316: marked as done (ocsigen_1.2.0-3+lwt.0(hppa/experimental): FTBFS: Checking for lwt... not found)
Debian Bug Tracking System
Processing of xmlm_1.0.1-2_amd64.changes
Archive Administrator
Processed: reassign 544316 to liblwt-ocaml-dev
Debian Bug Tracking System
Processing of lwt_1.1.0+darcs20090806-3_amd64.changes
Archive Administrator
lwt_1.1.0+darcs20090806-3_amd64.changes ACCEPTED
Archive Administrator
xmlm_1.0.1-2_amd64.changes ACCEPTED
Archive Administrator
Processing of ocsigen_1.2.0-3+lwt.1_amd64.changes
Archive Administrator
ocsigen_1.2.0-3+lwt.1_amd64.changes ACCEPTED
Archive Administrator
Re: NM Report for Week Ending 30 Aug 2009
Stefano Zacchiroli
Bug#544196: fixed
Debian Archive Maintenance
Bug#544404: Fail to load plugins at startup
Mehdi Dogguy
Processing of extlib_1.5.1-4_amd64.changes
Archive Administrator
extlib_1.5.1-4_amd64.changes is NEW
Archive Administrator
ssreflect_1.2+dfsg-1_amd64.changes ACCEPTED
Archive Administrator
The last update was on 20:25 GMT Sun Jun 23. There are 270 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