debian-ocaml-maint Oct 2015 by author

[previous page]

Page 1 of 1

[next page]

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

Pierre-Marie Pédrot

Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22
Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22

Sébastien Hinderer

Re: Coccinelle dependencies Oct 28
Coccinelle dependencies Oct 27

Stéphane Glondu

Bug#801459: FTBFS with OCaml 4.02.3 Oct 10
Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token Oct 20
Bug#801773: FTBFS with OCaml 4.02.3 Oct 14
Bug#803257: ITP: reactivedata -- FRP with incremental changes in data structures Oct 28
Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02 Oct 29
Bug#801458: FTBFS with OCaml 4.02.3 Oct 10

Stéphane Glondu

Re: Bug#789619: plplot: FTBFS: Configuring incomplete, errors occurred! (debdiff so far) Oct 14
Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22
Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22
Bytecode/native interoperability of .vo/.coq files Oct 22
Re: Bug#789133: transition: ocaml 4.02.3 Oct 05
Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable Oct 13
Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22
Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable Oct 22

Andreas Beckmann

Chris West (Faux)

Debian Bug Tracking System

Processed: Re: Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal Oct 14
Processed: found 802096 in 0.4+nmu1, found 802096 in 1.1.1-1, tagging 802055, tagging 790352, tagging 801802 Oct 17
Bug#802347: marked as done (mlpost: FTBFS: mlpost.mli: lexing: empty token) Oct 20
Processed: closing 727044 Oct 17
Bug#801773: marked as done (FTBFS with OCaml 4.02.3) Oct 16
Bug#797100: marked as done (misleading directions in example ocaml.ben) Oct 18
Bug#801550: marked as done (ocamlnet: FTBFS -- unterminated string literal) Oct 16
Processed: block 789133 with 801459 Oct 10
Processed: found 802347 in 4.02.3-2 Oct 20
Bug#800390: marked as done (ben: Section should be “devel”) Oct 18
Processed: retitle 801550 to ocamlnet: FTBFS -- unterminated string literal, tagging 801550 Oct 15
Processed: unblock 800438 with 788671, block 800438 with 786671 Oct 04
Bug#798263: marked as done (coccinelle: libparmap-ocaml) Oct 12
Bug#776573: marked as done (Correct "seriuos" -> "serious" typo in manpage) Oct 10
Processed: tagging 801773 Oct 15
Processed: merge 227623 252336 Oct 25
Bug#801459: marked as done (FTBFS with OCaml 4.02.3) Oct 12
Bug#801560: marked as done (liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so) Oct 13
Processed: Re: Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token Oct 20
Processed: Re: Bug#394946: unison: merge2 option rejected Oct 25
Processed: liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so Oct 12
Bug#394946: marked as done (unison: merge2 option rejected) Oct 29
Processed: tagging 802268, tagging 802264, tagging 802187, tagging 802184 Oct 19
Bug#776576: marked as done (polygen: please make the build reproducible) Oct 10

Debian FTP Masters

Processing of aac-tactics_0.4-5_amd64.changes Oct 14
Processing of bibtex2html_1.98-3_amd64.changes Oct 10
labltk_8.06.0+dfsg-2_amd64.changes ACCEPTED into unstable Oct 09
Processing of coccinelle_1.0.3.deb-1_amd64.changes Oct 27
aac-tactics_0.4-5_amd64.changes ACCEPTED into unstable Oct 14
Processing of lwt_2.5.0+1-1_amd64.changes Oct 14
Processing of lablgl_1.05-2_amd64.changes Oct 10
Processing of ocaml-usb_1.3.0-3_amd64.changes Oct 16
Processing of ocaml-ssl_0.5.1-1_amd64.changes Oct 14
Processing of xstrp4_1.8.1-3_amd64.changes Oct 18
ssreflect_1.5-3_amd64.changes REJECTED Oct 14
Processing of ben_0.7.2_amd64.changes Oct 18
Processing of xstrp4_1.8.1-2_amd64.changes Oct 18
ledit_2.03-4_amd64.changes ACCEPTED into unstable Oct 10
Processing of aac-tactics_0.4-5_amd64.changes Oct 14
Processing of labltk_8.06.0+dfsg-3_amd64.changes Oct 13
prooftree_0.12-2_amd64.changes ACCEPTED into unstable Oct 14
Processing of mldonkey_3.1.5-3_amd64.changes Oct 14
ocamlnet_4.0.4-1_amd64.changes ACCEPTED into unstable Oct 16
Processing of ocaml-lastfm_0.3.0-4_amd64.changes Oct 16
Processing of reactivedata_0.1-1_amd64.changes Oct 29
lwt_2.5.0+1-1_amd64.changes ACCEPTED into unstable Oct 14
Processing of js-of-ocaml_2.5-1_amd64.changes Oct 18
Processing of hlins_0.39-21_amd64.changes Oct 10
Processing of planets_0.1.13-15_amd64.changes Oct 10
camlimages_4.2.0-1_amd64.changes ACCEPTED into unstable Oct 12
lablgl_1.05-2_amd64.changes ACCEPTED into unstable Oct 10
Processing of ocamlodbc_2.15-6_amd64.changes Oct 17
Processing of ocaml-batteries_2.3-1_amd64.changes Oct 10
Processing of tyxml_3.5.0-1_amd64.changes Oct 18
Processing of ocamlnet_4.0.4-1_amd64.changes Oct 16
ocaml_4.02.3-4_amd64.changes ACCEPTED into unstable Oct 18
cmigrep_1.5-13_amd64.changes ACCEPTED into unstable Oct 16
Processing of ocaml_4.02.3-4_amd64.changes Oct 18
lablgtk2_2.18.3+dfsg-1_amd64.changes ACCEPTED into unstable Oct 11
Processing of hevea_2.23-2_amd64.changes Oct 10
xstrp4_1.8.1-2_amd64.changes REJECTED Oct 17
tophide_1.0.3-1_amd64.changes ACCEPTED into unstable Oct 11
Processing of coq_8.4pl4dfsg-2_amd64.changes Oct 13
xstrp4_1.8.1-3_amd64.changes ACCEPTED into unstable Oct 18
ocaml-lastfm_0.3.0-4_amd64.changes ACCEPTED into unstable Oct 16
xstrp4_1.8.1-2_amd64.changes ACCEPTED into unstable Oct 18
reactivedata_0.1-1_amd64.changes is NEW Oct 29
freetennis_0.4.8-10_amd64.changes ACCEPTED into unstable Oct 14
Processing of camlp5_6.14-1_amd64.changes Oct 09
Processing of ocaml_4.02.3-3_amd64.changes Oct 08
Processing of xmlrpc-light_0.6.1-4_amd64.changes Oct 16
coq-float_8.4-5_amd64.changes ACCEPTED into unstable Oct 14
Processing of coq-float_8.4-5_amd64.changes Oct 14
Processing of ocsigenserver_2.6-1_amd64.changes Oct 18
ocaml_4.02.3-3_amd64.changes ACCEPTED into unstable Oct 08
findlib_1.5.5-2_amd64.changes ACCEPTED into unstable Oct 08
Processing of tophide_1.0.3-1_amd64.changes Oct 11
xmlrpc-light_0.6.1-4_amd64.changes ACCEPTED into unstable Oct 16
Processing of ppx-tools_0.99.2-4_amd64.changes Oct 11
coinst_1.9.1-2_amd64.changes ACCEPTED into unstable Oct 18
ssreflect_1.5-3_amd64.changes ACCEPTED into unstable Oct 14
Processing of coccinelle_1.0.3.deb-2_amd64.changes Oct 28
Processing of ssreflect_1.5-3_amd64.changes Oct 14
Processing of mathcomp_1.5-4_amd64.changes Oct 17
coq_8.4pl4dfsg-3_amd64.changes ACCEPTED into unstable Oct 22
ocamlify_0.0.2-3_amd64.changes ACCEPTED into unstable Oct 10
polygen_1.0.6.ds2-14_amd64.changes ACCEPTED into unstable Oct 10
Processing of otags_4.01.1-2_amd64.changes Oct 16
galax_1.1-13_amd64.changes ACCEPTED into unstable Oct 16
ocaml-usb_1.3.0-3_amd64.changes ACCEPTED into unstable Oct 16
react_1.2.0-1_amd64.changes ACCEPTED into experimental Oct 29
Processing of findlib_1.5.5-2_amd64.changes Oct 08
coccinelle_1.0.2.deb-1_amd64.changes ACCEPTED into experimental Oct 12
otags_4.01.1-2_amd64.changes ACCEPTED into unstable Oct 16
tyxml_3.0.0-2_amd64.changes ACCEPTED into unstable Oct 17
Processing of cmigrep_1.5-13_amd64.changes Oct 16
coq-float_8.4-5_amd64.changes REJECTED Oct 14
Processing of dose3_4.0.2-2_amd64.changes Oct 16
camlp5_6.14-1_amd64.changes ACCEPTED into unstable Oct 09
ocaml-tools_20120103-4_amd64.changes ACCEPTED into unstable Oct 10
mathcomp_1.5-4_amd64.changes ACCEPTED into unstable Oct 17
Processing of ocaml-reins_0.1a-6_amd64.changes Oct 16
Processing of freetennis_0.4.8-10_amd64.changes Oct 14
Processing of obus_1.1.5-4_amd64.changes Oct 16
ben_0.7.3_amd64.changes ACCEPTED into unstable Oct 18
dose3_4.0.2-2_amd64.changes ACCEPTED into unstable Oct 16
aac-tactics_0.4-5_amd64.changes REJECTED Oct 14
ocamlwc_0.3-12_amd64.changes ACCEPTED into unstable Oct 10
ppx-tools_0.99.2-4_amd64.changes ACCEPTED into unstable Oct 11
tyxml_3.5.0-1_amd64.changes ACCEPTED into unstable Oct 18
Processing of ocaml_4.02.3-5_amd64.changes Oct 20
labltk_8.06.0+dfsg-3_amd64.changes ACCEPTED into unstable Oct 13
mldonkey_3.1.5-3_amd64.changes ACCEPTED into unstable Oct 14
Processing of headache_1.03-25_amd64.changes Oct 10
Processing of lablgtk-extras_1.5-1_amd64.changes Oct 12
ocamldap_2.1.8-10_amd64.changes ACCEPTED into unstable Oct 17
Processing of planets_0.1.13-16_amd64.changes Oct 16
ocsigenserver_2.6-1_amd64.changes ACCEPTED into unstable Oct 18
Processing of ocamldap_2.1.8-10_amd64.changes Oct 17
why_2.34-4_amd64.changes ACCEPTED into unstable Oct 16
ocaml-reins_0.1a-6_amd64.changes ACCEPTED into unstable Oct 16
Processing of ocamlify_0.0.2-3_amd64.changes Oct 10
ocamlweb_1.39-3_amd64.changes ACCEPTED into unstable Oct 10
Processing of coinst_1.9.1-2_amd64.changes Oct 18
Processing of ssreflect_1.5-3_amd64.changes Oct 14
headache_1.03-25_amd64.changes ACCEPTED into unstable Oct 10
Processing of react_1.2.0-1_amd64.changes Oct 29
js-of-ocaml_2.5-1_amd64.changes ACCEPTED into unstable Oct 18
Processing of ocamlweb_1.39-3_amd64.changes Oct 10
ben_0.7.2_amd64.changes ACCEPTED into unstable Oct 18
coq_8.4pl4dfsg-2_amd64.changes ACCEPTED into unstable Oct 13
Processing of lablgtk2_2.18.3+dfsg-1_amd64.changes Oct 11
Processing of prooftree_0.12-2_amd64.changes Oct 14
ocamlodbc_2.15-6_amd64.changes ACCEPTED into unstable Oct 17
ocaml_4.02.3-5_amd64.changes ACCEPTED into unstable Oct 20
ocaml-ssl_0.5.1-1_amd64.changes ACCEPTED into unstable Oct 14
Processing of ocaml-doc_4.02-1_amd64.changes Oct 10
xstrp4_1.8.1-2_amd64.changes REJECTED Oct 17
hlins_0.39-21_amd64.changes ACCEPTED into unstable Oct 10
Processing of ocaml-tools_20120103-4_amd64.changes Oct 10
lablgtk-extras_1.5-1_amd64.changes ACCEPTED into unstable Oct 12
Processing of coccinelle_1.0.2.deb-1_amd64.changes Oct 12
Processing of ledit_2.03-4_amd64.changes Oct 10
Processing of labltk_8.06.0+dfsg-2_amd64.changes Oct 09
obus_1.1.5-4_amd64.changes ACCEPTED into unstable Oct 16
hevea_2.23-2_amd64.changes ACCEPTED into unstable Oct 10
Processing of camlp4_4.02.1+3-2_amd64.changes Oct 08
Processing of ocamlwc_0.3-12_amd64.changes Oct 10
ocaml-batteries_2.3-1_amd64.changes ACCEPTED into unstable Oct 10
Processing of tyxml_3.0.0-2_amd64.changes Oct 17
Processing of ben_0.7.3_amd64.changes Oct 18
Processing of camlimages_4.2.0-1_amd64.changes Oct 12
coccinelle_1.0.3.deb-1_amd64.changes ACCEPTED into experimental Oct 27
coccinelle_1.0.3.deb-2_amd64.changes ACCEPTED into unstable Oct 28
planets_0.1.13-16_amd64.changes ACCEPTED into unstable Oct 16
planets_0.1.13-15_amd64.changes ACCEPTED into unstable Oct 10
ocaml-doc_4.02-1_amd64.changes ACCEPTED into unstable Oct 10
camlp4_4.02.1+3-2_amd64.changes ACCEPTED into unstable Oct 08
Processing of xstrp4_1.8.1-2_amd64.changes Oct 17
bibtex2html_1.98-3_amd64.changes ACCEPTED into unstable Oct 10
Processing of galax_1.1-13_amd64.changes Oct 16
Processing of coq_8.4pl4dfsg-3_amd64.changes Oct 22
Processing of why_2.34-4_amd64.changes Oct 16
Processing of coq-float_8.4-5_amd64.changes Oct 14
Processing of polygen_1.0.6.ds2-14_amd64.changes Oct 10
Processing of xstrp4_1.8.1-2_amd64.changes Oct 17

