debian-ocaml-maint Jan 2016 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
aac-tactics is marked for autoremoval from testing Accepted coq 8.5-1 (source amd64) into unstable Accepted coq 8.5-2 (source amd64) into unstable apron_0.9.10-7_amd64.changes ACCEPTED into unstable atdgen_1.7.2-1_amd64.changes ACCEPTED into unstable bin-prot_113.00.00-1_source.changes ACCEPTED into unstable Bug#668751: liquidsoap: diff for NMU version 1.1.1-7.1 Bug#668751: marked as done (liquidsoap: unowned directory after purge: /usr/share/liquidsoap) Bug#718317: marked as done (apt-cudf: doesn't include any source preference in the Request stanza) Bug#724847: marked as done (facile: FTBFS with make 3.82) Bug#731817: marked as done (janest-core: FTBFS with ocaml 4.01.0) Bug#743155: marked as done (libcore-ocaml: Cannot be installed under Sid) Bug#754303: marked as done (janest-core: New version available) Bug#770802: marked as done (dose-debcheck: now requires --deb-native-arch when used with -e -f) Bug#786026: marked as done (liquidsoap: deprecation of python-support) Bug#786671: marked as done (dose3: support for versioned provides) Bug#790422: marked as done (Parsing.Parse_error - improve error message) Bug#790422: Parsing.Parse_error Bug#802055: camlp4 Bug#802055: marked as done (liquidsoap: currently FTBFS) Bug#802166: marked as done (otags: fails to install: post-installation script returned error exit status 3) Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Bug#802860: marked as done (eliom: FTBFS: the new definition of Svg does not match its original definition in the constrained signature) Bug#802865: marked as done (nss-passwords: FTBFS: ocaml/caml/config.h: error: conflicting types for 'int64') Bug#803887: info ocaml fails Bug#803887: marked as done (info ocaml fails) Bug#805456: marked as done (unison: fails to recognize changes after upgrade of unison on both hosts) Bug#805456: unison: works well on my testing Bug#805818: marked as done (ocamlgsl: Fails to build with GSL 2) Bug#807019: marked as done (unison2.40.102: Segmentation fault) Bug#807019: tracking bin-num - broken unison due to binnmu upload Bug#807019: unison2.40.102: Segmentation fault Bug#808628: marked as done (apron: FTBFS: ap_config.h: error: expected identifier or ‘(’ before ‘__extension__’) Bug#809049: marked as done (dose3 FTBFS on mips and mipsel because of dot) Bug#809225: marked as done (Segfault when using unison 2.32.52 in sid (both text and gtk versions)) Bug#809225: Nice way to solve bugs and segfaults Bug#809999: marked as done (pa-test: FTBFS: E: Cannot find findlib package herelib) Bug#809999: pa-test: FTBFS: E: Cannot find findlib package herelib Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Bug#810213: Ben: Use https instead of http for external links Bug#810262: ITP: ocaml-re2 -- OCaml bindings for re2 Bug#810270: Removed package(s) from unstable Bug#810270: RM: unison2.40.102 -- ROM; Broken (#807019) Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Bug#810513: apt-cudf: SIGPIPE on 32-bit machine, causes experimental buildds to fail Bug#810513: marked as done (apt-cudf: SIGPIPE on 32-bit machine, causes experimental buildds to fail) Bug#810531: Removed package(s) from unstable Bug#810531: RM: unison2.32.52 -- ROM; Broken (#809225) Bug#810553: unison: Please package Unison's fsmonitor.py Bug#811248: Error in manpage: --arch should be --deb-native-arch Bug#811569: More forgiving parser on bad input fields Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Bug#812202: dose-distcheck, dose-builddebcheck: --exclude option Bug#812203: dose-deb-coinstall mentioned as "dose-coinstall" in dose-extra description Bug#812300: FTBFS: The first variant type does not allow tag Bug#812300: marked as done (FTBFS: The first variant type does not allow tag) Bug#812591: liquidsoap: segfaults immediately Bug#812634: janest-core: FTBFS - build-depends on non-existent libcore-kernel-ocaml-dev Bug#812711: nurpawiki: FTBFS - argument cannot be applied without label Bug#812786: dose3: Please add support for hardened1-linux-amd64 Bug#813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal camlp5 is marked for autoremoval from testing camlp5_6.14-2_amd64.changes ACCEPTED into unstable cmdliner_0.9.8-1_amd64.changes ACCEPTED into unstable coinst is marked for autoremoval from testing comparelib_113.00.00-1_source.changes ACCEPTED into unstable coq is marked for autoremoval from testing coq-doc is marked for autoremoval from testing coq-float is marked for autoremoval from testing coq_8.5-1_amd64.changes ACCEPTED into unstable coq_8.5-2_amd64.changes ACCEPTED into unstable cppo_1.3.1-1_amd64.changes ACCEPTED into unstable custom-printf_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable custom-printf_113.00.00-1_amd64.changes is NEW custom-printf_113.00.00-1_source.changes REJECTED dose3 is marked for autoremoval from testing dose3_4.0.2-4_amd64.changes ACCEPTED into unstable dose3_4.1-1_amd64.changes ACCEPTED into unstable dose3_4.1-2_amd64.changes ACCEPTED into unstable dose3_4.1-3_amd64.changes ACCEPTED into unstable easy-format_1.2.0-1_amd64.changes ACCEPTED into unstable eliom_4.2-1_amd64.changes ACCEPTED into unstable eliom_4.2-2_amd64.changes ACCEPTED into unstable enumerate_111.08.00-2_source.changes ACCEPTED into unstable facile_1.1.1-1_amd64.changes ACCEPTED into unstable failed mips build of coq 8.5-1 failed mipsel build of coq 8.5-1 failed ppc64el build of coq 8.5-1 failed s390x build of coq 8.5-1 fieldslib_113.00.00-1_source.changes ACCEPTED into unstable frama-c_20151002+magnesium+dfsg-1_amd64.changes ACCEPTED into unstable herelib_112.35.00-1_source.changes ACCEPTED into unstable hol-light is marked for autoremoval from testing janest-core-extended_113.00.00-1_amd64.changes is NEW janest-core-extended_113.00.00-1_amd64.changes REJECTED janest-core-extended_113.00.00-2_amd64.changes is NEW janest-core-kernel_113.00.00-1_amd64.changes is NEW janest-core-kernel_113.00.00-1_amd64.changes REJECTED janest-core-kernel_113.00.00-2_amd64.changes is NEW janest-core-kernel_113.00.00-2_amd64.changes REJECTED janest-core-kernel_113.00.00-2_source.changes REJECTED janest-core-kernel_113.00.00-3_amd64.changes is NEW janest-core_113.00.00-1_source.changes ACCEPTED into unstable js-of-ocaml is marked for autoremoval from testing lambda-term_1.9-1_amd64.changes is NEW ledit is marked for autoremoval from testing liquidsoap_1.1.1-7.1_source.changes ACCEPTED into unstable lwt is marked for autoremoval from testing mathcomp is marked for autoremoval from testing menhir_20151112.dfsg-1_amd64.changes ACCEPTED into unstable meta-unison is marked for autoremoval from testing meta-unison_2.48+2_amd64.changes ACCEPTED into unstable nproc is marked for autoremoval from testing nss-passwords is marked for autoremoval from testing nss-passwords_0.2-2_amd64.changes ACCEPTED into unstable obus is marked for autoremoval from testing OCaml code checker? ocaml-csv_1.4.2-1_amd64.changes ACCEPTED into unstable ocaml-doc_4.02-2_amd64.changes ACCEPTED into unstable ocaml-extunix_0.1.3-1_amd64.changes ACCEPTED into unstable ocaml-ipaddr_2.6.1-1_amd64.changes ACCEPTED into unstable ocaml-re2_113.00.00+dfsg-1_amd64.changes ACCEPTED into unstable, unstable ocaml-re2_113.00.00+dfsg-1_amd64.changes is NEW ocaml-re2_113.00.00-1_amd64.changes is NEW ocaml-re2_113.00.00-1_amd64.changes REJECTED ocaml-sqlexpr is marked for autoremoval from testing ocaml-ssl_0.5.2-1_amd64.changes ACCEPTED into unstable ocaml-textutils_112.17.00-1_amd64.changes ACCEPTED into unstable, unstable ocaml-textutils_112.17.00-1_amd64.changes is NEW ocaml-usb is marked for autoremoval from testing ocaml-zarith_1.4.1-1_amd64.changes ACCEPTED into unstable ocamlgsl is marked for autoremoval from testing ocamlgsl_1.19.1-1_amd64.changes ACCEPTED into unstable ocp-indent is marked for autoremoval from testing ocp-indent_1.5.2-1_source.changes ACCEPTED into unstable ocp-indent_1.5.2-2_source.changes ACCEPTED into unstable ocsigenserver is marked for autoremoval from testing opam is marked for autoremoval from testing otags_4.01.1-3_amd64.changes ACCEPTED into unstable otags_4.02.2-1_amd64.changes ACCEPTED into unstable pa-bench_113.00.00-1_source.changes ACCEPTED into unstable pa-ounit_113.00.00-1_source.changes ACCEPTED into unstable pa-structural-sexp_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable pa-structural-sexp_113.00.00-1_amd64.changes is NEW pa-structural-sexp_113.00.00-1_source.changes REJECTED pa-test_112.24.00-1_source.changes ACCEPTED into unstable pa-test_112.24.00-2_source.changes ACCEPTED into unstable parmap_1.0~rc7-1_amd64.changes ACCEPTED into unstable pgocaml_2.2-1_amd64.changes ACCEPTED into unstable pipebang_113.00.00-1_source.changes ACCEPTED into unstable Processed: bug 810513 is forwarded to dose development list Processed: bug 812202 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=19981&group_id=4395&atid=13809 Processed: found 802166 in otags/4.01.1-3 Processed: found 811569 in 3.3~beta1-3 Processed: liquidsoap: diff for NMU version 1.1.1-7.1 Processed: notfound 805456 in unison/2.48.3-1 Processed: Re: Bug#805456: unison: works well on my testing Processed: Re: Bug#811248: Error in manpage: --arch should be --deb-native-arch Processed: Re: Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Processed: reassign 802264 to camlp5 Processed: reopening 802166 Processed: severity of 790958 is normal, severity of 805844 is serious, severity of 807237 is serious ... Processed: severity of 802264 is important Processed: tag Processed: tagging 808491, found 808874 in 20151023, tagging 809130, found 733693 in 0.6.1-6, tagging 733693 ... Processed: tagging 811569 Processed: tagging 812337, tagging 812178, tagging 812188, tagging 812085, tagging 811714 Processed: tagging 812658 ..., tagging 812658, tagging 812619, tagging 812644, tagging 812711, tagging 812620 ... Processed: tagging 812786 Processing of apron_0.9.10-7_amd64.changes Processing of atdgen_1.7.2-1_amd64.changes Processing of bin-prot_113.00.00-1_source.changes Processing of camlp5_6.14-2_amd64.changes Processing of cmdliner_0.9.8-1_amd64.changes Processing of comparelib_113.00.00-1_source.changes Processing of coq_8.5-1_amd64.changes Processing of coq_8.5-2_amd64.changes Processing of cppo_1.3.1-1_amd64.changes Processing of custom-printf_113.00.00-1_amd64.changes Processing of custom-printf_113.00.00-1_source.changes Processing of dose3_4.0.2-4_amd64.changes Processing of dose3_4.1-1_amd64.changes Processing of dose3_4.1-2_amd64.changes Processing of dose3_4.1-3_amd64.changes Processing of easy-format_1.2.0-1_amd64.changes Processing of eliom_4.2-1_amd64.changes Processing of eliom_4.2-2_amd64.changes Processing of enumerate_111.08.00-2_source.changes Processing of facile_1.1.1-1_amd64.changes Processing of fieldslib_113.00.00-1_source.changes Processing of frama-c_20151002+magnesium+dfsg-1_amd64.changes Processing of herelib_112.35.00-1_source.changes Processing of janest-core-extended_113.00.00-1_amd64.changes Processing of janest-core-extended_113.00.00-2_amd64.changes Processing of janest-core-kernel_113.00.00-1_amd64.changes Processing of janest-core-kernel_113.00.00-2_amd64.changes Processing of janest-core-kernel_113.00.00-2_source.changes Processing of janest-core-kernel_113.00.00-3_amd64.changes Processing of janest-core_113.00.00-1_source.changes Processing of lambda-term_1.9-1_amd64.changes Processing of liquidsoap_1.1.1-7.1_source.changes Processing of menhir_20151112.dfsg-1_amd64.changes Processing of meta-unison_2.48+2_amd64.changes Processing of nss-passwords_0.2-2_amd64.changes Processing of ocaml-csv_1.4.2-1_amd64.changes Processing of ocaml-doc_4.02-2_amd64.changes Processing of ocaml-extunix_0.1.3-1_amd64.changes Processing of ocaml-ipaddr_2.6.1-1_amd64.changes Processing of ocaml-re2_113.00.00+dfsg-1_amd64.changes Processing of ocaml-re2_113.00.00-1_amd64.changes Processing of ocaml-ssl_0.5.2-1_amd64.changes Processing of ocaml-textutils_112.17.00-1_amd64.changes Processing of ocaml-zarith_1.4.1-1_amd64.changes Processing of ocamlgsl_1.19.1-1_amd64.changes Processing of ocp-indent_1.5.2-1_source.changes Processing of ocp-indent_1.5.2-2_source.changes Processing of otags_4.01.1-3_amd64.changes Processing of otags_4.02.2-1_amd64.changes Processing of pa-bench_113.00.00-1_source.changes Processing of pa-ounit_113.00.00-1_source.changes Processing of pa-structural-sexp_113.00.00-1_amd64.changes Processing of pa-structural-sexp_113.00.00-1_source.changes Processing of pa-test_112.24.00-1_source.changes Processing of pa-test_112.24.00-2_source.changes Processing of parmap_1.0~rc7-1_amd64.changes Processing of pgocaml_2.2-1_amd64.changes Processing of pipebang_113.00.00-1_source.changes Processing of sexplib310_113.00.00-1_source.changes Processing of type-conv_113.00.02-1_source.changes Processing of typerep_113.00.00-1_source.changes Processing of utop_1.18.1-1_amd64.changes Processing of variantslib_109.15.03-2_source.changes Processing of yojson_1.3.0-1_amd64.changes Processing of zed_1.4-1_amd64.changes prooftree is marked for autoremoval from testing react is marked for autoremoval from testing reactivedata is marked for autoremoval from testing sexplib310_113.00.00-1_source.changes ACCEPTED into unstable ssreflect is marked for autoremoval from testing type-conv_113.00.02-1_source.changes ACCEPTED into unstable typerep_113.00.00-1_source.changes ACCEPTED into unstable ulex0.8 is marked for autoremoval from testing unison2.32.52 is marked for autoremoval from testing unison2.40.102 is marked for autoremoval from testing utop_1.18.1-1_amd64.changes is NEW variantslib_109.15.03-2_source.changes ACCEPTED into unstable Verwarm de sfeer van uw bedrijf met een smakelijke kopje koffie why is marked for autoremoval from testing yojson_1.3.0-1_amd64.changes ACCEPTED into unstable zed_1.4-1_amd64.changes ACCEPTED into unstable, unstable zed_1.4-1_amd64.changes is NEW The last update was on 07:03 GMT Wed May 29. There are 298 messages. Page 1 of 1.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 1
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc