debian-ocaml-maint Oct 2015 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processed: unblock 800438 with 788671, block 800438 with 786671 Debian Bug Tracking System
- Re: Bug#789133: transition: ocaml 4.02.3 Stéphane Glondu
- U hebt er genoeg van om sociale lasten te betalen? Maaltijdcheques
- Processing of ocaml_4.02.3-3_amd64.changes Debian FTP Masters
- ocaml_4.02.3-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of findlib_1.5.5-2_amd64.changes Debian FTP Masters
- findlib_1.5.5-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of camlp4_4.02.1+3-2_amd64.changes Debian FTP Masters
- camlp4_4.02.1+3-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of labltk_8.06.0+dfsg-2_amd64.changes Debian FTP Masters
- labltk_8.06.0+dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of camlp5_6.14-1_amd64.changes Debian FTP Masters
- camlp5_6.14-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Re: Bug#789619: plplot: FTBFS: Configuring incomplete, errors occurred! (debdiff so far) Ole Streicher
- Processing of lablgl_1.05-2_amd64.changes Debian FTP Masters
- lablgl_1.05-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of planets_0.1.13-15_amd64.changes Debian FTP Masters
- planets_0.1.13-15_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of hlins_0.39-21_amd64.changes Debian FTP Masters
- Processing of hevea_2.23-2_amd64.changes Debian FTP Masters
- hevea_2.23-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- hlins_0.39-21_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-tools_20120103-4_amd64.changes Debian FTP Masters
- Processing of ocamlweb_1.39-3_amd64.changes Debian FTP Masters
- Processing of ocamlwc_0.3-12_amd64.changes Debian FTP Masters
- ocaml-tools_20120103-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlwc_0.3-12_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlweb_1.39-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#801447: ocaml-nox: broken symlinks /usr/share/man/man1/ocamlbuild.* Jakub Wilk
- Bug#801458: FTBFS with OCaml 4.02.3 Stéphane Glondu
- Bug#801459: FTBFS with OCaml 4.02.3 Stéphane Glondu
- Processed: block 789133 with 801459 Debian Bug Tracking System
- Processing of ocaml-doc_4.02-1_amd64.changes Debian FTP Masters
- ocaml-doc_4.02-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of polygen_1.0.6.ds2-14_amd64.changes Debian FTP Masters
- Bug#776573: marked as done (Correct "seriuos" -> "serious" typo in manpage) Debian Bug Tracking System
- Bug#776576: marked as done (polygen: please make the build reproducible) Debian Bug Tracking System
- Processing of bibtex2html_1.98-3_amd64.changes Debian FTP Masters
- bibtex2html_1.98-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- polygen_1.0.6.ds2-14_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocamlify_0.0.2-3_amd64.changes Debian FTP Masters
- ocamlify_0.0.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of headache_1.03-25_amd64.changes Debian FTP Masters
- headache_1.03-25_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-batteries_2.3-1_amd64.changes Debian FTP Masters
- Processing of ledit_2.03-4_amd64.changes Debian FTP Masters
- ledit_2.03-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-batteries_2.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lablgtk2_2.18.3+dfsg-1_amd64.changes Debian FTP Masters
- lablgtk2_2.18.3+dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of tophide_1.0.3-1_amd64.changes Debian FTP Masters
- tophide_1.0.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ppx-tools_0.99.2-4_amd64.changes Debian FTP Masters
- ppx-tools_0.99.2-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal John David Anglin
- Bug#798263: marked as done (coccinelle: libparmap-ocaml) Debian Bug Tracking System
- Processing of coccinelle_1.0.2.deb-1_amd64.changes Debian FTP Masters
- coccinelle_1.0.2.deb-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
- Bug#801560: liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so Andreas Beckmann
- Processing of lablgtk-extras_1.5-1_amd64.changes Debian FTP Masters
- lablgtk-extras_1.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of camlimages_4.2.0-1_amd64.changes Debian FTP Masters
- camlimages_4.2.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of labltk_8.06.0+dfsg-3_amd64.changes Debian FTP Masters
- labltk_8.06.0+dfsg-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq_8.4pl4dfsg-2_amd64.changes Debian FTP Masters
- Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable Stéphane Glondu
- coq_8.4pl4dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of freetennis_0.4.8-10_amd64.changes Debian FTP Masters
- Processing of mldonkey_3.1.5-3_amd64.changes Debian FTP Masters
- Processing of prooftree_0.12-2_amd64.changes Debian FTP Masters
- freetennis_0.4.8-10_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ssl_0.5.1-1_amd64.changes Debian FTP Masters
- mldonkey_3.1.5-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- prooftree_0.12-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ssreflect_1.5-3_amd64.changes Debian FTP Masters
- Processing of aac-tactics_0.4-5_amd64.changes Debian FTP Masters
- Processing of coq-float_8.4-5_amd64.changes Debian FTP Masters
- aac-tactics_0.4-5_amd64.changes REJECTED Debian FTP Masters
- coq-float_8.4-5_amd64.changes REJECTED Debian FTP Masters
- ocaml-ssl_0.5.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ssreflect_1.5-3_amd64.changes REJECTED Debian FTP Masters
- Bug#801773: FTBFS with OCaml 4.02.3 Stéphane Glondu
- aac-tactics_0.4-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ssreflect_1.5-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lwt_2.5.0+1-1_amd64.changes Debian FTP Masters
- coq-float_8.4-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- lwt_2.5.0+1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tagging 801773 Debian Bug Tracking System
- Processed: retitle 801550 to ocamlnet: FTBFS -- unterminated string literal, tagging 801550 Debian Bug Tracking System
- Processing of ocamlnet_4.0.4-1_amd64.changes Debian FTP Masters
- Processing of obus_1.1.5-4_amd64.changes Debian FTP Masters
- Processing of ocaml-usb_1.3.0-3_amd64.changes Debian FTP Masters
- obus_1.1.5-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-usb_1.3.0-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlnet_4.0.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of dose3_4.0.2-2_amd64.changes Debian FTP Masters
- dose3_4.0.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of cmigrep_1.5-13_amd64.changes Debian FTP Masters
- Processing of planets_0.1.13-16_amd64.changes Debian FTP Masters
- Processing of ocaml-reins_0.1a-6_amd64.changes Debian FTP Masters
- Processing of otags_4.01.1-2_amd64.changes Debian FTP Masters
- cmigrep_1.5-13_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-reins_0.1a-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- otags_4.01.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- planets_0.1.13-16_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of xmlrpc-light_0.6.1-4_amd64.changes Debian FTP Masters
- Processing of ocaml-lastfm_0.3.0-4_amd64.changes Debian FTP Masters
- ocaml-lastfm_0.3.0-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- xmlrpc-light_0.6.1-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of galax_1.1-13_amd64.changes Debian FTP Masters
- galax_1.1-13_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of why_2.34-4_amd64.changes Debian FTP Masters
- why_2.34-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of xstrp4_1.8.1-2_amd64.changes Debian FTP Masters
- xstrp4_1.8.1-2_amd64.changes REJECTED Debian FTP Masters
- Processing of mathcomp_1.5-4_amd64.changes Debian FTP Masters
- mathcomp_1.5-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#802055: liquidsoap: currently FTBFS Samuel Thibault
- Processed: closing 727044 Debian Bug Tracking System
- Processed: found 802096 in 0.4+nmu1, found 802096 in 1.1.1-1, tagging 802055, tagging 790352, tagging 801802 Debian Bug Tracking System
- Processing of ocamldap_2.1.8-10_amd64.changes Debian FTP Masters
- ocamldap_2.1.8-10_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocamlodbc_2.15-6_amd64.changes Debian FTP Masters
- ocamlodbc_2.15-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of tyxml_3.0.0-2_amd64.changes Debian FTP Masters
- tyxml_3.0.0-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#802166: otags: fails to install: post-installation script returned error exit status 3 Andreas Beckmann
- coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
- Processing of ben_0.7.2_amd64.changes Debian FTP Masters
- Processing of js-of-ocaml_2.5-1_amd64.changes Debian FTP Masters
- Bug#797100: marked as done (misleading directions in example ocaml.ben) Debian Bug Tracking System
- Bug#800390: marked as done (ben: Section should be “devel”) Debian Bug Tracking System
- ben_0.7.2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- js-of-ocaml_2.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- xstrp4_1.8.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of tyxml_3.5.0-1_amd64.changes Debian FTP Masters
- tyxml_3.5.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocsigenserver_2.6-1_amd64.changes Debian FTP Masters
- ocsigenserver_2.6-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ben_0.7.3_amd64.changes Debian FTP Masters
- Processing of coinst_1.9.1-2_amd64.changes Debian FTP Masters
- ben_0.7.3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- coinst_1.9.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of xstrp4_1.8.1-3_amd64.changes Debian FTP Masters
- Bug#802268: src:cduce: FTBFS with OCaml 4.02.3 Mehdi Dogguy
- xstrp4_1.8.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml_4.02.3-4_amd64.changes Debian FTP Masters
- ocaml_4.02.3-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- yojson is marked for autoremoval from testing Debian testing autoremoval watch
- ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
- biniou is marked for autoremoval from testing Debian testing autoremoval watch
- cduce is marked for autoremoval from testing Debian testing autoremoval watch
- easy-format is marked for autoremoval from testing Debian testing autoremoval watch
- eliom is marked for autoremoval from testing Debian testing autoremoval watch
- ben is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
- meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-http is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlrss is marked for autoremoval from testing Debian testing autoremoval watch
- xmlrpc-light is marked for autoremoval from testing Debian testing autoremoval watch
- ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
- matita is marked for autoremoval from testing Debian testing autoremoval watch
- pxp is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlnet is marked for autoremoval from testing Debian testing autoremoval watch
- atdgen is marked for autoremoval from testing Debian testing autoremoval watch
- liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
- galax is marked for autoremoval from testing Debian testing autoremoval watch
- nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
- caml2html is marked for autoremoval from testing Debian testing autoremoval watch
- tyxml is marked for autoremoval from testing Debian testing autoremoval watch
- nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: tagging 802268, tagging 802264, tagging 802187, tagging 802184 Debian Bug Tracking System
- Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token Chris West (Faux)
- Processed: found 802347 in 4.02.3-2 Debian Bug Tracking System
- Processing of ocaml_4.02.3-5_amd64.changes Debian FTP Masters
- ocaml_4.02.3-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- opam is marked for autoremoval from testing Debian testing autoremoval watch
- dose3 is marked for autoremoval from testing Debian testing autoremoval watch
- Bytecode/native interoperability of .vo/.coq files Stéphane Glondu
- Re: [coqdev] Bytecode/native interoperability of .vo/.coq files Enrico Tassi
- Message not available
Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable Stéphane Glondu
Processing of coq_8.4pl4dfsg-3_amd64.changes Debian FTP Masters
coq_8.4pl4dfsg-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#802860: eliom: FTBFS: the new definition of Svg does not match its original definition in the constrained signature Chris West (Faux)
Bug#802865: nss-passwords: FTBFS: ocaml/caml/config.h: error: conflicting types for 'int64' Chris West (Faux)
Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02 Mark J. Nelson
Bug#394946: unison: merge2 option rejected Mark J . Nelson
Processed: merge 227623 252336 Debian Bug Tracking System
Bug#102300: unison: unison does not detect changes if time stamp didn't change Mark J . Nelson
Bug#237323: Diff output should be piped to pager Mark J . Nelson
Neem actie tegen wanbetalers Incassobureau
Coccinelle dependencies Sébastien Hinderer
Processing of coccinelle_1.0.3.deb-1_amd64.changes Debian FTP Masters
Help building coccinelle with new ocaml Eugeniy Meshcheryakov
coccinelle_1.0.3.deb-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
Bug#803257: ITP: reactivedata -- FRP with incremental changes in data structures Stéphane Glondu
Processing of coccinelle_1.0.3.deb-2_amd64.changes Debian FTP Masters
coccinelle_1.0.3.deb-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of react_1.2.0-1_amd64.changes Debian FTP Masters
react_1.2.0-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
Bug#394946: marked as done (unison: merge2 option rejected) Debian Bug Tracking System
Processing of reactivedata_0.1-1_amd64.changes Debian FTP Masters
reactivedata_0.1-1_amd64.changes is NEW Debian FTP Masters
The last update was on 08:09 GMT Sun May 19. There are 234 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc