debian-ocaml-maint Mar 2020 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
aac-tactics is marked for autoremoval from testing aac-tactics_8.11.0-1_source.changes ACCEPTED into unstable Accepted coq 8.11.0-1 (source) 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 Re: Bug#644757: Removing ocaml-book? Bug#885267: coccinelle: Depends on unmaintained pygtk Bug#944365: FTBFS with OCaml 4.08.1 (implementation/interface mismatch) Bug#944365: marked as done (FTBFS with OCaml 4.08.1 (implementation/interface mismatch)) Bug#952454: marked as done (coq: patch to use python3 (missing tests)) Bug#952505: marked as done (ocaml-qtest: autopkgtests regression) Bug#953229: coq: FTBFS test failures Bug#953408: Removed package(s) from unstable Bug#953739: aac-tactics: FTBFS in sid Bug#953739: marked as done (aac-tactics: FTBFS in sid) Bug#953765: coq-float: FTBFS with coq 8.11.0 Bug#953765: marked as done (coq-float: FTBFS with coq 8.11.0) Bug#954292: Removed package(s) from unstable Bug#955250: ocaml-fdkaac: FTBFS against fdk-aac 2.0.1 cairo-ocaml is marked for autoremoval from testing camomile is marked for autoremoval from testing coq 8.11.0-1 MIGRATED to testing coq is marked for autoremoval from testing coq-float is marked for autoremoval from testing coq-float_8.10.0-1_source.changes ACCEPTED into unstable coq_8.11.0-1_source.changes ACCEPTED into unstable dose3 is marked for autoremoval from testing failed armel build of coq 8.11.0-1 failed armhf build of coq 8.11.0-1 failed i386 build of coq 8.11.0-1 failed mips64el build of coq 8.11.0-1 failed mipsel build of coq 8.11.0-1 failed s390x build of coq 8.11.0-1 frama-c_20191204+calcium-0.1_source.changes ACCEPTED into unstable freetennis is marked for autoremoval from testing js-of-ocaml is marked for autoremoval from testing jsonm is marked for autoremoval from testing lablgtk-extras is marked for autoremoval from testing lablgtk2 is marked for autoremoval from testing lablgtkmathview is marked for autoremoval from testing laby is marked for autoremoval from testing lambda-term is marked for autoremoval from testing latest liquidsoap liquidsoap is marked for autoremoval from testing lwt is marked for autoremoval from testing lwt-log is marked for autoremoval from testing lwt-ssl is marked for autoremoval from testing marionnet is marked for autoremoval from testing meta-ocaml is marked for autoremoval from testing mlpost is marked for autoremoval from testing nproc is marked for autoremoval from testing obus is marked for autoremoval from testing ocaml-astring is marked for autoremoval from testing ocaml-batteries is marked for autoremoval from testing ocaml-charinfo-width is marked for autoremoval from testing ocaml-csv is marked for autoremoval from testing ocaml-domain-name is marked for autoremoval from testing ocaml-fmt is marked for autoremoval from testing ocaml-gen is marked for autoremoval from testing ocaml-gettext is marked for autoremoval from testing ocaml-http is marked for autoremoval from testing ocaml-ipaddr is marked for autoremoval from testing ocaml-lastfm is marked for autoremoval from testing ocaml-ptmap is marked for autoremoval from testing ocaml-qcheck is marked for autoremoval from testing ocaml-qtest is marked for autoremoval from testing ocaml-rope is marked for autoremoval from testing ocaml-sedlex is marked for autoremoval from testing ocaml-topkg is marked for autoremoval from testing ocaml-usb is marked for autoremoval from testing 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 ocsigenserver is marked for autoremoval from testing ocurl is marked for autoremoval from testing opam is marked for autoremoval from testing pgocaml is marked for autoremoval from testing planned team upload of coccinelle ppx-here_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Processed: block 911166 with 885677 885685 Processed: fixed 952454 in 8.10.2-1 Processed: limit source to coccinelle, tagging 885267 Processed: limit source to coccinelle, tagging 936314, tagging 952461 Processed: notfixed 952454 in 8.10.2-1 Processed: Re: FTBFS with OCaml 4.08.1 (implementation/interface mismatch) Processed: severity of 953229 is normal Processed: tagging 885267 Processed: tagging 950605 Processing of aac-tactics_8.11.0-1_source.changes Processing of coq-float_8.10.0-1_source.changes Processing of coq_8.11.0-1_source.changes Processing of frama-c_20191204+calcium-0.1_source.changes Processing of ssreflect_1.10.0+dfsg-2_source.changes Processing of why3_1.2.1-4_source.changes Processing of why3_1.2.1-5_source.changes Processing of why3_1.2.1-6_source.changes prooftree is marked for autoremoval from testing pxp is marked for autoremoval from testing react is marked for autoremoval from testing reactivedata is marked for autoremoval from testing Saludos ssreflect is marked for autoremoval from testing ssreflect_1.10.0+dfsg-2_source.changes ACCEPTED into unstable tyxml is marked for autoremoval from testing unison is marked for autoremoval from testing utop is marked for autoremoval from testing uuidm is marked for autoremoval from testing uutf is marked for autoremoval from testing why3 is marked for autoremoval from testing why3_1.2.1-4_source.changes ACCEPTED into unstable why3_1.2.1-5_source.changes ACCEPTED into unstable why3_1.2.1-6_source.changes ACCEPTED into unstable zed is marked for autoremoval from testing 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]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc