debian-ocaml-maint Feb 2020 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Bug#951052: FTBFS with menhir 20200123 Feb 10
Bug#951761: buster-pu: package opam/2.0.3-1 Feb 21
Bug#951238: ITP: ppx-bin-prot -- generation of bin_prot readers and writers from types Feb 13
Bug#908203: opam in buster Feb 18
Bug#948528: Package is 5 years out of date Feb 10
Bug#950835: RM: js-build-tools -- ROM; deprecated by upstream Feb 07
Bug#951240: ITP: ppx-here -- ppx rewriter that defines an extension node whose value is its source position Feb 13
Bug#484997: unison: Place logfile in .unison directory instead of home directory Feb 17

Anil Madhavapeddy

Bug#908203: opam in buster Feb 19

David Prévot

Bug#950605: Please, enable micro-C plugin Feb 04

Debian Bug Tracking System

Processed: reassign 952373 to libopam-file-format-ocaml-dev, affects 952373 Feb 24
Processed: Bug#952373 marked as pending in opam-file-format Feb 24
Processed: unarchiving 908203 Feb 18
Bug#952373: marked as done (Missing ABIzed dependencies) Feb 24
Processed: fix release tags Feb 23
Processed: fix title Feb 19
Processed: Re: unison: Place logfile in .unison directory instead of home directory Feb 17
Bug#948859: marked as done (coccinelle: Package is uninstallable) Feb 16
Bug#798917: marked as done (src:meta-ocaml: Please, remove me from the uploader field) Feb 01
Processed: tagging 951241 Feb 13
Bug#813596: marked as done (coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.) Feb 01
Processed: affects 948859 Feb 11
Bug#944366: marked as done (FTBFS with OCaml 4.08.1 (safe strings)) Feb 02
Bug#951241: marked as done (ocamlweb: build dependencies are incomplete) Feb 14
Bug#951922: marked as done (advi: FTBFS: configure: error: kpsexpand not found, check your PATH) Feb 24
Bug#878469: marked as done (js-of-ocaml FTBFS: ocamlbuild: Command not found) Feb 11
Bug#951052: marked as done (FTBFS with menhir 20200123) Feb 10
Bug#950356: marked as done (meta-ocaml: A new source-only upload is needed to allow testing re-enter) Feb 01
Processed: limit source to advi, tagging 951922 Feb 23
Bug#952254: marked as done (ocaml-qtest: FTBFS: make[1]: jbuilder: Command not found) Feb 24
Processed: Re: Bug#484997: unison: Place logfile in .unison directory instead of home directory Feb 17
Processed: retitle 952373 to Missing ABIzed dependencies Feb 24
Bug#925073: marked as done (Updating the ocaml-res Uploaders list) Feb 02

Debian FTP Masters

Processing of lambda-term_2.0.3-1_source.changes Feb 11
Processing of bin-prot_0.13.0-2_source.changes Feb 04
js-of-ocaml_3.5.2-2_source.changes ACCEPTED into unstable Feb 11
ocaml-migrate-parsetree_1.5.0-2_source.changes ACCEPTED into unstable Feb 07
lablgtk3_3.1.0-1_source.changes ACCEPTED into experimental Feb 20
ppx-variants-conv_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 03
janest-ocaml-compiler-libs_0.12.1-1_source.changes ACCEPTED into unstable Feb 10
Processing of coccinelle_1.0.4.deb-5_source.changes Feb 16
ocamlweb_1.41-4_source.changes ACCEPTED into unstable Feb 14
Processing of lwt_5.1.1-3_source.changes Feb 10
ocaml-cairo2_0.6.1+dfsg-3_source.changes ACCEPTED into unstable Feb 18
Processing of ocaml-migrate-parsetree_1.5.0-2_source.changes Feb 07
lwt_5.1.1-2_source.changes ACCEPTED into unstable Feb 10
menhir_20200123-2_source.changes ACCEPTED into unstable Feb 27
parmap_1.1.1-2_source.changes ACCEPTED into unstable Feb 15
Accepted ocurl 0.9.0-2 (source) into unstable Feb 10
Processing of cryptokit_1.15-1_source.changes Feb 10
Processing of ocaml-res_5.0.1-1_source.changes Feb 02
Processing of utop_2.4.3-1_source.changes Feb 11
Processing of why3_1.2.1-3_source.changes Feb 10
Bug#950835: Removed package(s) from unstable Feb 11
Processing of ocaml-sedlex_2.1-5_source.changes Feb 06
Processing of aac-tactics_8.9.0-1_source.changes Feb 02
Processing of js-of-ocaml_3.5.2-1_source.changes Feb 11
advi_1.10.2-6_source.changes ACCEPTED into unstable Feb 24
hol-light_20190729-4_source.changes ACCEPTED into unstable Feb 12
Processing of advi_1.10.2-6_source.changes Feb 24
Processing of ocaml-lastfm_0.3.2-1_source.changes Feb 20
Processing of ocaml-cairo2_0.6.1+dfsg-3_source.changes Feb 18
lwt_5.1.1-3_source.changes ACCEPTED into unstable Feb 10
Processing of menhir_20200123-2_source.changes Feb 27
Processing of ocurl_0.9.0-2_source.changes Feb 10
Processing of bin-prot_0.13.0-1_source.changes Feb 03
ocaml-qtest_2.10.1-1_source.changes ACCEPTED into unstable Feb 24
Processing of unison_2.48.4-4.1_source.changes Feb 17
ppx-here_0.13.0-1_amd64.changes is NEW Feb 13
morbig_0.10.4-3_source.changes ACCEPTED into unstable Feb 12
meta-ocaml_4.08.1.1_source.changes ACCEPTED into unstable Feb 01
ocaml-result_1.4-4_source.changes ACCEPTED into unstable Feb 06
js-of-ocaml_3.5.2-3_source.changes ACCEPTED into unstable Feb 14
Processing of ppx-fields-conv_0.13.0-2_source.changes Feb 03
Processing of janest-ocaml-compiler-libs_0.12.1-1_source.changes Feb 10
ppx-fields-conv_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 03
Processing of morbig_0.10.4-3_source.changes Feb 12
Processing of lablgtk3_3.1.0-1_source.changes Feb 20
Processing of coq-float_8.9.0-1_source.changes Feb 01
ocaml-dune_2.1.3-2_source.changes ACCEPTED into unstable Feb 04
js-of-ocaml_3.5.2-1_source.changes ACCEPTED into unstable Feb 11
opam-file-format_2.0.0-2_source.changes ACCEPTED into unstable Feb 24
Processing of camlp5_7.11-1_source.changes Feb 11
cryptokit_1.15-1_source.changes ACCEPTED into unstable Feb 10
why3_1.2.1-3_source.changes ACCEPTED into unstable Feb 10
Processing of menhir_20200123-1_source.changes Feb 08
ocaml-visitors_20200210-1_source.changes ACCEPTED into unstable Feb 11
ppx-variants-conv_0.13.0-2_source.changes ACCEPTED into unstable Feb 03
Processing of ocamlweb_1.41-4_source.changes Feb 14
coccinelle_1.0.4.deb-5_source.changes ACCEPTED into unstable Feb 16
ocurl_0.9.0-2_source.changes ACCEPTED into unstable Feb 10
ocaml-sedlex_2.1-5_source.changes ACCEPTED into unstable Feb 06
Processing of ocaml-dune_2.1.3-2_source.changes Feb 04
bin-prot_0.13.0-2_source.changes ACCEPTED into unstable Feb 04
Processing of ppx-here_0.13.0-1_amd64.changes Feb 13
Processing of morsmall_0.3.0-2_source.changes Feb 13
Processing of zed_2.0.5-1_source.changes Feb 11
utop_2.4.3-1_source.changes ACCEPTED into unstable Feb 11
lwt_5.1.1-1_source.changes ACCEPTED into unstable Feb 10
menhir_20200123-1_source.changes ACCEPTED into unstable Feb 08
Processing of js-of-ocaml_3.5.2-3_source.changes Feb 14
aac-tactics_8.9.0-1_source.changes ACCEPTED into unstable Feb 02
Processing of ocaml-result_1.4-4_source.changes Feb 06
Processing of meta-ocaml_4.08.1.1_source.changes Feb 01
coq-float_8.9.0-1_source.changes ACCEPTED into unstable Feb 01
parmap_1.1.1-1_source.changes ACCEPTED into unstable Feb 14
bin-prot_0.13.0-1_source.changes ACCEPTED into unstable Feb 03
Processing of ppx-variants-conv_0.13.0-2_source.changes Feb 03
Processing of parmap_1.1.1-1_source.changes Feb 14
Processing of lwt_5.1.1-2_source.changes Feb 10
ppx-compare_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 03
Processing of lwt_5.1.1-1_source.changes Feb 10
ppx-fields-conv_0.13.0-2_source.changes ACCEPTED into unstable Feb 03
morsmall_0.3.0-2_source.changes ACCEPTED into unstable Feb 13
ocaml-lastfm_0.3.2-1_source.changes ACCEPTED into unstable Feb 20
ppx-custom-printf_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 03
ocaml-res_5.0.1-1_source.changes ACCEPTED into unstable Feb 02
camlp5_7.11-1_source.changes ACCEPTED into unstable Feb 11
Processing of parmap_1.1.1-2_source.changes Feb 15
Processing of js-of-ocaml_3.5.2-2_source.changes Feb 11
Processing of hol-light_20190729-4_source.changes Feb 12
Processing of ocaml-qtest_2.10.1-1_source.changes Feb 24
Processing of opam-file-format_2.0.0-2_source.changes Feb 24
Processing of ocaml-visitors_20200210-1_source.changes Feb 11
lambda-term_2.0.3-1_source.changes ACCEPTED into unstable Feb 11
zed_2.0.5-1_source.changes ACCEPTED into unstable Feb 11

Debian testing autoremoval watch

nss-passwords is marked for autoremoval from testing Feb 15
ocamldap is marked for autoremoval from testing Feb 15
ocaml-atd is marked for autoremoval from testing Feb 15
ocaml-lastfm is marked for autoremoval from testing Feb 25
belenios is marked for autoremoval from testing Feb 15
lablgtk-extras is marked for autoremoval from testing Feb 15
alt-ergo is marked for autoremoval from testing Feb 15
ssreflect is marked for autoremoval from testing Feb 15
mlpost is marked for autoremoval from testing Feb 04
lablgtkmathview is marked for autoremoval from testing Feb 15
ocaml-http is marked for autoremoval from testing Feb 15
morbig is marked for autoremoval from testing Feb 15
menhir is marked for autoremoval from testing Feb 15
coq-float is marked for autoremoval from testing Feb 15
cairo-ocaml is marked for autoremoval from testing Feb 15
marionnet is marked for autoremoval from testing Feb 15
prooftree is marked for autoremoval from testing Feb 15
ocaml-lastfm is marked for autoremoval from testing Feb 15
morsmall is marked for autoremoval from testing Feb 16
ocaml-gettext is marked for autoremoval from testing Feb 15
ocamlbricks is marked for autoremoval from testing Feb 15
ocamlnet is marked for autoremoval from testing Feb 15
mlpost is marked for autoremoval from testing Feb 09
menhir is marked for autoremoval from testing Feb 16
meta-ocaml is marked for autoremoval from testing Feb 15
laby is marked for autoremoval from testing Feb 15
obus is marked for autoremoval from testing Feb 15
ocaml-cairo2 is marked for autoremoval from testing Feb 15
why3 is marked for autoremoval from testing Feb 16
ben is marked for autoremoval from testing Feb 15
pxp is marked for autoremoval from testing Feb 15
liquidsoap is marked for autoremoval from testing Feb 15
ocamlodbc is marked for autoremoval from testing Feb 15
freetennis is marked for autoremoval from testing Feb 15
ocamlrss is marked for autoremoval from testing Feb 15
unison is marked for autoremoval from testing Feb 15
why3 is marked for autoremoval from testing Feb 15
morbig is marked for autoremoval from testing Feb 16
coq is marked for autoremoval from testing Feb 15
lablgtk2 is marked for autoremoval from testing Feb 15
ocsigenserver is marked for autoremoval from testing Feb 15
morsmall is marked for autoremoval from testing Feb 15
aac-tactics is marked for autoremoval from testing Feb 15
apron is marked for autoremoval from testing Feb 25
apron is marked for autoremoval from testing Feb 05
lablgtk3 is marked for autoremoval from testing Feb 15

Debian testing watch

coq 8.9.1-5 MIGRATED to testing Feb 01

debian-bts-link

[bts-link] source package unison Feb 22

eamanu

Bug#885267: coccinelle: Depends on unmaintained pygtk Feb 04

Gianfranco Costamagna

Bug#952461: coccinelle: build-depend on python instead of python2 Feb 24
Bug#952454: coq: patch to use python3 (missing tests) Feb 24
Bug#484997: unison: Place logfile in .unison directory instead of home directory Feb 17
Bug#952505: ocaml-qtest: autopkgtests regression Feb 25
Bug#484997: unison: Place logfile in .unison directory instead of home directory Feb 17

Johnny Verkuringen

Kan de EU uw bankrekeningen bevriezen en waarom. Feb 17
Dank je wel Feb 12
Even een serieuze vraag Feb 11
Dit moet je weten over je spaargeld Feb 14
Wat heeft de dollar te maken met de oorlogen? Feb 04

Lucas Nussbaum

Norbert Preining

Bug#951241: ocamlweb: build dependencies are incomplete Feb 13
Bug#951241: ocamlweb: build dependencies are incomplete Feb 13

Ralf Treinen

Bug#951241: ocamlweb: build dependencies are incomplete Feb 13
Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir Feb 19

Sebastian Andrzej Siewior

Bug#948859: coccinelle: Package is uninstallable Feb 15

The last update was on 22:00 GMT Thu Feb 27. There are 194 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