debian-ocaml-maint Mar 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
]
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
ocaml-gen is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-gen is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-ptmap is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-ptmap is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-qtest is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-qtest is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-sedlex is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-sedlex is marked for autoremoval from testing
Debian testing autoremoval watch
jsonm is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
jsonm is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-fmt is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-fmt is marked for autoremoval from testing
Debian testing autoremoval watch
camomile is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
camomile is marked for autoremoval from testing
Debian testing autoremoval watch
lwt-ssl is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lwt-ssl is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-ipaddr is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-ipaddr is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-rope is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-rope is marked for autoremoval from testing
Debian testing autoremoval watch
opam is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
opam is marked for autoremoval from testing
Debian testing autoremoval watch
zed is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
zed is marked for autoremoval from testing
Debian testing autoremoval watch
ocurl is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocurl is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-qcheck is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-qcheck is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-csv is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-csv is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-domain-name is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-domain-name is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-topkg is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-topkg is marked for autoremoval from testing
Debian testing autoremoval watch
lwt is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lwt is marked for autoremoval from testing
Debian testing autoremoval watch
dose3 is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
dose3 is marked for autoremoval from testing
Debian testing autoremoval watch
pgocaml is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
pgocaml is marked for autoremoval from testing
Debian testing autoremoval watch
js-of-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
js-of-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
lwt-log is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lwt-log is marked for autoremoval from testing
Debian testing autoremoval watch
reactivedata is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
reactivedata is marked for autoremoval from testing
Debian testing autoremoval watch
uutf is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
uutf is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-batteries is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-batteries is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-charinfo-width is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-charinfo-width is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-usb is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-usb is marked for autoremoval from testing
Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lambda-term is marked for autoremoval from testing
Debian testing autoremoval watch
tyxml is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
tyxml is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-astring is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-astring is marked for autoremoval from testing
Debian testing autoremoval watch
uuidm is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
uuidm is marked for autoremoval from testing
Debian testing autoremoval watch
react is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
react is marked for autoremoval from testing
Debian testing autoremoval watch
utop is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
utop is marked for autoremoval from testing
Debian testing autoremoval watch
nproc is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
nproc is marked for autoremoval from testing
Debian testing autoremoval watch
Processed: block 911166 with 885677 885685
Debian Bug Tracking System
Processed: fixed 952454 in 8.10.2-1
Debian Bug Tracking System
Processed: notfixed 952454 in 8.10.2-1
Debian Bug Tracking System
Bug#952454: marked as done (coq: patch to use python3 (missing tests))
Debian Bug Tracking System
Processing of coq_8.11.0-1_source.changes
Debian FTP Masters
coq_8.11.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted coq 8.11.0-1 (source) into unstable
Debian FTP Masters
failed i386 build of coq 8.11.0-1
Debian buildds
failed s390x build of coq 8.11.0-1
Debian buildds
failed armhf build of coq 8.11.0-1
Debian buildds
ssreflect is marked for autoremoval from testing
Debian testing autoremoval watch
unison is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
unison is marked for autoremoval from testing
Debian testing autoremoval watch
prooftree is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
prooftree is marked for autoremoval from testing
Debian testing autoremoval watch
lablgtk-extras is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lablgtk-extras is marked for autoremoval from testing
Debian testing autoremoval watch
ocamldap is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamldap is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlbricks is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamlbricks is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlrss is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamlrss is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
ben is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ben is marked for autoremoval from testing
Debian testing autoremoval watch
ocsigenserver is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocsigenserver is marked for autoremoval from testing
Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
marionnet is marked for autoremoval from testing
Debian testing autoremoval watch
laby is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
laby is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlodbc is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocamlodbc is marked for autoremoval from testing
Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
coq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-float is marked for autoremoval from testing
Debian testing autoremoval watch
freetennis is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
freetennis is marked for autoremoval from testing
Debian testing autoremoval watch
cairo-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
cairo-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
lablgtk2 is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lablgtk2 is marked for autoremoval from testing
Debian testing autoremoval watch
alt-ergo is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
alt-ergo is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-gettext is marked for autoremoval from testing
Debian testing autoremoval watch
pxp is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
pxp is marked for autoremoval from testing
Debian testing autoremoval watch
lablgtkmathview is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lablgtkmathview is marked for autoremoval from testing
Debian testing autoremoval watch
liquidsoap is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
liquidsoap is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-http is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-http is marked for autoremoval from testing
Debian testing autoremoval watch
belenios is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
belenios is marked for autoremoval from testing
Debian testing autoremoval watch
obus is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
obus is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#952505: marked as done (ocaml-qtest: autopkgtests regression)
Debian Bug Tracking System
failed armel build of coq 8.11.0-1
Debian buildds
Bug#953229: coq: FTBFS test failures
Gianfranco Costamagna
Bug#953229: coq: FTBFS test failures
Ralf Treinen
Processing of ssreflect_1.10.0+dfsg-2_source.changes
Debian FTP Masters
ssreflect_1.10.0+dfsg-2_source.changes ACCEPTED into unstable
Debian FTP Masters
why3 is marked for autoremoval from testing
Debian testing autoremoval watch
failed mips64el build of coq 8.11.0-1
Debian buildds
failed mipsel build of coq 8.11.0-1
Debian buildds
Processing of why3_1.2.1-4_source.changes
Debian FTP Masters
why3_1.2.1-4_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of why3_1.2.1-5_source.changes
Debian FTP Masters
why3_1.2.1-5_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of why3_1.2.1-6_source.changes
Debian FTP Masters
why3_1.2.1-6_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#953408: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#953408: Removed package(s) from unstable
Debian FTP Masters
Bug#953408: Removed package(s) from unstable
Debian FTP Masters
Bug#953408: Removed package(s) from unstable
Debian FTP Masters
Processed: severity of 953229 is normal
Debian Bug Tracking System
Re: Bug#644757: Removing ocaml-book?
Guillem Jover
Saludos
Mariana Quintal
Bug#953739: aac-tactics: FTBFS in sid
Gianfranco Costamagna
Bug#953739: aac-tactics: FTBFS in sid
Ralf Treinen
Bug#953739: marked as done (aac-tactics: FTBFS in sid)
Debian Bug Tracking System
Bug#953765: coq-float: FTBFS with coq 8.11.0
Ralf Treinen
Bug#953765: marked as done (coq-float: FTBFS with coq 8.11.0)
Debian Bug Tracking System
ocaml-lastfm is marked for autoremoval from testing
Debian testing autoremoval watch
latest liquidsoap
Priit Lepist
Re: latest liquidsoap
Kyle Robbertze
Processing of coq-float_8.10.0-1_source.changes
Debian FTP Masters
coq-float_8.10.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of aac-tactics_8.11.0-1_source.changes
Debian FTP Masters
aac-tactics_8.11.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processed: Re: FTBFS with OCaml 4.08.1 (implementation/interface mismatch)
Debian Bug Tracking System
Bug#954292: Removed package(s) from unstable
Debian FTP Masters
coq 8.11.0-1 MIGRATED to testing
Debian testing watch
Bug#885267: coccinelle: Depends on unmaintained pygtk
Moritz Mühlenhoff
Bug#885267: coccinelle: Depends on unmaintained pygtk
Ralf Treinen
Bug#944365: FTBFS with OCaml 4.08.1 (implementation/interface mismatch)
Gianfranco Costamagna
Message not available
Processed: Re: FTBFS with OCaml 4.08.1 (implementation/interface mismatch)
Debian Bug Tracking System
Processing of frama-c_20191204+calcium-0.1_source.changes
Debian FTP Masters
Processed: tagging 950605
Debian Bug Tracking System
ppx-here_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Processed: limit source to coccinelle, tagging 885267
Debian Bug Tracking System
Processed: tagging 885267
Debian Bug Tracking System
Bug#955250: ocaml-fdkaac: FTBFS against fdk-aac 2.0.1
Sebastian Ramacher
apron is marked for autoremoval from testing
Debian testing autoremoval watch
planned team upload of coccinelle
Ralf Treinen
Processed: limit source to coccinelle, tagging 936314, tagging 952461
Debian Bug Tracking System
Bug#944365: marked as done (FTBFS with OCaml 4.08.1 (implementation/interface mismatch))
Debian Bug Tracking System
frama-c_20191204+calcium-0.1_source.changes ACCEPTED into unstable
Debian FTP Masters
The last update was on 21:40 GMT Tue Mar 31. There are 183 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