Debian testing autoremoval watch

nss-passwords is marked for autoremoval from testing Oct 19
xmlrpc-light is marked for autoremoval from testing Oct 19
ben is marked for autoremoval from testing Oct 19
coccinelle is marked for autoremoval from testing Oct 18
ocamlrss is marked for autoremoval from testing Oct 19
pxp is marked for autoremoval from testing Oct 19
easy-format is marked for autoremoval from testing Oct 19
meta-ocaml is marked for autoremoval from testing Oct 19
ocaml-atd is marked for autoremoval from testing Oct 19
ocsigenserver is marked for autoremoval from testing Oct 19
ocaml-http is marked for autoremoval from testing Oct 19
liquidsoap is marked for autoremoval from testing Oct 19
ocaml-lastfm is marked for autoremoval from testing Oct 19
caml2html is marked for autoremoval from testing Oct 19
matita is marked for autoremoval from testing Oct 19
atdgen is marked for autoremoval from testing Oct 19
nurpawiki is marked for autoremoval from testing Oct 19
ocamlnet is marked for autoremoval from testing Oct 19
tyxml is marked for autoremoval from testing Oct 19
opam is marked for autoremoval from testing Oct 22
ocamldap is marked for autoremoval from testing Oct 19
biniou is marked for autoremoval from testing Oct 19
dose3 is marked for autoremoval from testing Oct 22
galax is marked for autoremoval from testing Oct 19
eliom is marked for autoremoval from testing Oct 19
yojson is marked for autoremoval from testing Oct 19
cduce is marked for autoremoval from testing Oct 19

