debian-ocaml-maint Mar 2020 by author

[previous page]

Page 1 of 1

[next page]

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

Debian Bug Tracking System

Bug#953739: marked as done (aac-tactics: FTBFS in sid) Mar 17
Bug#952454: marked as done (coq: patch to use python3 (missing tests)) Mar 05
Processed: fixed 952454 in 8.10.2-1 Mar 05
Processed: limit source to coccinelle, tagging 936314, tagging 952461 Mar 31
Processed: limit source to coccinelle, tagging 885267 Mar 27
Processed: Re: FTBFS with OCaml 4.08.1 (implementation/interface mismatch) Mar 20
Processed: tagging 950605 Mar 27
Bug#952505: marked as done (ocaml-qtest: autopkgtests regression) Mar 06
Processed: block 911166 with 885677 885685 Mar 05
Processed: tagging 885267 Mar 27
Bug#953765: marked as done (coq-float: FTBFS with coq 8.11.0) Mar 16
Bug#944365: marked as done (FTBFS with OCaml 4.08.1 (implementation/interface mismatch)) Mar 31
Processed: Re: FTBFS with OCaml 4.08.1 (implementation/interface mismatch) Mar 26
Processed: notfixed 952454 in 8.10.2-1 Mar 05
Processed: severity of 953229 is normal Mar 10

Debian buildds

failed armhf build of coq 8.11.0-1 Mar 05
failed mips64el build of coq 8.11.0-1 Mar 07
failed i386 build of coq 8.11.0-1 Mar 05
failed armel build of coq 8.11.0-1 Mar 06
failed mipsel build of coq 8.11.0-1 Mar 08
failed s390x build of coq 8.11.0-1 Mar 05

Debian FTP Masters

Processing of why3_1.2.1-4_source.changes Mar 08
why3_1.2.1-5_source.changes ACCEPTED into unstable Mar 08
Bug#953408: Removed package(s) from unstable Mar 10
ssreflect_1.10.0+dfsg-2_source.changes ACCEPTED into unstable Mar 06
Processing of coq-float_8.10.0-1_source.changes Mar 16
Accepted coq 8.11.0-1 (source) into unstable Mar 05
Bug#953408: Removed package(s) from unstable Mar 10
ppx-here_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Mar 27
Bug#953408: Removed package(s) from unstable Mar 10
frama-c_20191204+calcium-0.1_source.changes ACCEPTED into unstable Mar 31
coq_8.11.0-1_source.changes ACCEPTED into unstable Mar 05
Processing of aac-tactics_8.11.0-1_source.changes Mar 17
Bug#953408: Removed package(s) from unstable Mar 10
aac-tactics_8.11.0-1_source.changes ACCEPTED into unstable Mar 17
Processing of frama-c_20191204+calcium-0.1_source.changes Mar 26
Processing of ssreflect_1.10.0+dfsg-2_source.changes Mar 06
Processing of why3_1.2.1-5_source.changes Mar 08
why3_1.2.1-4_source.changes ACCEPTED into unstable Mar 08
Processing of coq_8.11.0-1_source.changes Mar 05
Bug#954292: Removed package(s) from unstable Mar 20
coq-float_8.10.0-1_source.changes ACCEPTED into unstable Mar 16
why3_1.2.1-6_source.changes ACCEPTED into unstable Mar 08
Processing of why3_1.2.1-6_source.changes Mar 08

Debian testing autoremoval watch

alt-ergo is marked for autoremoval from testing Mar 06
alt-ergo is marked for autoremoval from testing Mar 26
jsonm is marked for autoremoval from testing Mar 25
lwt-ssl is marked for autoremoval from testing Mar 04
ocamlbricks is marked for autoremoval from testing Mar 26
nproc is marked for autoremoval from testing Mar 25
prooftree is marked for autoremoval from testing Mar 06
ocaml-qcheck is marked for autoremoval from testing Mar 04
ocaml-batteries is marked for autoremoval from testing Mar 25
ocaml-gettext is marked for autoremoval from testing Mar 06
ocaml-usb is marked for autoremoval from testing Mar 04
pgocaml is marked for autoremoval from testing Mar 25
ocamlodbc is marked for autoremoval from testing Mar 26
laby is marked for autoremoval from testing Mar 26
pxp is marked for autoremoval from testing Mar 06
ocamlnet is marked for autoremoval from testing Mar 06
lablgtkmathview is marked for autoremoval from testing Mar 26
lwt-log is marked for autoremoval from testing Mar 25
uutf is marked for autoremoval from testing Mar 25
ocaml-fmt is marked for autoremoval from testing Mar 04
ocamldap is marked for autoremoval from testing Mar 06
coq-float is marked for autoremoval from testing Mar 06
why3 is marked for autoremoval from testing Mar 07
prooftree is marked for autoremoval from testing Mar 26
lablgtk-extras is marked for autoremoval from testing Mar 06
ocaml-qcheck is marked for autoremoval from testing Mar 25
utop is marked for autoremoval from testing Mar 25
ocamlrss is marked for autoremoval from testing Mar 06
obus is marked for autoremoval from testing Mar 26
belenios is marked for autoremoval from testing Mar 06
ocurl is marked for autoremoval from testing Mar 25
ocaml-topkg is marked for autoremoval from testing Mar 25
aac-tactics is marked for autoremoval from testing Mar 06
jsonm is marked for autoremoval from testing Mar 04
mlpost is marked for autoremoval from testing Mar 21
mlpost is marked for autoremoval from testing Mar 01
ocaml-usb is marked for autoremoval from testing Mar 25
tyxml is marked for autoremoval from testing Mar 04
ocaml-domain-name is marked for autoremoval from testing Mar 04
opam is marked for autoremoval from testing Mar 04
lwt-log is marked for autoremoval from testing Mar 04
reactivedata is marked for autoremoval from testing Mar 04
obus is marked for autoremoval from testing Mar 06
ocaml-http is marked for autoremoval from testing Mar 26
meta-ocaml is marked for autoremoval from testing Mar 26
lwt is marked for autoremoval from testing Mar 25
ocaml-http is marked for autoremoval from testing Mar 06
liquidsoap is marked for autoremoval from testing Mar 26
ocaml-ptmap is marked for autoremoval from testing Mar 22
lablgtk2 is marked for autoremoval from testing Mar 06
js-of-ocaml is marked for autoremoval from testing Mar 25
reactivedata is marked for autoremoval from testing Mar 25
ocaml-csv is marked for autoremoval from testing Mar 04
ocsigenserver is marked for autoremoval from testing Mar 26
react is marked for autoremoval from testing Mar 04
opam is marked for autoremoval from testing Mar 25
ocamlnet is marked for autoremoval from testing Mar 26
lwt is marked for autoremoval from testing Mar 04
belenios is marked for autoremoval from testing Mar 26
ocaml-astring is marked for autoremoval from testing Mar 04
unison is marked for autoremoval from testing Mar 26
ocsigenserver is marked for autoremoval from testing Mar 06
laby is marked for autoremoval from testing Mar 06
ocaml-fmt is marked for autoremoval from testing Mar 25
ocaml-ipaddr is marked for autoremoval from testing Mar 25
ben is marked for autoremoval from testing Mar 06
zed is marked for autoremoval from testing Mar 25
marionnet is marked for autoremoval from testing Mar 06
apron is marked for autoremoval from testing Mar 30
lambda-term is marked for autoremoval from testing Mar 25
lablgtk2 is marked for autoremoval from testing Mar 26
freetennis is marked for autoremoval from testing Mar 06
tyxml is marked for autoremoval from testing Mar 25
camomile is marked for autoremoval from testing Mar 25
ocaml-qtest is marked for autoremoval from testing Mar 09
react is marked for autoremoval from testing Mar 25
cairo-ocaml is marked for autoremoval from testing Mar 06
dose3 is marked for autoremoval from testing Mar 04
camomile is marked for autoremoval from testing Mar 04
ocaml-domain-name is marked for autoremoval from testing Mar 25
uutf is marked for autoremoval from testing Mar 04
pxp is marked for autoremoval from testing Mar 26
js-of-ocaml is marked for autoremoval from testing Mar 04
zed is marked for autoremoval from testing Mar 04
ocaml-gen is marked for autoremoval from testing Mar 02
ocaml-qtest is marked for autoremoval from testing Mar 02
ocaml-rope is marked for autoremoval from testing Mar 04
ocurl is marked for autoremoval from testing Mar 04
ocaml-charinfo-width is marked for autoremoval from testing Mar 25
ocaml-rope is marked for autoremoval from testing Mar 25
meta-ocaml is marked for autoremoval from testing Mar 06
ocamlbricks is marked for autoremoval from testing Mar 06
ocamldap is marked for autoremoval from testing Mar 26
ocaml-lastfm is marked for autoremoval from testing Mar 16
ocaml-charinfo-width is marked for autoremoval from testing Mar 04
ocamlodbc is marked for autoremoval from testing Mar 06
liquidsoap is marked for autoremoval from testing Mar 06
dose3 is marked for autoremoval from testing Mar 25
ocaml-gen is marked for autoremoval from testing Mar 22
ben is marked for autoremoval from testing Mar 26
uuidm is marked for autoremoval from testing Mar 25
lambda-term is marked for autoremoval from testing Mar 04
ocaml-batteries is marked for autoremoval from testing Mar 04
ocaml-ipaddr is marked for autoremoval from testing Mar 04
lwt-ssl is marked for autoremoval from testing Mar 25
ssreflect is marked for autoremoval from testing Mar 06
coq is marked for autoremoval from testing Mar 06
pgocaml is marked for autoremoval from testing Mar 04
ocaml-gettext is marked for autoremoval from testing Mar 26
ocaml-topkg is marked for autoremoval from testing Mar 04
lablgtkmathview is marked for autoremoval from testing Mar 06
nproc is marked for autoremoval from testing Mar 04
unison is marked for autoremoval from testing Mar 06
freetennis is marked for autoremoval from testing Mar 26
ocaml-sedlex is marked for autoremoval from testing Mar 22
ocaml-csv is marked for autoremoval from testing Mar 25
utop is marked for autoremoval from testing Mar 04
ocamlrss is marked for autoremoval from testing Mar 26
uuidm is marked for autoremoval from testing Mar 04
lablgtk-extras is marked for autoremoval from testing Mar 26
ocaml-ptmap is marked for autoremoval from testing Mar 02
cairo-ocaml is marked for autoremoval from testing Mar 26
ocaml-sedlex is marked for autoremoval from testing Mar 02
ocaml-astring is marked for autoremoval from testing Mar 25

Debian testing watch

coq 8.11.0-1 MIGRATED to testing Mar 24

Gianfranco Costamagna

Bug#953739: aac-tactics: FTBFS in sid Mar 12
Bug#944365: FTBFS with OCaml 4.08.1 (implementation/interface mismatch) Mar 26
Bug#953229: coq: FTBFS test failures Mar 06

Guillem Jover

Re: Bug#644757: Removing ocaml-book? Mar 10

Kyle Robbertze

Re: latest liquidsoap Mar 16

Mariana Quintal

Saludos Mar 11

Moritz Mühlenhoff

Bug#885267: coccinelle: Depends on unmaintained pygtk Mar 24

Priit Lepist

latest liquidsoap Mar 16

Ralf Treinen

planned team upload of coccinelle Mar 30
Bug#885267: coccinelle: Depends on unmaintained pygtk Mar 31
Bug#953739: aac-tactics: FTBFS in sid Mar 13
Bug#953229: coq: FTBFS test failures Mar 06
Bug#953765: coq-float: FTBFS with coq 8.11.0 Mar 13

Sebastian Ramacher

Bug#955250: ocaml-fdkaac: FTBFS against fdk-aac 2.0.1 Mar 28

The last update was on 21:40 GMT Tue Mar 31. There are 183 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