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