debian-ocaml-maint Jan 2014 by author

[previous page]

Page 1 of 1

[next page]

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

Danai SAE-HAN (韓達耐)

Re: Proposed new requirements for emacsen add-on packages Jan 22

Stéphane Glondu

Re: Bug#736910: comigrate: lease allow the use of a different mirror Jan 28
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18
Re: Comments regarding optcomp_1.5-1_amd64.changes Jan 30
Re: optcomp_1.5-1_amd64.changes REJECTED Jan 30
Re: RFS: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18

Le20heures-Dernière minute

Le gouvernement ukrainien promet d’amender les lois anti-manifestations Jan 24

Stéphane Glondu

Bug#736908: ITP: optcomp -- syntax extension for optional compilation with cpp-like directives Jan 28
Bug#734844: Packaging problem for libdbus-ocaml-dev [...] Jan 10
Bug#690328: All links in documentation's index.html are broken Jan 20
Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers Jan 22
Bug#736910: comigrate: lease allow the use of a different mirror Jan 28
Bug#731398: galax: FTBFS with ocaml 4.01.0 Jan 31
Bug#731704: patch Jan 30

Stéphane Glondu

Accepted coq 8.4pl3dfsg-1 (source amd64 all) Jan 19

Adrian Bunk

Bug#644757: Removing ocaml-book? Jan 26

Agustin Martin

Re: Proposed new requirements for emacsen add-on packages Jan 24

Andreas Moog

Bug#731398: galax: FTBFS with ocaml 4.01.0 Jan 31
Bug#731398: galax: FTBFS with ocaml 4.01.0 Jan 31

bastien ROUCARIES

Bug#735341: Non free w3m valid icons Jan 14

Christian Hofstaedtler

Bug#736159: ben: Requires no-longer provided Sources.bz2 files Jan 20

Debian Bug Tracking System

Bug#718155: marked as done (ocaml-config-file: FTBFS: Makefile:29: master.Makefile: No such file or directory) Jan 18
Processed: Re: galax: FTBFS with ocaml 4.01.0 Jan 31
Processed: tagging 707585 Jan 17
Bug#736159: marked as done (ben: Requires no-longer provided Sources.bz2 files) Jan 27
Processed: reassign 733494 to aspcud Jan 02
Processed: user debian-qa@lists.debian.org, usertagging 731818, affects 731818, affects 707399 ... Jan 10
Bug#713499: marked as done (ocaml-reins: FTBFS: omake errors) Jan 30
Processed: forcibly merging 734844 639127 Jan 18
Bug#729090: marked as done (ben: Please update architecture lists) Jan 27
Processed: Re: Bug#731398: galax: FTBFS with ocaml 4.01.0 Jan 31
Processed: Re: Bug#731398: galax: FTBFS with ocaml 4.01.0 Jan 31
Processed: Re: Bug#690328: All links in documentation's index.html are broken Jan 20
Processed: block 736761 with 736062 Jan 29
Processed (with 1 errors): merging 713499 731704 Jan 30
Processed: user debian-qa@lists.debian.org, found 728743 in 331.20-1, tagging 728743, tagging 735576 ... Jan 16
Processed: tagging 550441 Jan 29
Processed: tagging 638763 Jan 29
Processed: bug 731398 is forwarded to https://sourceforge.net/p/galax/bugs/8/ Jan 17
Bug#734844: marked as done (Packaging problem for libdbus-ocaml-dev [...]) Jan 18
Bug#665447: marked as done (Please install coinst_converter and jsviewer.js) Jan 16
Processed: patch Jan 18
Processed: found 735614 in 1.1.0-22, found 735649 in 2.0.2+dfsg.1-3, tagging 735649, found 735650 in 0.8-1 ... Jan 17
Processed: affects 735523, found 734913 in 4.9-20140111-1, tagging 708497, tagging 708492, tagging 708488 ... Jan 19
Processed: tagging 731398 Jan 31
Bug#680248: marked as done (coq: please update README.Debian) Jan 19
Bug#639127: marked as done (libdbus-ocaml-dev: This package should also depend on libdbus-1-dev) Jan 18
Bug#732833: marked as done (ben: Please sort transitions) Jan 27
Bug#728708: marked as done (ben: breaks if template defines buildds or critical_bugs to return None) Jan 27
Bug#735341: marked as done (Non free w3m valid icons) Jan 18
Bug#713128: marked as done (why: FTBFS: build-dependency not installable: libapron-ocaml-dev (>= 0.9.10-4~)) Jan 12

Debian buildds

failed powerpc build of cduce 0.5.5-1+b2 Jan 18

Debian FTP Masters

Processing of coinst_1.9.1-1_amd64.changes Jan 17
Processing of optcomp_1.5-1_amd64.changes Jan 30
ocaml-sqlite3_2.0.5-1_amd64.changes ACCEPTED into unstable Jan 27
Processing of ocaml-sqlite3_2.0.5-1_amd64.changes Jan 27
Processing of ocaml-atd_1.1.1-2_amd64.changes Jan 31
aac-tactics_0.4-2_amd64.changes ACCEPTED into unstable Jan 20
Processing of postgresql-ocaml_2.0.5-1_amd64.changes Jan 27
Processing of aac-tactics_0.4-2_amd64.changes Jan 20
Processing of optcomp_1.5-1_amd64.changes Jan 29
coinst_1.9.1-1_amd64.changes ACCEPTED into unstable Jan 17
Processing of pcre-ocaml_7.0.4-1_amd64.changes Jan 27
ocaml-dbus_0.29-3_amd64.changes ACCEPTED into unstable Jan 18
optcomp_1.5-1_amd64.changes is NEW Jan 30
Processing of ocaml-csv_1.3.2-1_amd64.changes Jan 26
optcomp_1.5-1_amd64.changes is NEW Jan 29
ocaml-atd_1.1.1-2_amd64.changes ACCEPTED into unstable Jan 31
Processing of ocamlmod_0.0.7-1_amd64.changes Jan 31
ocaml-atd_1.1.1-1_amd64.changes ACCEPTED into unstable Jan 31
Processing of coq-float_8.4-3_amd64.changes Jan 20
ocaml-deriving-ocsigen_0.5-1_amd64.changes ACCEPTED into unstable Jan 31
otags_4.01.1-1_amd64.changes ACCEPTED into unstable Jan 31
optcomp_1.5-1_amd64.changes ACCEPTED into unstable, unstable Jan 31
Bug#734071: Removed package(s) from unstable Jan 05
optcomp_1.5-1_amd64.changes REJECTED Jan 30
Processing of camlp5_6.11+dfsg-3_amd64.changes Jan 18
Processing of ssreflect_1.5~rc1-3_amd64.changes Jan 20
Processing of ocaml-deriving-ocsigen_0.5-1_amd64.changes Jan 31
Processing of otags_4.01.1-1_amd64.changes Jan 31
biniou_1.0.9-1_amd64.changes ACCEPTED into unstable Jan 31
Processing of ocaml-atd_1.1.1-1_amd64.changes Jan 31
Processing of ocaml-batteries_2.2-1_amd64.changes Jan 31
Processing of biniou_1.0.9-1_amd64.changes Jan 31
ocaml-csv_1.3.2-1_amd64.changes ACCEPTED into unstable Jan 26
coq-float_8.4-3_amd64.changes ACCEPTED into unstable Jan 20
Bug#733796: Removed package(s) from unstable Jan 05
Processing of ocaml-reins_0.1a-5_amd64.changes Jan 30
postgresql-ocaml_2.0.5-1_amd64.changes ACCEPTED into unstable Jan 27
ocaml-reins_0.1a-5_amd64.changes ACCEPTED into unstable Jan 30
ocamlmod_0.0.7-1_amd64.changes ACCEPTED into unstable Jan 31
ssreflect_1.5~rc1-3_amd64.changes ACCEPTED into unstable Jan 20
Processing of ben_0.6.7_amd64.changes Jan 27
Processing of coinst_1.9.0-1_amd64.changes Jan 16
Processing of optcomp_1.5-1_amd64.changes Jan 30
pcre-ocaml_7.0.4-1_amd64.changes ACCEPTED into unstable Jan 27
easy-format_1.0.2-1_amd64.changes ACCEPTED into unstable Jan 27
ocaml-batteries_2.2-1_amd64.changes ACCEPTED into unstable Jan 31
camlp5_6.11+dfsg-3_amd64.changes ACCEPTED into unstable Jan 18
coq_8.4pl3dfsg-1_amd64.changes ACCEPTED into unstable Jan 19
ben_0.6.7_amd64.changes ACCEPTED into unstable Jan 27
Processing of coq_8.4pl3dfsg-1_amd64.changes Jan 19
coinst_1.9.0-1_amd64.changes ACCEPTED into unstable Jan 16
Processing of easy-format_1.0.2-1_amd64.changes Jan 27
Processing of ocaml-dbus_0.29-3_amd64.changes Jan 18

Debian testing watch

coq 8.4pl3dfsg-1 MIGRATED to testing Jan 26

Eric Dorland

Bug#724354: patch Jan 18

Felipe Sateler

Re: Bug#732386: RM: liblo [sparc] -- ANAIS; Does not work, never has Jan 03

Gregory Bellier

libpostgresql-ocaml-dev bug packaging for prepared statements Jan 09
Packaging problem for libdbus-ocaml-dev and "new" release 0.30 Jan 09
libpostgresql-ocaml-dev bug packaging for prepared statements Jan 09

Jason Gross

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers Jan 22

Johannes Schauer

RFS: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18
Re: ITP: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18
Bug#735884: ITP: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18
Re: ITP: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18

Martin Ellis

Any plans for mingw-ocaml 4.01.0? Jan 09

Matej Kosik

Bug#733934: libmikmatch-ocaml-dev: an attempt to compile a program using the provided library fails Jan 02

Matthias Klose

Bug#736171: ocaml-mingw-w64 not installable Jan 20

Moritz Muehlenhoff

Re: Bug#702349: lintian should not complain about hardening for package written in pure Ocaml Jan 06

Nicolas Patrois

Bug#736761: coq and Emacs 2x Jan 26

peter green

Bug#707585: why: FTBFS in unstable Jan 12

Pierre Boutillier

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers Jan 22

Pino Toscano

Bug#734072: ocaml-doc: fix doc-base installation Jan 03

Ralf Treinen

Bug#736910: comigrate: lease allow the use of a different mirror Jan 28
Re: ITP: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18
Re: ITP: ocp-indent -- OCaml indentation tool for emacs and vim Jan 18

Rob Browning

Re: Proposed new requirements for emacsen add-on packages Jan 24
Re: Proposed new requirements for emacsen add-on packages Jan 22
Re: Proposed new requirements for emacsen add-on packages Jan 22
Re: Proposed new requirements for emacsen add-on packages Jan 22
Proposed new requirements for emacsen add-on packages Jan 20
Re: Proposed new requirements for emacsen add-on packages Jan 22

Stephane Crivisier

Re: Proposed new requirements for emacsen add-on packages Jan 20

Thorsten Alteholz

Re: Comments regarding optcomp_1.5-1_amd64.changes Jan 30
optcomp_1.5-1_amd64.changes REJECTED Jan 30
Comments regarding optcomp_1.5-1_amd64.changes Jan 30

Vincent Smeets

Bug#734169: unison-gtk: Text error in Action menu Jan 04

The last update was on 06:21 GMT Sun Jun 02. There are 138 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