debian-ocaml-maint Nov 2023 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[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.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc