debian-ocaml-maint Jul 2016 by author

[previous page]

Page 1 of 1

[next page]

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

Logisven - Coordinación Logística y Alquiler de Grúas

Transporte de Carga - Alquiler de Maquinaria de Construcción y Grúas Jul 07

Stéphane Glondu

Bug#832174: ITP: js-build-tools -- collection of tools to help building Jane Street Packages Jul 23
Bug#832979: ITP: ppx-optcomp -- optional compilation for OCaml Jul 30
Bug#832596: ITP: ppx-core -- standard library for ppx rewriters Jul 27
Bug#832881: ITP: ppx-deriving -- type-driven code generation for OCaml Jul 29

Stéphane Glondu

Re: Uploads needed Jul 31
Re: Uploads needed Jul 31
Re: Uploads needed Jul 30
Re: Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 30
Re: More uploads needed Jul 30
Re: Uploads needed Jul 31

Andreas Beckmann

Bug#830957: dose-distcheck: dose-debcheck does not compute installable packages any more Jul 13

Chris Lamb

Bug#831664: why3: please make the build reproducible Jul 19
Bug#831664: why3: please make the build reproducible Jul 18

Debian Bug Tracking System

Bug#788456: marked as done (tries to use OPAM even if OPAM is not initialized) Jul 17
Processed: Re: advi: Security bugs in ghostscript Jul 24
Processed: severity of 824693 is wishlist Jul 15
Processed: #769272: Remove tag unreproducible Jul 29
Processed: bug 830957 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=20581&group_id=4395&atid=13808 Jul 14
Processed: Bug #715070: Broken library symlink detected in libapron-dev Jul 23
Processed: tagging 769272 Jul 29
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
Processed: tagging 830957 Jul 14
Processed: tagging 832877 Jul 30
Bug#818912: marked as done (apt-cudf shouldn't exit non-zero if it isn't crashing) Jul 18
Bug#831664: marked as done (why3: please make the build reproducible) Jul 19
Processed: Closing FTBFS bugs related to “building as root” Jul 29
Processed: fixed Jul 07
Bug#806209: marked as done (jsonm: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)) Jul 30
Processed: tagging 830957 Jul 14
Bug#806087: marked as done (ocaml: FTBFS when built with dpkg-buildpackage -A (No such file or directory)) Jul 15
Bug#830957: marked as done (dose-distcheck: dose-debcheck does not compute installable packages any more) Jul 15
Bug#522058: marked as done (tuareg-mode: autoload tuareg-run-caml ) Jul 17
Processed: tagging 813820 Jul 23
Processed: forcibly merging 813820 831567 Jul 22
Processed (with 1 error): forcibly merging 731400 738423 Jul 22
Bug#806210: marked as done (uutf: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)) Jul 30
Bug#805993: marked as done (apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory)) Jul 14
Processed: Re: [unison-gtk] Doesn't synchronize windows fat subfolders Jul 06
Bug#801447: marked as done (ocaml-nox: broken symlinks /usr/share/man/man1/ocamlbuild.*) Jul 15
Processed: More uploads needed Jul 29
Processed: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments Jul 23
Bug#806028: marked as done (galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)) Jul 30
Bug#787012: marked as done (lwt: package description fixes) Jul 28
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
Processed: Re: Bug #720696: confluence: FTBFS with make 3.82 from experimental: ocamlc.opt: Command not found Jul 29
Processed: Re: #769272: Remove tag unreproducible Jul 29
Bug#806625: marked as done (lablgtk2: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc fails)) Jul 30
Processed: Bug #742881: missing license in debian/copyright Jul 23
Processed: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684) Jul 23
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29

Debian FTP Masters

Processing of lablgtk2_2.18.3+dfsg-2_amd64.changes Jul 30
Processing of dose3_5.0-1~bpo8+1_amd64.changes Jul 02
Processing of bin-prot_113.33.03-1_amd64.changes Jul 28
laby_0.6.4-1_amd64.changes ACCEPTED into unstable Jul 17
js-build-tools_113.33.04-1_amd64.changes ACCEPTED into unstable, unstable Jul 26
Processing of dose3_5.0-3_source.changes Jul 15
Processing of dose3_5.0-3~bpo8+1_source.changes Jul 21
Processing of galax_1.1-14_all.changes Jul 30
Processing of lwt_2.5.2-1_amd64.changes Jul 28
Processing of ppx-optcomp_113.33.03-1_amd64.changes Jul 30
ocaml_4.02.3-7_source.changes ACCEPTED into unstable Jul 15
Processing of sexplib310_113.33.03-1_amd64.changes Jul 28
Processing of ppx-deriving_3.3-1_amd64.changes Jul 29
tuareg-mode_2.0.10-1_source.changes ACCEPTED into unstable Jul 17
apron_0.9.10-8_source.changes ACCEPTED into unstable Jul 14
Processing of laby_0.6.4-1_amd64.changes Jul 17
uutf_0.9.4-2_amd64.changes ACCEPTED into unstable Jul 30
jsonm_0.9.1-2_amd64.changes ACCEPTED into unstable Jul 30
uutf_0.9.4-2_all.changes REJECTED Jul 30
Processing of why3_0.87.1-2_source.changes Jul 19
why3_0.87.1-2_source.changes ACCEPTED into unstable Jul 19
galax_1.1-14_amd64.changes ACCEPTED into unstable Jul 30
ppx-optcomp_113.33.03-1_amd64.changes is NEW Jul 30
dose3_5.0-1~bpo8+1_amd64.changes is NEW Jul 02
Processing of tuareg-mode_2.0.10-1_source.changes Jul 17
ppx-core_113.33.03-1_amd64.changes is NEW Jul 27
Processing of jsonm_0.9.1-2_amd64.changes Jul 30
Processing of variantslib_113.33.03-1_amd64.changes Jul 28
js-build-tools_113.33.04-1_amd64.changes is NEW Jul 26
lablgtk2_2.18.3+dfsg-2_all.changes REJECTED Jul 30
Processing of apron_0.9.10-8_source.changes Jul 14
ppx-core_113.33.03-1_amd64.changes ACCEPTED into unstable, unstable Jul 28
Processing of ppx-core_113.33.03-1_amd64.changes Jul 27
Processing of js-build-tools_113.33.04-1_amd64.changes Jul 26
variantslib_113.33.03-1_amd64.changes is NEW Jul 28
jsonm_0.9.1-2_all.changes REJECTED Jul 30
Processing of ocaml_4.02.3-7_source.changes Jul 15
Processing of uutf_0.9.4-2_all.changes Jul 30
sexplib310_113.33.03-1_amd64.changes is NEW Jul 28
dose3_5.0-3~bpo8+1_source.changes REJECTED Jul 21
Processing of lablgtk2_2.18.3+dfsg-2_all.changes Jul 30
dose3_5.0-1~bpo8+1_amd64.changes ACCEPTED into jessie-backports, jessie-backports Jul 04
Processing of uutf_0.9.4-2_amd64.changes Jul 30
Processing of jsonm_0.9.1-2_all.changes Jul 30
lwt_2.5.2-1_amd64.changes ACCEPTED into unstable Jul 28
dose3_5.0-2_source.changes ACCEPTED into unstable Jul 15
Processing of dose3_5.0-2_source.changes Jul 15
ppx-tools_5.0+4.02.0-1_amd64.changes ACCEPTED into unstable Jul 27
dose3_5.0-3~bpo8+1_multi.changes ACCEPTED into jessie-backports Jul 21
lablgtk2_2.18.3+dfsg-2_amd64.changes ACCEPTED into unstable Jul 30
Processing of ppx-tools_5.0+4.02.0-1_amd64.changes Jul 27
galax_1.1-14_all.changes REJECTED Jul 30
Processing of fieldslib_113.33.03-1_amd64.changes Jul 28
Processing of dose3_5.0-3~bpo8+1_multi.changes Jul 21
ppx-deriving_3.3-1_amd64.changes is NEW Jul 29
Processing of galax_1.1-14_amd64.changes Jul 30
bin-prot_113.33.03-1_amd64.changes is NEW Jul 28
dose3_5.0-3_source.changes ACCEPTED into unstable Jul 15
fieldslib_113.33.03-1_amd64.changes is NEW Jul 28

Debian testing autoremoval watch

marionnet is marked for autoremoval from testing Jul 10
apron is marked for autoremoval from testing Jul 20
apron is marked for autoremoval from testing Jul 21

Franz Schrober

Bug#830185: [coccinelle] Fatal errors when running Linux coccicheck Jul 07

Incassobureau

Neem actie tegen wanbetalers Jul 05

Lucas Nussbaum

Bug#832877: mathcomp: FTBFS: build-dependency not installable: libssreflect-coq (>= 1.5) Jul 29

Mehdi Dogguy

Re: Newcomer to the team Jul 07

Nicolas Braud-Santoni

Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
More uploads needed Jul 29
Newcomer to the team Jul 06
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
Re: More uploads needed Jul 31
Re: Newcomer to the team Jul 23
Bug#720696: Bug #720696: confluence: FTBFS with make 3.82 from experimental: ocamlc.opt: Command not found Jul 29
Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684) Jul 23
Re: Uploads needed Jul 29
Re: Uploads needed Jul 31
Bug#731400: Future of camlduce (Debian bug #731400) Jul 23
Bug#832877: Bug #832877: mathcomp: FTBFS: build-dependency not installable: libssreflect-coq (>= 1.5) Jul 29
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
Closing FTBFS bugs related to “building as root” Jul 29
Bug#813459: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments Jul 23
Bug#583994: advi: Security bugs in ghostscript Jul 24
Re: Newcomer to the team Jul 25
Re: Uploads needed Jul 31
Bug#752208: [unison-gtk] Doesn't synchronize windows fat subfolders Jul 06
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Jul 29
Bug#715070: Bug #715070: Broken library symlink detected in libapron-dev Jul 23
Re: Uploads needed Jul 31
Bug#742881: Bug #742881: missing license in debian/copyright Jul 23
Re: Uploads needed Jul 31
Uploads needed Jul 24
coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684) Jul 23

Niels Elgaard Larsen

Bug#823148: unison: Unison 2.48.3 crashes when syncing to a Ubuntu xenian host with same version if file>700 bytes Jul 01

Ralf Treinen

Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684) Jul 23
Bug#830957: dose-distcheck: dose-debcheck does not compute installable packages any more Jul 13
Re: Uploads needed Jul 28
Bug#829215: opam: FTBFS on hurd ("lockf" failed: Operation not supported) Jul 01
Bug#824693: ocaml: Enable native compilers in ppc64el starting at version 4.03 Jul 15
Bug#831664: why3: please make the build reproducible Jul 19
Re: Uploads needed Jul 30
Re: Newcomer to the team Jul 24

Reiner Herrmann

Bug#830282: dh-ocaml: please make the build reproducible Jul 07

Samuel Hym

Bug#831567: ssreflect: Version 1.6 released, compatible with coq/{testing,unstable} Jul 17

Santiago Vila

The last update was on 16:07 GMT Sat May 18. There are 162 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