debian-ocaml-maint Jul 2014 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

ALERTE : Danone cède devant la campagne de boycott LES ÉCO
organizing DebConf FP track Joey Hess
ALERTE : Hamid Benlafdil à la tête de l'AMDI LES ÉCO
ALERTE : Le Maroc en danger de faillite? LES ÉCO
Processing of bibtex2html_1.98-1_amd64.changes Debian FTP Masters
bibtex2html_1.98-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#754021: ocaml: please switch to emacs24 Gabriele Giacone

Processed: ocaml: please switch to emacs24 Debian Bug Tracking System

Bug#754032: tuareg-mode: please switch to emacs24 Gabriele Giacone

Processed: tuareg-mode: please switch to emacs24 Debian Bug Tracking System
Bug#754032: marked as done (tuareg-mode: please switch to emacs24) Debian Bug Tracking System

nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch

eliom is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
eliom is marked for autoremoval from testing Debian testing autoremoval watch

ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch

Processing of marionnet_0.90.6+bzr457-1_amd64.changes Debian FTP Masters
Processing of ocamlbricks_0.90+bzr400-1_amd64.changes Debian FTP Masters
marionnet_0.90.6+bzr457-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocamlbricks_0.90+bzr400-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of hevea_2.16-2_amd64.changes Debian FTP Masters
hevea_2.16-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
ALERTE : ALECA, le Maroc temporise LES ÉCO
Bug#754303: janest-core: New version available Hilko Bengen

Bug#754303: janest-core: New version available Hilko Bengen

Processed: ... Debian Bug Tracking System
Processing of eliom_4.0.0-2_amd64.changes Debian FTP Masters
Processing of tuareg-mode_2.0.7-1_amd64.changes Debian FTP Masters
Bug#207471: marked as done (tuareg-mode: Some syntax highlighting and indentation bugs) Debian Bug Tracking System
Bug#617407: marked as done (tuareg-mode: incorrect indentation for nested "if" expressions) Debian Bug Tracking System
eliom_4.0.0-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
tuareg-mode_2.0.7-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#749311: ocaml-mode is broken - called emacs-package-install as a new-style add-on Ralf Treinen
Processed: limit source to ocaml, tagging 749311, tagging 754021 Debian Bug Tracking System
oasis is marked for autoremoval from testing Debian testing autoremoval watch
prooftree is marked for autoremoval from testing Debian testing autoremoval watch
ALERTE : Ratification de l'accord de pêche, l’Espagne jubile LES ÉCO
ALERTE : Le RCAR intègre les CIR de toutes les régies d’eau et d’électricité LES ÉCO
Bug#752276: /usr/bin/dose-distcheck: support arch and version comparison with --checkonly Vagrant Cascadian
Bug#755312: nurpawiki: FTBFS: Error: Unbound value service David Suárez

Bug#755312: marked as done (nurpawiki: FTBFS: Error: Unbound value service) Debian Bug Tracking System

js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
Processed: Re: Bug#690328: All links in documentation's index.html are broken Debian Bug Tracking System
Bug#690328: marked as done (All links in documentation's index.html are broken) Debian Bug Tracking System
Processing of nurpawiki_1.2.3-8_amd64.changes Debian FTP Masters
nurpawiki_1.2.3-8_amd64.changes ACCEPTED into unstable Debian FTP Masters
300dh de réduction sur votre billet Jetairfly grâce à la carte So Hit ! Jetairfly News
Processed: severity of 743155 is serious Debian Bug Tracking System
Processed: affects 743155 Debian Bug Tracking System
Bug#755953: coq: Updated packaging for upstream release 8.4pl4 Benjamin Barenblat

Bug#755953: marked as done (coq: Updated packaging for upstream release 8.4pl4) Debian Bug Tracking System

Processed: moreinfo Debian Bug Tracking System

Re: Processed: moreinfo Holger Levsen

Accepted coq 8.4pl4dfsg-1 (source amd64 all) Stéphane Glondu
Processing of coq_8.4pl4dfsg-1_amd64.changes Debian FTP Masters
coq_8.4pl4dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#750078: marked as done (dose-builddebcheck: Improve manpage explanations) Debian Bug Tracking System
Processing of dose3_3.2.2-2_amd64.changes Debian FTP Masters
dose3_3.2.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#686759: marked as done (add-sources.py should use forward compatible "in" syntax instead of "has_key") Debian Bug Tracking System
Bug#560134: marked as done (edos-builddebcheck: needs option to explain solution) Debian Bug Tracking System
Bug#540797: marked as done (edos-debcheck: output format needs to be easier to parse) Debian Bug Tracking System
Bug#520173: marked as done (edos-debcheck: Continue explaining until it shows an error.) Debian Bug Tracking System
Bug#656878: marked as done (/etc/edos-builddebcheck.conf: out of date architecture list) Debian Bug Tracking System
Bug#727550: marked as done (edos-distcheck: edos-debcheck MUST support :any qualifier ASAP) Debian Bug Tracking System
Bug#588764: marked as done (edos-debcheck: check that all package stanzas have consistent architecture) Debian Bug Tracking System
Bug#587998: marked as done (edos-distcheck: Please support architecture wildcards) Debian Bug Tracking System
Processed: retitle 752276 to dose-builddebcheck: should work on .dsc files Debian Bug Tracking System
Processed: bug 752276 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=17738&group_id=4395&atid=13809 Debian Bug Tracking System
Bug#569486: marked as done (edos-builddebcheck: add option to restrict to newest package versions) Debian Bug Tracking System
Processed: reassign 752276 to dose-builddebcheck Debian Bug Tracking System
Bug#690961: marked as done (edos-builddebhceck more picky about input than edos-debcheck (Warning: package ignored because it has no name)) Debian Bug Tracking System
Bug#718317: apt-cudf: doesn't include any source preference in the Request stanza Stefano Zacchiroli
Bug#539610: marked as done (wanna-build-integration-wishlist) Debian Bug Tracking System
Bug#756262: Removed package(s) from unstable Debian FTP Masters
Bug#756304: Removed package(s) from unstable Debian FTP Masters
Processing of coq-float_8.4-4_amd64.changes Debian FTP Masters
Processing of ssreflect_1.5-2_amd64.changes Debian FTP Masters
Processing of aac-tactics_0.4-3_amd64.changes Debian FTP Masters
aac-tactics_0.4-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
coq-float_8.4-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
ssreflect_1.5-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Status of type-conv and bin-prot Stéphane Glondu

Re: Status of type-conv and bin-prot Lifeng Sun

Re: rebuilding ben Ralf Treinen
no automatic rebuilding of ben package ? Ralf Treinen

The last update was on 07:36 GMT Sun Jun 02. There are 87 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc