debian-ocaml-maint Jul 2014 by subject

[First Page] <
[previous page]
Page 1 of 1 >
[next page]
[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
300dh de réduction sur votre billet Jetairfly grâce à la carte So Hit ! aac-tactics_0.4-3_amd64.changes ACCEPTED into unstable Accepted coq 8.4pl4dfsg-1 (source amd64 all) ALERTE : ALECA, le Maroc temporise ALERTE : Danone cède devant la campagne de boycott ALERTE : Hamid Benlafdil à la tête de l'AMDI ALERTE : Le Maroc en danger de faillite? ALERTE : Le RCAR intègre les CIR de toutes les régies d’eau et d’électricité ALERTE : Ratification de l'accord de pêche, l’Espagne jubile bibtex2html_1.98-1_amd64.changes ACCEPTED into unstable Bug#207471: marked as done (tuareg-mode: Some syntax highlighting and indentation bugs) Bug#520173: marked as done (edos-debcheck: Continue explaining until it shows an error.) Bug#539610: marked as done (wanna-build-integration-wishlist) Bug#540797: marked as done (edos-debcheck: output format needs to be easier to parse) Bug#560134: marked as done (edos-builddebcheck: needs option to explain solution) Bug#569486: marked as done (edos-builddebcheck: add option to restrict to newest package versions) Bug#587998: marked as done (edos-distcheck: Please support architecture wildcards) Bug#588764: marked as done (edos-debcheck: check that all package stanzas have consistent architecture) Bug#617407: marked as done (tuareg-mode: incorrect indentation for nested "if" expressions) Bug#656878: marked as done (/etc/edos-builddebcheck.conf: out of date architecture list) Bug#686759: marked as done (add-sources.py should use forward compatible "in" syntax instead of "has_key") Bug#690328: marked as done (All links in documentation's index.html are broken) Bug#690961: marked as done (edos-builddebhceck more picky about input than edos-debcheck (Warning: package ignored because it has no name)) Bug#718317: apt-cudf: doesn't include any source preference in the Request stanza Bug#727550: marked as done (edos-distcheck: edos-debcheck MUST support :any qualifier ASAP) Bug#749311: ocaml-mode is broken - called emacs-package-install as a new-style add-on Bug#750078: marked as done (dose-builddebcheck: Improve manpage explanations) Bug#752276: /usr/bin/dose-distcheck: support arch and version comparison with --checkonly Bug#754021: ocaml: please switch to emacs24 Bug#754032: marked as done (tuareg-mode: please switch to emacs24) Bug#754032: tuareg-mode: please switch to emacs24 Bug#754303: janest-core: New version available Bug#755312: marked as done (nurpawiki: FTBFS: Error: Unbound value service) Bug#755312: nurpawiki: FTBFS: Error: Unbound value service Bug#755953: coq: Updated packaging for upstream release 8.4pl4 Bug#755953: marked as done (coq: Updated packaging for upstream release 8.4pl4) Bug#756262: Removed package(s) from unstable Bug#756304: Removed package(s) from unstable coq-float_8.4-4_amd64.changes ACCEPTED into unstable coq_8.4pl4dfsg-1_amd64.changes ACCEPTED into unstable dose3_3.2.2-2_amd64.changes ACCEPTED into unstable eliom is marked for autoremoval from testing eliom_4.0.0-2_amd64.changes ACCEPTED into unstable hevea_2.16-2_amd64.changes ACCEPTED into unstable js-of-ocaml is marked for autoremoval from testing marionnet_0.90.6+bzr457-1_amd64.changes ACCEPTED into unstable no automatic rebuilding of ben package ? nurpawiki is marked for autoremoval from testing nurpawiki_1.2.3-8_amd64.changes ACCEPTED into unstable oasis is marked for autoremoval from testing ocamlbricks_0.90+bzr400-1_amd64.changes ACCEPTED into unstable ocsigenserver is marked for autoremoval from testing organizing DebConf FP track Processed: ... Processed: affects 743155 Processed: bug 752276 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=17738&group_id=4395&atid=13809 Processed: limit source to ocaml, tagging 749311, tagging 754021 Processed: moreinfo Processed: ocaml: please switch to emacs24 Processed: Re: Bug#690328: All links in documentation's index.html are broken Processed: reassign 752276 to dose-builddebcheck Processed: retitle 752276 to dose-builddebcheck: should work on .dsc files Processed: severity of 743155 is serious Processed: tuareg-mode: please switch to emacs24 Processing of aac-tactics_0.4-3_amd64.changes Processing of bibtex2html_1.98-1_amd64.changes Processing of coq-float_8.4-4_amd64.changes Processing of coq_8.4pl4dfsg-1_amd64.changes Processing of dose3_3.2.2-2_amd64.changes Processing of eliom_4.0.0-2_amd64.changes Processing of hevea_2.16-2_amd64.changes Processing of marionnet_0.90.6+bzr457-1_amd64.changes Processing of nurpawiki_1.2.3-8_amd64.changes Processing of ocamlbricks_0.90+bzr400-1_amd64.changes Processing of ssreflect_1.5-2_amd64.changes Processing of tuareg-mode_2.0.7-1_amd64.changes prooftree is marked for autoremoval from testing Re: rebuilding ben ssreflect_1.5-2_amd64.changes ACCEPTED into unstable Status of type-conv and bin-prot tuareg-mode_2.0.7-1_amd64.changes ACCEPTED into unstable The last update was on 07:36 GMT Sun Jun 02. There are 87 messages. Page 1 of 1.

<<
[previous month]
|<
[first page]
<
[previous page]
Page 1 of 1
>
[next page]
>|
[last page]
>>
[next month]

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

Mail converted by MHonArc