Emilio Pozuelo Monfort

Re: Bug#789133: transition: ocaml 4.02.3 Oct 06

Enrico Tassi

Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22

Eugeniy Meshcheryakov

Help building coccinelle with new ocaml Oct 27
Re: Coccinelle dependencies Oct 27

Gabriel Scherer

Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Oct 22

Incassobureau

Neem actie tegen wanbetalers Oct 27

Jakub Wilk

Bug#801447: ocaml-nox: broken symlinks /usr/share/man/man1/ocamlbuild.* Oct 10

John David Anglin

Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal Oct 11

Maaltijdcheques

U hebt er genoeg van om sociale lasten te betalen? Oct 06

Mark J . Nelson

Bug#237323: Diff output should be piped to pager Oct 25
Bug#394946: unison: merge2 option rejected Oct 25
Bug#102300: unison: unison does not detect changes if time stamp didn't change Oct 25

Mark J. Nelson

Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02 Oct 25

Mehdi Dogguy

Bug#802268: src:cduce: FTBFS with OCaml 4.02.3 Oct 18

Ole Streicher

Re: Bug#789619: plplot: FTBFS: Configuring incomplete, errors occurred! (debdiff so far) Oct 09

Ralf Treinen

Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token Oct 20

Samuel Thibault

Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal Oct 14
Bug#802055: liquidsoap: currently FTBFS Oct 17

The last update was on 08:09 GMT Sun May 19. There are 234 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