debian-ocaml-maint Aug 2009 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Re: OCaml-R packaging, clean target. Aug 23
Re: Build issue with why and libfloat-coq Aug 18
Re: OCaml-R packaging, clean target. Aug 23
Re: Debian package available for OCaml-R. Aug 26
Re: version in META Aug 22
Re: Bug report #541682 Aug 22
Re: Change ocamlfind name to "camlzip" Aug 22

Stéphane Glondu

Accepted coq 8.2.pl1+dfsg-3 (source all amd64) Aug 29

Archive Administrator

frama-c override disparity Aug 29
Processing of camlpdf_0.4-3_amd64.changes Aug 25
Processing of mlpost_0.7.1-2_amd64.changes Aug 13
Processing of camlimages_2.2.0-4+lenny2_i386.changes Aug 10
ssreflect_1.2+dfsg-1_amd64.changes ACCEPTED Aug 31
Processing of xmlm_1.0.1-2_amd64.changes Aug 30
janest-core_0.5.3-1_amd64.changes ACCEPTED Aug 30
camlpdf_0.4-3_amd64.changes ACCEPTED Aug 26
extlib_1.5.1-4_amd64.changes is NEW Aug 31
pkglab_1.4.2-5_amd64.changes ACCEPTED Aug 21
Processing of coq_8.2.pl1+dfsg-3_amd64.changes Aug 29
pgocaml_1.3-1_amd64.changes ACCEPTED Aug 15
ocsigen_1.2.0-3_amd64.changes ACCEPTED Aug 21
Processing of coccinelle_0.1.9.deb-1_amd64.changes Aug 09
laby_0.5.3-1_amd64.changes ACCEPTED Aug 26
Processing of janest-core_0.5.3-1_amd64.changes Aug 30
coccinelle_0.1.9.deb-1_amd64.changes ACCEPTED Aug 09
why_2.19+dfsg-1_amd64.changes ACCEPTED Aug 28
react_0.9.0-1_amd64.changes ACCEPTED Aug 05
Processing of laby_0.5.3-1_amd64.changes Aug 26
camlimages_2.20-8+etch1_i386.changes ACCEPTED Aug 30
camlpdf_0.4-2_amd64.changes REJECTED Aug 25
Processing of pkglab_1.4.2-5_amd64.changes Aug 21
Processing of ocsigen_1.2.0-3+lwt.1_amd64.changes Aug 30
coq_8.2.pl1+dfsg-3_amd64.changes ACCEPTED Aug 29
xmlm_1.0.1-2_amd64.changes ACCEPTED Aug 30
Processing of lwt_1.1.0+darcs20090806-1_amd64.changes Aug 20
lwt_1.1.0+darcs20090806-2_amd64.changes ACCEPTED Aug 26
camlimages_2.20-8+etch2_i386.changes ACCEPTED Aug 30
Processing of coccinelle_0.1.9.deb-1_amd64.changes Aug 09
Processing of lwt_1.1.0+darcs20090806-2_amd64.changes Aug 25
Processing of camlimages_2.2.0-4+lenny2_i386.changes Aug 10
ssreflect_1.2+dfsg-1_amd64.changes is NEW Aug 26
Processing of ocsigen_1.2.0-3_amd64.changes Aug 21
Processing of camlimages_3.0.1-3_amd64.changes Aug 08
Processing of ocsigen_1.2.0-3+lwt.0_amd64.changes Aug 21
Processing of camlimages_2.20-8+etch2_i386.changes Aug 10
Processing of ssreflect_1.2+dfsg-1_amd64.changes Aug 26
Processing of why_2.19+dfsg-1_amd64.changes Aug 28
mlpost_0.7.1-1_amd64.changes ACCEPTED Aug 11
Processing of extlib_1.5.1-4_amd64.changes Aug 31
mlpost_0.7.1-2_amd64.changes ACCEPTED Aug 13
Processing of camlpdf_0.4-2_amd64.changes Aug 25
camlimages_2.2.0-4+lenny2_i386.changes ACCEPTED Aug 11
lwt_1.1.0+darcs20090806-1_amd64.changes ACCEPTED Aug 20
Processing of frama-c_20090601~beta1+dfsg-1_amd64.changes Aug 29
Processing of lwt_1.1.0+darcs20090806-3_amd64.changes Aug 30
ocsigen_1.2.0-3+lwt.1_amd64.changes ACCEPTED Aug 30
laby_0.5.2-1_i386.changes ACCEPTED Aug 05
camlimages_3.0.1-3_amd64.changes ACCEPTED Aug 08
Processing of mlpost_0.7.1-1_amd64.changes Aug 11
camlimages_2.2.0-4+lenny1_i386.changes ACCEPTED Aug 10
ocsigen_1.2.0-3+lwt.0_amd64.changes ACCEPTED Aug 21
Processing of laby_0.5.2-1_i386.changes Aug 05
frama-c_20090601~beta1+dfsg-1_amd64.changes ACCEPTED Aug 29
lwt_1.1.0+darcs20090806-3_amd64.changes ACCEPTED Aug 30
lwt_1.1.0+darcs20090806-2_amd64.changes is NEW Aug 25
Processing of pkglab_1.4.2-5_amd64.changes Aug 21
Processing of camlimages_2.20-8+etch2_i386.changes Aug 10

