debian-ocaml-maint Nov 2023 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]
gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes ACCEPTED into unstable [Git][ocaml-team/gd4o] Pushed new tag debian/1.0_alpha5.git20220521.bb52fb2-1 [Git][ocaml-team/gd4o] Pushed new tag upstream/1.0_alpha5.git20220521.bb52fb2 [Git][ocaml-team/gd4o][master] 5 commits: d/watch: fetch current git commits [Git][ocaml-team/gd4o][pristine-tar] pristine-tar data for gd4o_1.0~alpha5.git20220521.bb52fb2.orig.tar.xz [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1 [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1_exp1 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.2 [Git][ocaml-team/liquidsoap][master] 8 commits: Update d/watch to use new upstream artifact naming [Git][ocaml-team/liquidsoap][master] prepare upload to unstable [Git][ocaml-team/liquidsoap][pristine-tar] 2 commits: pristine-tar data for liquidsoap_2.2.1.orig.tar.gz [Git][ocaml-team/liquidsoap][upstream] 2 commits: New upstream version 2.2.1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.1.0 [Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.1.0 [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.1.0.orig.tar.gz [Git][ocaml-team/ssreflect][upstream] New upstream version 2.1.0 aac-tactics is marked for autoremoval from testing Re: Backporting ocaml-dune without circular dependencies Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2) Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type) Bug#1055867: RM: ocaml-migrate-parsetree -- ROM; deprecated Bug#1056062: coq: FTBFS in sid (dune update?) Bug#1056948: coq-doc-html loads files from a CDN Bug#1057058: liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2) Bug#636342: release.debian.org: provide a dd-list in the transition tracker Bug#819341: [unison] Please build unison-fsmonitor coq is marked for autoremoval from testing coq-bignums is marked for autoremoval from testing coq-corn is marked for autoremoval from testing coq-deriving is marked for autoremoval from testing coq-dpdgraph is marked for autoremoval from testing coq-elpi is marked for autoremoval from testing coq-equations is marked for autoremoval from testing coq-ext-lib is marked for autoremoval from testing coq-extructures is marked for autoremoval from testing coq-gappa is marked for autoremoval from testing coq-hammer is marked for autoremoval from testing coq-hierarchy-builder is marked for autoremoval from testing coq-hott is marked for autoremoval from testing coq-interval is marked for autoremoval from testing coq-iris is marked for autoremoval from testing coq-libhyps is marked for autoremoval from testing coq-math-classes is marked for autoremoval from testing coq-menhirlib is marked for autoremoval from testing coq-mtac2 is marked for autoremoval from testing coq-quickchick is marked for autoremoval from testing coq-record-update is marked for autoremoval from testing coq-reduction-effects is marked for autoremoval from testing coq-reglang is marked for autoremoval from testing coq-relation-algebra is marked for autoremoval from testing coq-simple-io is marked for autoremoval from testing coq-stdpp is marked for autoremoval from testing coq-unicoq is marked for autoremoval from testing coq-unimath is marked for autoremoval from testing coqeal is marked for autoremoval from testing coqprime is marked for autoremoval from testing coquelicot is marked for autoremoval from testing Deprecation of OCaml's ocaml-migrate-parsetree flocq is marked for autoremoval from testing Re: Liquidsoap new version build failure liquidsoap_2.2.2-1_source.changes ACCEPTED into unstable liquidsoap_2.2.2-1~exp1_amd64.changes ACCEPTED into experimental liquidsoap_2.2.2-1~exp1_amd64.changes is NEW mathcomp-abel is marked for autoremoval from testing mathcomp-algebra-tactics is marked for autoremoval from testing mathcomp-analysis is marked for autoremoval from testing mathcomp-bigenough is marked for autoremoval from testing mathcomp-finmap is marked for autoremoval from testing mathcomp-multinomials is marked for autoremoval from testing mathcomp-real-closed is marked for autoremoval from testing mathcomp-zify is marked for autoremoval from testing ocaml-ffmpeg_1.1.9-1_source.changes ACCEPTED into unstable ott is marked for autoremoval from testing paramcoq is marked for autoremoval from testing Processed: Bug#1038078 marked as pending in liquidsoap Processed: Bug#1056948 marked as pending in coq-doc Processed: Re: Bug#1056062: coq: FTBFS in sid (dune update?) Processed: Re: release.debian.org: provide a dd-list in the transition tracker Processed: severity of 1038076 is serious Processing of gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes Processing of liquidsoap_2.2.2-1_source.changes Processing of liquidsoap_2.2.2-1~exp1_amd64.changes Processing of ocaml-ffmpeg_1.1.9-1_source.changes Re: release.debian.org: provide a dd-list in the transition tracker ssreflect is marked for autoremoval from testing The last update was on 19:40 GMT Thu Nov 30. There are 94 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