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