Christian Perrier

About #335578 Aug 06

Daniel T Chen

Bug#540580: [PATCH] Please update debian/watch and debian/control with new base URL and home page, respectively Aug 08

David MENTRE

Build issue with why and libfloat-coq Aug 18
Re: Build issue with why and libfloat-coq Aug 18
Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed! Aug 19

Debian Archive Maintenance

Bug#544196: fixed Aug 31

Debian Bug Tracking System

Processed: gtksourceview 1.x is going away Aug 17
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows) Aug 30
Processed: tagging 540797 Aug 21
Processed: reassign 544316 to liblwt-ocaml-dev Aug 30
Processed: reassign 540797 to edos-distcheck Aug 18
Processed: setting package to edos-distcheck pkglab, tagging 538926 Aug 20
Bug#496052: marked as done (factor out a separate package for edos-debcheck wrappers) Aug 21
Bug#538925: marked as done (add-sources.py: missing space between the two files) Aug 21
Bug#516587: marked as done (please provide way to debcheck all binary packages of a source package at once) Aug 21
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows) Aug 11
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows) Aug 08
Processed: severity of 532905 is important Aug 18
Processed: setting package to coccinelle, tagging 540580 Aug 09
Processed: tagging 541635 Aug 27
Bug#536865: marked as done (ocsigen: Please add libssl-ocaml as recommended package) Aug 21
Bug#538926: marked as done (add-sources.py: Please add Architecture field) Aug 21
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows) Aug 30
Bug#535909: marked as done (camlimages: CVE-2009-2295 several integer overflows) Aug 10
Bug#529035: marked as done (edos-debcheck: doesn't handle Breaks) Aug 17
Processed: tagging 531023 Aug 27
Processed: setting package to edos-distcheck pkglab, tagging 539211 Aug 17
Processed: setting package to edos-distcheck pkglab, tagging 538925 Aug 20
Processed: tagging 516587 Aug 18
Processed: Re: Bug#535909 Aug 09
Bug#544316: marked as done (ocsigen_1.2.0-3+lwt.0(hppa/experimental): FTBFS: Checking for lwt... not found) Aug 30
Bug#538398: marked as done (coq: The description in README.Debian about proofgeneral is old.) Aug 29
Bug#539725: marked as done (log is written to wrong location) Aug 04
Bug#539211: marked as done (edos-debcheck: partially uses xml encoding when -xml option is not used) Aug 21
Processed: tagging 540146 Aug 08
Bug#540580: marked as done ([PATCH] Please update debian/watch and debian/control with new base URL and home page, respectively) Aug 09
Processed: reassign 532828 to edos-distcheck Aug 18
Processed: tags Aug 21
Bug#540146: marked as done (CVE-2009-2660: Multiple integer overflows) Aug 08

Debian testing watch

frama-c 20081201.dfsg-3 MIGRATED to testing Aug 04
mldonkey 3.0.0-3 MIGRATED to testing Aug 04
menhir 20090505.dfsg-1 MIGRATED to testing Aug 03
lablgtk2 2.12.0-3 MIGRATED to testing Aug 04
otags 3.09.3-3 MIGRATED to testing Aug 03
pcre-ocaml 6.0.1-1 MIGRATED to testing Aug 04
ocaml-sqlite3 1.5.1-1 MIGRATED to testing Aug 04
ocaml-bitstring 2.0.0-4 MIGRATED to testing Aug 03
mldonkey 3.0.0-3 MIGRATED to testing Aug 03
polygen 1.0.6.ds2-8 MIGRATED to testing Aug 03
coccinelle 0.1.8.deb-4 MIGRATED to testing Aug 03
ocaml-duppy 0.3.0-1 MIGRATED to testing Aug 04
ocaml-reins 0.1a-2 MIGRATED to testing Aug 03
mlgmp 20021123-15 MIGRATED to testing Aug 03
bin-prot 1.2.14-2 MIGRATED to testing Aug 04
ocaml-sqlite3 1.5.1-1 MIGRATED to testing Aug 03
menhir 20090505.dfsg-1 MIGRATED to testing Aug 04
ocaml 3.11.1-2 MIGRATED to testing Aug 04
polygen 1.0.6.ds2-8 MIGRATED to testing Aug 04
jocaml 3.11.1-1 MIGRATED to testing Aug 04
otags 3.09.3-3 MIGRATED to testing Aug 04
ocsigen 1.2.0-2 MIGRATED to testing Aug 03
ocaml-reins 0.1a-2 MIGRATED to testing Aug 04
bibtex2html 1.94-2 MIGRATED to testing Aug 04
cmigrep 1.5-4 MIGRATED to testing Aug 03
why 2.18.dfsg-5 MIGRATED to testing Aug 03
ocaml-taglib 0.1.3-1 MIGRATED to testing Aug 03
planets 0.1.13-9 MIGRATED to testing Aug 04
hlins 0.39-15 MIGRATED to testing Aug 04
ocaml-tools 20090719-1 MIGRATED to testing Aug 01
ocaml-text 0.2-2 MIGRATED to testing Aug 04
camlimages 1:3.0.1-2 MIGRATED to testing Aug 04
pcre-ocaml 6.0.1-1 MIGRATED to testing Aug 03
camomile 0.7.2-1 MIGRATED to testing Aug 03
ocaml-bjack 0.1.2-2 MIGRATED to testing Aug 04
why 2.18.dfsg-5 MIGRATED to testing Aug 04
ledit 2.01-4 MIGRATED to testing Aug 03
lablgtk2 2.12.0-3 MIGRATED to testing Aug 03
sexplib310 4.2.11-2 MIGRATED to testing Aug 03
camomile 0.7.2-1 MIGRATED to testing Aug 04
coq 8.2.pl1+dfsg-2 MIGRATED to testing Aug 03
camlp5 5.12-1 MIGRATED to testing Aug 03
hevea 1.10-9 MIGRATED to testing Aug 04
mlpost 0.6-3 MIGRATED to testing Aug 03
ocaml-duppy 0.3.0-1 MIGRATED to testing Aug 03
laby 0.5.2-1 MIGRATED to testing Aug 18
pkglab 1.4.2-4 MIGRATED to testing Aug 03
planets 0.1.13-9 MIGRATED to testing Aug 03
pgocaml 1.3-1 MIGRATED to testing Aug 26
frama-c 20081201.dfsg-3 MIGRATED to testing Aug 03
ocaml-res 3.2.0-1 MIGRATED to testing Aug 04
bibtex2html 1.94-2 MIGRATED to testing Aug 03
hlins 0.39-15 MIGRATED to testing Aug 03
nurpawiki 1.2.2-4 MIGRATED to testing Aug 03
camlimages 1:3.0.1-3 MIGRATED to testing Aug 15
headache 1.03-17 MIGRATED to testing Aug 03
ceve 1.4-1 MIGRATED to testing Aug 03
ocaml-getopt 0.0.20040811-9 MIGRATED to testing Aug 04
bin-prot 1.2.14-2 MIGRATED to testing Aug 03
camlimages 1:3.0.1-2 MIGRATED to testing Aug 03
coccinelle 0.1.9.deb-1 MIGRATED to testing Aug 20
mlpost 0.6-3 MIGRATED to testing Aug 04
ocaml-text 0.2-2 MIGRATED to testing Aug 03
headache 1.03-17 MIGRATED to testing Aug 04
ocaml-batteries 0.20090405+beta1-2 MIGRATED to testing Aug 03
mlpost 0.7.1-2 MIGRATED to testing Aug 24
ocaml 3.11.1-2 MIGRATED to testing Aug 03
ocamlwc 0.3-7 MIGRATED to testing Aug 03
nurpawiki 1.2.2-4 MIGRATED to testing Aug 04
laby 0.5.1-1 MIGRATED to testing Aug 04
ocamlgraph 1.1-1 MIGRATED to testing Aug 04
coq-float 1:8.2-1.2-3 MIGRATED to testing Aug 04
ocaml-getopt 0.0.20040811-9 MIGRATED to testing Aug 03
coq-float 1:8.2-1.2-3 MIGRATED to testing Aug 03
ocamlweb 1.37-11 MIGRATED to testing Aug 03
hevea 1.10-9 MIGRATED to testing Aug 03
ocaml-taglib 0.1.3-1 MIGRATED to testing Aug 04
jocaml 3.11.1-1 MIGRATED to testing Aug 03
ocamlgraph 1.1-1 MIGRATED to testing Aug 03
react 0.9.0-1 MIGRATED to testing Aug 16
laby 0.5.1-1 MIGRATED to testing Aug 03
ocaml-batteries 0.20090405+beta1-2 MIGRATED to testing Aug 04
mlgmp 20021123-15 MIGRATED to testing Aug 04
alt-ergo 0.9-1 MIGRATED to testing Aug 04
ocamlweb 1.37-11 MIGRATED to testing Aug 04
cmigrep 1.5-4 MIGRATED to testing Aug 04
dose2 1.4.2-1 MIGRATED to testing Aug 03
ocamlwc 0.3-7 MIGRATED to testing Aug 04
coccinelle 0.1.8.deb-4 MIGRATED to testing Aug 04
ceve 1.4-1 MIGRATED to testing Aug 04
ocaml-bitstring 2.0.0-4 MIGRATED to testing Aug 04
ocaml-res 3.2.0-1 MIGRATED to testing Aug 03
ocamlduce 3.11.1.0-1 MIGRATED to testing Aug 03
ocamlcreal 0.7-5 MIGRATED to testing Aug 03
ocsigen 1.2.0-2 MIGRATED to testing Aug 04
camlimages 1:3.0.1-3 MIGRATED to testing Aug 14
ocaml-bjack 0.1.2-2 MIGRATED to testing Aug 03
alt-ergo 0.9-1 MIGRATED to testing Aug 03
camlp5 5.12-1 MIGRATED to testing Aug 04
dose2 1.4.2-1 MIGRATED to testing Aug 04
sexplib310 4.2.11-2 MIGRATED to testing Aug 04
dh-ocaml 0.5.0 MIGRATED to testing Aug 01
ocamlduce 3.11.1.0-1 MIGRATED to testing Aug 04
ocamlcreal 0.7-5 MIGRATED to testing Aug 04
pkglab 1.4.2-4 MIGRATED to testing Aug 04
ledit 2.01-4 MIGRATED to testing Aug 04

Eric Lavarde

Bug#541700: unison-gtk: Icon given in .desktop file isn't found by KDE Aug 15

Florent Monnier

ocaml-mad :: openfile segfault Aug 09
version in META Aug 22

Frank Lichtenheld

Bug#544316: ocsigen_1.2.0-3+lwt.0(hppa/experimental): FTBFS: Checking for lwt... not found Aug 30

Giuseppe Iuculano

Bug#540146: CVE-2009-2660: Multiple integer overflows Aug 06

Guillaume Yziquel

Re: OCaml-R packaging, clean target. Aug 23
Bug#542771: ocaml-dbus: Version is not up to date. Aug 21
Re: Bug report #541682 Aug 22
Re: OCaml-R packaging, clean target. Aug 23
Re: Debian package available for OCaml-R. Aug 26
Re: Debian package available for OCaml-R. Aug 26
Bug report #541682 Aug 22
Debian package available for OCaml-R. Aug 26
OCaml-R packaging, clean target. Aug 23

Hezekiah M. Carty

Re: Change ocamlfind name to "camlzip" Aug 22

imss@dfki.de

IMSS Security settings violation Aug 06

Joachim Breitner

Re: BD-Uninstallable performance. Aug 04
Re: BD-Uninstallable performance. Aug 05
Re: BD-Uninstallable performance. Aug 03

joss

Bug#541959: matita: depends on deprecated libgtksourceview1.0 Aug 16
Bug#541963: frama-c: depends on deprecated libgtksourceview1.0 Aug 16
Bug#541961: cameleon: depends on deprecated libgtksourceview1.0 Aug 16
Bug#541958: laby: depends on deprecated libgtksourceview1.0 Aug 16

Josselin Mouette

Bug#532905: gtksourceview 1.x is going away Aug 17

Kurt Roeckx

Re: BD-Uninstallable performance. Aug 04
Re: BD-Uninstallable performance. Aug 04

Lionel Elie Mamane

Bug#542399: tuareg-mode: caml-types-explore fails with "Wrong type argument: stringp, 116" Aug 19

Luk Claes

Re: GCC 4.4 run-time license and non-GPLv3 compilers Aug 16

Marco Rodrigues

About unison2.9.1 package bugs Aug 01

martin f krafft

Bug#544175: add_mail_brackets option wrong default and description Aug 29
Bug#539726: log file is not rotated Aug 03
Bug#539725: log is written to wrong location Aug 03

Matthias Klose

Re: GCC 4.4 run-time license and non-GPLv3 compilers Aug 20

Maxence Guesdon

Re: OCaml-R packaging, clean target. Aug 25

Mehdi Dogguy

Bug#544404: Fail to load plugins at startup Aug 31
Re: About #335578 Aug 06
Re: Debian package available for OCaml-R. Aug 26
Re: OCaml-R packaging, clean target. Aug 23

Michael S. Gilbert

Bug#535909: Aug 09
Bug#535909: Aug 10

Michel Quercia

Bug#535412: numerix: bashism in debian/rules Aug 29

Philipp Kern

Re: BD-Uninstallable performance. Aug 05

Ralf Treinen

Bug#540797: Bug #540797 - edos-debcheck: output format needs to be easier to parse Aug 21
Bug#538925: setting package to edos-distcheck pkglab, tagging 538925 Aug 20
reassign 532828 to edos-distcheck Aug 18
reassign 540797 to edos-distcheck Aug 18

Raphael Geissert

Bug#541635: liquidsoap: incorrect dependencies on init script Aug 15

Romain Beauxis

Re: ocaml-mad :: openfile segfault Aug 10

Stefan Lachinger

Bug#540481: unison has ocaml-base as dependency which has x11 as dependency...thats not necessarry Aug 08

Stefano Zacchiroli

Re: BD-Uninstallable performance. Aug 04
Re: BD-Uninstallable performance. Aug 05
Re: NM Report for Week Ending 30 Aug 2009 Aug 31
Bug#539610: wanna-build-integration-wishlist Aug 02
Re: BD-Uninstallable performance. Aug 04

Steffen Joeris

Bug#540146: gentoo's patch and debdiff Aug 08

Sylvain Le Gall

Re: About unison2.9.1 package bugs Aug 01
Bug#540146: gentoo's patch and debdiff Aug 08
Bug#535909: Aug 09

The last update was on 20:25 GMT Sun Jun 23. There are 270 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc