debian-ocaml-maint Jul 2014 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Status of type-conv and bin-prot Jul 30

Stéphane Glondu

Accepted coq 8.4pl4dfsg-1 (source amd64 all) Jul 27

Benjamin Barenblat

Bug#755953: coq: Updated packaging for upstream release 8.4pl4 Jul 24

David Suárez

Bug#755312: nurpawiki: FTBFS: Error: Unbound value service Jul 19

Debian Bug Tracking System

Bug#540797: marked as done (edos-debcheck: output format needs to be easier to parse) Jul 28
Bug#727550: marked as done (edos-distcheck: edos-debcheck MUST support :any qualifier ASAP) Jul 28
Processed: bug 752276 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=17738&group_id=4395&atid=13809 Jul 28
Bug#754032: marked as done (tuareg-mode: please switch to emacs24) Jul 10
Bug#750078: marked as done (dose-builddebcheck: Improve manpage explanations) Jul 27
Processed: tuareg-mode: please switch to emacs24 Jul 06
Bug#560134: marked as done (edos-builddebcheck: needs option to explain solution) Jul 28
Bug#686759: marked as done (add-sources.py should use forward compatible "in" syntax instead of "has_key") Jul 28
Processed: affects 743155 Jul 23
Bug#207471: marked as done (tuareg-mode: Some syntax highlighting and indentation bugs) Jul 10
Bug#617407: marked as done (tuareg-mode: incorrect indentation for nested "if" expressions) Jul 10
Bug#656878: marked as done (/etc/edos-builddebcheck.conf: out of date architecture list) Jul 28
Bug#588764: marked as done (edos-debcheck: check that all package stanzas have consistent architecture) Jul 28
Bug#755312: marked as done (nurpawiki: FTBFS: Error: Unbound value service) Jul 23
Processed: ocaml: please switch to emacs24 Jul 06
Processed: severity of 743155 is serious Jul 23
Processed: retitle 752276 to dose-builddebcheck: should work on .dsc files Jul 28
Bug#520173: marked as done (edos-debcheck: Continue explaining until it shows an error.) Jul 28
Bug#569486: marked as done (edos-builddebcheck: add option to restrict to newest package versions) Jul 28
Processed: ... Jul 09
Processed: limit source to ocaml, tagging 749311, tagging 754021 Jul 10
Processed: moreinfo Jul 27
Bug#587998: marked as done (edos-distcheck: Please support architecture wildcards) Jul 28
Processed: reassign 752276 to dose-builddebcheck Jul 28
Processed: Re: Bug#690328: All links in documentation's index.html are broken Jul 20
Bug#539610: marked as done (wanna-build-integration-wishlist) Jul 28
Bug#690328: marked as done (All links in documentation's index.html are broken) Jul 20
Bug#755953: marked as done (coq: Updated packaging for upstream release 8.4pl4) Jul 27
Bug#690961: marked as done (edos-builddebhceck more picky about input than edos-debcheck (Warning: package ignored because it has no name)) Jul 28

Debian FTP Masters

aac-tactics_0.4-3_amd64.changes ACCEPTED into unstable Jul 30
Processing of eliom_4.0.0-2_amd64.changes Jul 10
Processing of ssreflect_1.5-2_amd64.changes Jul 30
Processing of hevea_2.16-2_amd64.changes Jul 08
coq_8.4pl4dfsg-1_amd64.changes ACCEPTED into unstable Jul 27
Processing of marionnet_0.90.6+bzr457-1_amd64.changes Jul 08
coq-float_8.4-4_amd64.changes ACCEPTED into unstable Jul 30
ssreflect_1.5-2_amd64.changes ACCEPTED into unstable Jul 30
Processing of ocamlbricks_0.90+bzr400-1_amd64.changes Jul 08
Processing of coq_8.4pl4dfsg-1_amd64.changes Jul 27
Processing of nurpawiki_1.2.3-8_amd64.changes Jul 23
dose3_3.2.2-2_amd64.changes ACCEPTED into unstable Jul 27
eliom_4.0.0-2_amd64.changes ACCEPTED into unstable Jul 10
ocamlbricks_0.90+bzr400-1_amd64.changes ACCEPTED into unstable Jul 08
Processing of aac-tactics_0.4-3_amd64.changes Jul 30
Bug#756304: Removed package(s) from unstable Jul 29
Processing of tuareg-mode_2.0.7-1_amd64.changes Jul 10
marionnet_0.90.6+bzr457-1_amd64.changes ACCEPTED into unstable Jul 08
bibtex2html_1.98-1_amd64.changes ACCEPTED into unstable Jul 06
hevea_2.16-2_amd64.changes ACCEPTED into unstable Jul 08
Processing of coq-float_8.4-4_amd64.changes Jul 30
Bug#756262: Removed package(s) from unstable Jul 28
tuareg-mode_2.0.7-1_amd64.changes ACCEPTED into unstable Jul 10
Processing of dose3_3.2.2-2_amd64.changes Jul 27
nurpawiki_1.2.3-8_amd64.changes ACCEPTED into unstable Jul 23
Processing of bibtex2html_1.98-1_amd64.changes Jul 06

Debian testing autoremoval watch

prooftree is marked for autoremoval from testing Jul 15
nurpawiki is marked for autoremoval from testing Jul 28
ocsigenserver is marked for autoremoval from testing Jul 07
js-of-ocaml is marked for autoremoval from testing Jul 20
oasis is marked for autoremoval from testing Jul 12
ocsigenserver is marked for autoremoval from testing Jul 28
eliom is marked for autoremoval from testing Jul 28
eliom is marked for autoremoval from testing Jul 07
nurpawiki is marked for autoremoval from testing Jul 07

Gabriele Giacone

Bug#754032: tuareg-mode: please switch to emacs24 Jul 06
Bug#754021: ocaml: please switch to emacs24 Jul 06

Hilko Bengen

Bug#754303: janest-core: New version available Jul 09
Bug#754303: janest-core: New version available Jul 09

Holger Levsen

Re: Processed: moreinfo Jul 27

Jetairfly News

300dh de réduction sur votre billet Jetairfly grâce à la carte So Hit ! Jul 23

Joey Hess

organizing DebConf FP track Jul 03

LES ÉCO

ALERTE : Le Maroc en danger de faillite? Jul 04
ALERTE : Le RCAR intègre les CIR de toutes les régies d’eau et d’électricité Jul 16
ALERTE : Danone cède devant la campagne de boycott Jul 01
ALERTE : Ratification de l'accord de pêche, l’Espagne jubile Jul 15
ALERTE : ALECA, le Maroc temporise Jul 09
ALERTE : Hamid Benlafdil à la tête de l'AMDI Jul 04

Lifeng Sun

Re: Status of type-conv and bin-prot Jul 30

Ralf Treinen

no automatic rebuilding of ben package ? Jul 30
Bug#749311: ocaml-mode is broken - called emacs-package-install as a new-style add-on Jul 10
Re: rebuilding ben Jul 30

Stefano Zacchiroli

Bug#718317: apt-cudf: doesn't include any source preference in the Request stanza Jul 28

Vagrant Cascadian

Bug#752276: /usr/bin/dose-distcheck: support arch and version comparison with --checkonly Jul 17

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]

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

Mail converted by MHonArc