debian-ocaml-maint Feb 2020 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]
[bts-link] source package unison
aac-tactics is marked for autoremoval from testing
aac-tactics_8.9.0-1_source.changes ACCEPTED into unstable
Accepted ocurl 0.9.0-2 (source) into unstable
advi_1.10.2-6_source.changes ACCEPTED into unstable
alt-ergo is marked for autoremoval from testing
apron is marked for autoremoval from testing
belenios is marked for autoremoval from testing
ben is marked for autoremoval from testing
bin-prot_0.13.0-1_source.changes ACCEPTED into unstable
bin-prot_0.13.0-2_source.changes ACCEPTED into unstable
Bug#484997: unison: Place logfile in .unison directory instead of home directory
Bug#798917: marked as done (src:meta-ocaml: Please, remove me from the uploader field)
Bug#813596: marked as done (coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.)
Bug#878469: marked as done (js-of-ocaml FTBFS: ocamlbuild: Command not found)
Bug#885267: coccinelle: Depends on unmaintained pygtk
Bug#908203: opam in buster
Bug#925073: marked as done (Updating the ocaml-res Uploaders list)
Bug#944366: marked as done (FTBFS with OCaml 4.08.1 (safe strings))
Bug#948528: Package is 5 years out of date
Bug#948859: coccinelle: Package is uninstallable
Bug#948859: marked as done (coccinelle: Package is uninstallable)
Bug#950356: marked as done (meta-ocaml: A new source-only upload is needed to allow testing re-enter)
Bug#950605: Please, enable micro-C plugin
Bug#950835: Removed package(s) from unstable
Bug#950835: RM: js-build-tools -- ROM; deprecated by upstream
Bug#951052: FTBFS with menhir 20200123
Bug#951052: marked as done (FTBFS with menhir 20200123)
Bug#951238: ITP: ppx-bin-prot -- generation of bin_prot readers and writers from types
Bug#951240: ITP: ppx-here -- ppx rewriter that defines an extension node whose value is its source position
Bug#951241: marked as done (ocamlweb: build dependencies are incomplete)
Bug#951241: ocamlweb: build dependencies are incomplete
Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir
Bug#951761: buster-pu: package opam/2.0.3-1
Bug#951922: advi: FTBFS: configure: error: kpsexpand not found, check your PATH
Bug#951922: marked as done (advi: FTBFS: configure: error: kpsexpand not found, check your PATH)
Bug#952254: marked as done (ocaml-qtest: FTBFS: make[1]: jbuilder: Command not found)
Bug#952254: ocaml-qtest: FTBFS: make[1]: jbuilder: Command not found
Bug#952310: marionnet: FTBFS: Error: This expression has type bytes but an expression was expected of type string
Bug#952373: marked as done (Missing ABIzed dependencies)
Bug#952373: opam: FTBFS: Error: /usr/lib/ocaml/opam-file-format/opamParserTypes.cmi is not a compiled interface for this version of OCaml.
Bug#952454: coq: patch to use python3 (missing tests)
Bug#952461: coccinelle: build-depend on python instead of python2
Bug#952505: ocaml-qtest: autopkgtests regression
cairo-ocaml is marked for autoremoval from testing
camlp5_7.11-1_source.changes ACCEPTED into unstable
coccinelle_1.0.4.deb-5_source.changes ACCEPTED into unstable
coq 8.9.1-5 MIGRATED to testing
coq is marked for autoremoval from testing
coq-float is marked for autoremoval from testing
coq-float_8.9.0-1_source.changes ACCEPTED into unstable
cryptokit_1.15-1_source.changes ACCEPTED into unstable
Dank je wel
Dit moet je weten over je spaargeld
Even een serieuze vraag
freetennis is marked for autoremoval from testing
hol-light_20190729-4_source.changes ACCEPTED into unstable
janest-ocaml-compiler-libs_0.12.1-1_source.changes ACCEPTED into unstable
js-of-ocaml_3.5.2-1_source.changes ACCEPTED into unstable
js-of-ocaml_3.5.2-2_source.changes ACCEPTED into unstable
js-of-ocaml_3.5.2-3_source.changes ACCEPTED into unstable
Kan de EU uw bankrekeningen bevriezen en waarom.
lablgtk-extras is marked for autoremoval from testing
lablgtk2 is marked for autoremoval from testing
lablgtk3 is marked for autoremoval from testing
lablgtk3_3.1.0-1_source.changes ACCEPTED into experimental
lablgtkmathview is marked for autoremoval from testing
laby is marked for autoremoval from testing
lambda-term_2.0.3-1_source.changes ACCEPTED into unstable
liquidsoap is marked for autoremoval from testing
lwt_5.1.1-1_source.changes ACCEPTED into unstable
lwt_5.1.1-2_source.changes ACCEPTED into unstable
lwt_5.1.1-3_source.changes ACCEPTED into unstable
marionnet is marked for autoremoval from testing
menhir is marked for autoremoval from testing
menhir_20200123-1_source.changes ACCEPTED into unstable
menhir_20200123-2_source.changes ACCEPTED into unstable
meta-ocaml is marked for autoremoval from testing
meta-ocaml_4.08.1.1_source.changes ACCEPTED into unstable
mlpost is marked for autoremoval from testing
morbig is marked for autoremoval from testing
morbig_0.10.4-3_source.changes ACCEPTED into unstable
morsmall is marked for autoremoval from testing
morsmall_0.3.0-2_source.changes ACCEPTED into unstable
nss-passwords is marked for autoremoval from testing
obus is marked for autoremoval from testing
ocaml-atd is marked for autoremoval from testing
ocaml-cairo2 is marked for autoremoval from testing
ocaml-cairo2_0.6.1+dfsg-3_source.changes ACCEPTED into unstable
ocaml-dune_2.1.3-2_source.changes ACCEPTED into unstable
ocaml-gettext is marked for autoremoval from testing
ocaml-http is marked for autoremoval from testing
ocaml-lastfm is marked for autoremoval from testing
ocaml-lastfm_0.3.2-1_source.changes ACCEPTED into unstable
ocaml-migrate-parsetree_1.5.0-2_source.changes ACCEPTED into unstable
ocaml-qtest_2.10.1-1_source.changes ACCEPTED into unstable
ocaml-res_5.0.1-1_source.changes ACCEPTED into unstable
ocaml-result_1.4-4_source.changes ACCEPTED into unstable
ocaml-sedlex_2.1-5_source.changes ACCEPTED into unstable
ocaml-visitors_20200210-1_source.changes ACCEPTED into unstable
ocamlbricks is marked for autoremoval from testing
ocamldap is marked for autoremoval from testing
ocamlnet is marked for autoremoval from testing
ocamlodbc is marked for autoremoval from testing
ocamlrss is marked for autoremoval from testing
ocamlweb_1.41-4_source.changes ACCEPTED into unstable
ocsigenserver is marked for autoremoval from testing
ocurl_0.9.0-2_source.changes ACCEPTED into unstable
opam-file-format_2.0.0-2_source.changes ACCEPTED into unstable
parmap_1.1.1-1_source.changes ACCEPTED into unstable
parmap_1.1.1-2_source.changes ACCEPTED into unstable
ppx-compare_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
ppx-custom-printf_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
ppx-fields-conv_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
ppx-fields-conv_0.13.0-2_source.changes ACCEPTED into unstable
ppx-here_0.13.0-1_amd64.changes is NEW
ppx-variants-conv_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
ppx-variants-conv_0.13.0-2_source.changes ACCEPTED into unstable
Processed: affects 948859
Processed: Bug#952373 marked as pending in opam-file-format
Processed: fix release tags
Processed: fix title
Processed: limit source to advi, tagging 951922
Processed: Re: Bug#484997: unison: Place logfile in .unison directory instead of home directory
Processed: Re: unison: Place logfile in .unison directory instead of home directory
Processed: reassign 952373 to libopam-file-format-ocaml-dev, affects 952373
Processed: retitle 952373 to Missing ABIzed dependencies
Processed: tagging 951241
Processed: unarchiving 908203
Processing of aac-tactics_8.9.0-1_source.changes
Processing of advi_1.10.2-6_source.changes
Processing of bin-prot_0.13.0-1_source.changes
Processing of bin-prot_0.13.0-2_source.changes
Processing of camlp5_7.11-1_source.changes
Processing of coccinelle_1.0.4.deb-5_source.changes
Processing of coq-float_8.9.0-1_source.changes
Processing of cryptokit_1.15-1_source.changes
Processing of hol-light_20190729-4_source.changes
Processing of janest-ocaml-compiler-libs_0.12.1-1_source.changes
Processing of js-of-ocaml_3.5.2-1_source.changes
Processing of js-of-ocaml_3.5.2-2_source.changes
Processing of js-of-ocaml_3.5.2-3_source.changes
Processing of lablgtk3_3.1.0-1_source.changes
Processing of lambda-term_2.0.3-1_source.changes
Processing of lwt_5.1.1-1_source.changes
Processing of lwt_5.1.1-2_source.changes
Processing of lwt_5.1.1-3_source.changes
Processing of menhir_20200123-1_source.changes
Processing of menhir_20200123-2_source.changes
Processing of meta-ocaml_4.08.1.1_source.changes
Processing of morbig_0.10.4-3_source.changes
Processing of morsmall_0.3.0-2_source.changes
Processing of ocaml-cairo2_0.6.1+dfsg-3_source.changes
Processing of ocaml-dune_2.1.3-2_source.changes
Processing of ocaml-lastfm_0.3.2-1_source.changes
Processing of ocaml-migrate-parsetree_1.5.0-2_source.changes
Processing of ocaml-qtest_2.10.1-1_source.changes
Processing of ocaml-res_5.0.1-1_source.changes
Processing of ocaml-result_1.4-4_source.changes
Processing of ocaml-sedlex_2.1-5_source.changes
Processing of ocaml-visitors_20200210-1_source.changes
Processing of ocamlweb_1.41-4_source.changes
Processing of ocurl_0.9.0-2_source.changes
Processing of opam-file-format_2.0.0-2_source.changes
Processing of parmap_1.1.1-1_source.changes
Processing of parmap_1.1.1-2_source.changes
Processing of ppx-fields-conv_0.13.0-2_source.changes
Processing of ppx-here_0.13.0-1_amd64.changes
Processing of ppx-variants-conv_0.13.0-2_source.changes
Processing of unison_2.48.4-4.1_source.changes
Processing of utop_2.4.3-1_source.changes
Processing of why3_1.2.1-3_source.changes
Processing of zed_2.0.5-1_source.changes
prooftree is marked for autoremoval from testing
pxp is marked for autoremoval from testing
ssreflect is marked for autoremoval from testing
unison is marked for autoremoval from testing
utop_2.4.3-1_source.changes ACCEPTED into unstable
Wat heeft de dollar te maken met de oorlogen?
why3 is marked for autoremoval from testing
why3_1.2.1-3_source.changes ACCEPTED into unstable
zed_2.0.5-1_source.changes ACCEPTED into unstable
The last update was on 22:00 GMT Thu Feb 27. There are 194 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc