debian-ocaml-maint Jul 2016 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Bug#823148: unison: Unison 2.48.3 crashes when syncing to a Ubuntu xenian host with same version if file>700 bytes
Niels Elgaard Larsen
Bug#829215: opam: FTBFS on hurd ("lockf" failed: Operation not supported)
Ralf Treinen
Processing of dose3_5.0-1~bpo8+1_amd64.changes
Debian FTP Masters
dose3_5.0-1~bpo8+1_amd64.changes is NEW
Debian FTP Masters
dose3_5.0-1~bpo8+1_amd64.changes ACCEPTED into jessie-backports, jessie-backports
Debian FTP Masters
Neem actie tegen wanbetalers
Incassobureau
Bug#752208: [unison-gtk] Doesn't synchronize windows fat subfolders
Nicolas Braud-Santoni
Message not available
Processed: Re: [unison-gtk] Doesn't synchronize windows fat subfolders
Debian Bug Tracking System
Newcomer to the team
Nicolas Braud-Santoni
Re: Newcomer to the team
Mehdi Dogguy
Re: Newcomer to the team
Nicolas Braud-Santoni
Re: Newcomer to the team
Ralf Treinen
Re: Newcomer to the team
Nicolas Braud-Santoni
Bug#830185: [coccinelle] Fatal errors when running Linux coccicheck
Franz Schrober
Processed: fixed
Debian Bug Tracking System
Transporte de Carga - Alquiler de Maquinaria de Construcción y Grúas
Logisven - Coordinación Logística y Alquiler de Grúas
Bug#830282: dh-ocaml: please make the build reproducible
Reiner Herrmann
marionnet is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#830957: dose-distcheck: dose-debcheck does not compute installable packages any more
Andreas Beckmann
Bug#830957: dose-distcheck: dose-debcheck does not compute installable packages any more
Ralf Treinen
Bug#830957: marked as done (dose-distcheck: dose-debcheck does not compute installable packages any more)
Debian Bug Tracking System
Bug#805993: apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Santiago Vila
Processed: bug 830957 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=20581&group_id=4395&atid=13808
Debian Bug Tracking System
Processed: tagging 830957
Debian Bug Tracking System
<Possible follow-ups>
Processed: tagging 830957
Debian Bug Tracking System
Processing of apron_0.9.10-8_source.changes
Debian FTP Masters
Bug#805993: marked as done (apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory))
Debian Bug Tracking System
apron_0.9.10-8_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Santiago Vila
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Nicolas Braud-Santoni
Message not available
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Debian Bug Tracking System
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Santiago Vila
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Nicolas Braud-Santoni
Message not available
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Debian Bug Tracking System
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Santiago Vila
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Nicolas Braud-Santoni
Message not available
Processed: Re: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Debian Bug Tracking System
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Nicolas Braud-Santoni
Re: Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Stéphane Glondu
Bug#806087: ocaml: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Santiago Vila
Bug#806209: jsonm: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)
Santiago Vila
Bug#806210: uutf: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)
Santiago Vila
Bug#806625: lablgtk2: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc fails)
Santiago Vila
Processing of dose3_5.0-2_source.changes
Debian FTP Masters
dose3_5.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processed: severity of 824693 is wishlist
Debian Bug Tracking System
Bug#824693: ocaml: Enable native compilers in ppc64el starting at version 4.03
Ralf Treinen
Processing of ocaml_4.02.3-7_source.changes
Debian FTP Masters
Processing of dose3_5.0-3_source.changes
Debian FTP Masters
Bug#801447: marked as done (ocaml-nox: broken symlinks /usr/share/man/man1/ocamlbuild.*)
Debian Bug Tracking System
Bug#806087: marked as done (ocaml: FTBFS when built with dpkg-buildpackage -A (No such file or directory))
Debian Bug Tracking System
dose3_5.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml_4.02.3-7_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#831567: ssreflect: Version 1.6 released, compatible with coq/{testing,unstable}
Samuel Hym
Processing of laby_0.6.4-1_amd64.changes
Debian FTP Masters
laby_0.6.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of tuareg-mode_2.0.10-1_source.changes
Debian FTP Masters
Bug#522058: marked as done (tuareg-mode: autoload tuareg-run-caml )
Debian Bug Tracking System
Bug#788456: marked as done (tries to use OPAM even if OPAM is not initialized)
Debian Bug Tracking System
tuareg-mode_2.0.10-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#818912: marked as done (apt-cudf shouldn't exit non-zero if it isn't crashing)
Debian Bug Tracking System
Bug#831664: why3: please make the build reproducible
Chris Lamb
Bug#831664: why3: please make the build reproducible
Ralf Treinen
Bug#831664: why3: please make the build reproducible
Chris Lamb
Bug#831664: marked as done (why3: please make the build reproducible)
Debian Bug Tracking System
Processing of why3_0.87.1-2_source.changes
Debian FTP Masters
why3_0.87.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
apron is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
apron is marked for autoremoval from testing
Debian testing autoremoval watch
Processing of dose3_5.0-3~bpo8+1_source.changes
Debian FTP Masters
dose3_5.0-3~bpo8+1_source.changes REJECTED
Debian FTP Masters
Processing of dose3_5.0-3~bpo8+1_multi.changes
Debian FTP Masters
dose3_5.0-3~bpo8+1_multi.changes ACCEPTED into jessie-backports
Debian FTP Masters
Processed (with 1 error): forcibly merging 731400 738423
Debian Bug Tracking System
Processed: forcibly merging 813820 831567
Debian Bug Tracking System
Bug#832174: ITP: js-build-tools -- collection of tools to help building Jane Street Packages
Stéphane Glondu
coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Nicolas Braud-Santoni
Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Ralf Treinen
Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Nicolas Braud-Santoni
Message not available
Processed: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Debian Bug Tracking System
Bug#715070: Bug #715070: Broken library symlink detected in libapron-dev
Nicolas Braud-Santoni
Message not available
Processed: Bug #715070: Broken library symlink detected in libapron-dev
Debian Bug Tracking System
Bug#813459: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments
Nicolas Braud-Santoni
Message not available
Processed: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments
Debian Bug Tracking System
Bug#742881: Bug #742881: missing license in debian/copyright
Nicolas Braud-Santoni
Message not available
Processed: Bug #742881: missing license in debian/copyright
Debian Bug Tracking System
Bug#731400: Future of camlduce (Debian bug #731400)
Nicolas Braud-Santoni
Processed: tagging 813820
Debian Bug Tracking System
Uploads needed
Nicolas Braud-Santoni
Re: Uploads needed
Ralf Treinen
Re: Uploads needed
Nicolas Braud-Santoni
Re: Uploads needed
Ralf Treinen
Re: Uploads needed
Stéphane Glondu
Re: Uploads needed
Nicolas Braud-Santoni
Re: Uploads needed
Stéphane Glondu
Re: Uploads needed
Nicolas Braud-Santoni
Re: Uploads needed
Stéphane Glondu
Re: Uploads needed
Nicolas Braud-Santoni
Re: Uploads needed
Stéphane Glondu
Re: Uploads needed
Nicolas Braud-Santoni
Bug#583994: advi: Security bugs in ghostscript
Nicolas Braud-Santoni
Message not available
Processed: Re: advi: Security bugs in ghostscript
Debian Bug Tracking System
Processing of js-build-tools_113.33.04-1_amd64.changes
Debian FTP Masters
js-build-tools_113.33.04-1_amd64.changes is NEW
Debian FTP Masters
js-build-tools_113.33.04-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Processing of ppx-tools_5.0+4.02.0-1_amd64.changes
Debian FTP Masters
ppx-tools_5.0+4.02.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#832596: ITP: ppx-core -- standard library for ppx rewriters
Stéphane Glondu
Processing of ppx-core_113.33.03-1_amd64.changes
Debian FTP Masters
ppx-core_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
Processing of lwt_2.5.2-1_amd64.changes
Debian FTP Masters
Bug#787012: marked as done (lwt: package description fixes)
Debian Bug Tracking System
ppx-core_113.33.03-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
lwt_2.5.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of bin-prot_113.33.03-1_amd64.changes
Debian FTP Masters
bin-prot_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
Processing of sexplib310_113.33.03-1_amd64.changes
Debian FTP Masters
Processing of fieldslib_113.33.03-1_amd64.changes
Debian FTP Masters
Processing of variantslib_113.33.03-1_amd64.changes
Debian FTP Masters
fieldslib_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
sexplib310_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
variantslib_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
Bug#832877: mathcomp: FTBFS: build-dependency not installable: libssreflect-coq (>= 1.5)
Lucas Nussbaum
Bug#832877: Bug #832877: mathcomp: FTBFS: build-dependency not installable: libssreflect-coq (>= 1.5)
Nicolas Braud-Santoni
Bug#832881: ITP: ppx-deriving -- type-driven code generation for OCaml
Stéphane Glondu
Processing of ppx-deriving_3.3-1_amd64.changes
Debian FTP Masters
ppx-deriving_3.3-1_amd64.changes is NEW
Debian FTP Masters
Closing FTBFS bugs related to “building as root”
Nicolas Braud-Santoni
Processed: Closing FTBFS bugs related to “building as root”
Debian Bug Tracking System
Bug#720696: Bug #720696: confluence: FTBFS with make 3.82 from experimental: ocamlc.opt: Command not found
Nicolas Braud-Santoni
Message not available
Processed: Re: Bug #720696: confluence: FTBFS with make 3.82 from experimental: ocamlc.opt: Command not found
Debian Bug Tracking System
Processed: tagging 769272
Debian Bug Tracking System
More uploads needed
Nicolas Braud-Santoni
Processed: More uploads needed
Debian Bug Tracking System
Re: More uploads needed
Stéphane Glondu
Re: More uploads needed
Nicolas Braud-Santoni
Processed: #769272: Remove tag unreproducible
Debian Bug Tracking System
Processed: Re: #769272: Remove tag unreproducible
Debian Bug Tracking System
Processed: tagging 832877
Debian Bug Tracking System
Processing of jsonm_0.9.1-2_all.changes
Debian FTP Masters
Processing of uutf_0.9.4-2_all.changes
Debian FTP Masters
Processing of lablgtk2_2.18.3+dfsg-2_all.changes
Debian FTP Masters
Processing of galax_1.1-14_all.changes
Debian FTP Masters
galax_1.1-14_all.changes REJECTED
Debian FTP Masters
jsonm_0.9.1-2_all.changes REJECTED
Debian FTP Masters
lablgtk2_2.18.3+dfsg-2_all.changes REJECTED
Debian FTP Masters
uutf_0.9.4-2_all.changes REJECTED
Debian FTP Masters
Bug#806209: marked as done (jsonm: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails))
Debian Bug Tracking System
Bug#806210: marked as done (uutf: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails))
Debian Bug Tracking System
Processing of uutf_0.9.4-2_amd64.changes
Debian FTP Masters
Processing of jsonm_0.9.1-2_amd64.changes
Debian FTP Masters
jsonm_0.9.1-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
uutf_0.9.4-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#806625: marked as done (lablgtk2: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc fails))
Debian Bug Tracking System
Processing of lablgtk2_2.18.3+dfsg-2_amd64.changes
Debian FTP Masters
lablgtk2_2.18.3+dfsg-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of galax_1.1-14_amd64.changes
Debian FTP Masters
Bug#806028: marked as done (galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory))
Debian Bug Tracking System
galax_1.1-14_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#832979: ITP: ppx-optcomp -- optional compilation for OCaml
Stéphane Glondu
Processing of ppx-optcomp_113.33.03-1_amd64.changes
Debian FTP Masters
ppx-optcomp_113.33.03-1_amd64.changes is NEW
Debian FTP Masters
The last update was on 16:07 GMT Sat May 18. There are 162 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc