debian-ocaml-maint Nov 2023 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Bug#1055867: RM: ocaml-migrate-parsetree -- ROM; deprecated Nov 13

Stéphane Glondu

Re: Backporting ocaml-dune without circular dependencies Nov 13
Re: Liquidsoap new version build failure Nov 23

Alexandre Detiste

Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL Nov 30

Andreas Beckmann

Bug#1057058: liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2) Nov 28

Damian Lukowski

Bug#819341: [unison] Please build unison-fsmonitor Nov 16

Debian Bug Tracking System

Processed: severity of 1038076 is serious Nov 30
Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2) Nov 26
Processed: Bug#1038078 marked as pending in liquidsoap Nov 26
Processed: Re: release.debian.org: provide a dd-list in the transition tracker Nov 30
Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type) Nov 26
Processed: Re: Bug#1056062: coq: FTBFS in sid (dune update?) Nov 22
Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2) Nov 28
Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type) Nov 28
Processed: Bug#1056948 marked as pending in coq-doc Nov 27

Debian FTP Masters

liquidsoap_2.2.2-1_source.changes ACCEPTED into unstable Nov 28
Processing of liquidsoap_2.2.2-1~exp1_amd64.changes Nov 26
Processing of liquidsoap_2.2.2-1_source.changes Nov 28
ocaml-ffmpeg_1.1.9-1_source.changes ACCEPTED into unstable Nov 23
Processing of gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes Nov 25
liquidsoap_2.2.2-1~exp1_amd64.changes is NEW Nov 26
Processing of ocaml-ffmpeg_1.1.9-1_source.changes Nov 23
liquidsoap_2.2.2-1~exp1_amd64.changes ACCEPTED into experimental Nov 26
gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes ACCEPTED into unstable Nov 25

Debian testing autoremoval watch

coq-relation-algebra is marked for autoremoval from testing Nov 25
coq-ext-lib is marked for autoremoval from testing Nov 25
coq-hierarchy-builder is marked for autoremoval from testing Nov 25
mathcomp-real-closed is marked for autoremoval from testing Nov 25
flocq is marked for autoremoval from testing Nov 25
coq-menhirlib is marked for autoremoval from testing Nov 25
coq-elpi is marked for autoremoval from testing Nov 25
coq-iris is marked for autoremoval from testing Nov 25
ott is marked for autoremoval from testing Nov 25
coq-mtac2 is marked for autoremoval from testing Nov 25
coq-libhyps is marked for autoremoval from testing Nov 25
coqeal is marked for autoremoval from testing Nov 25
ssreflect is marked for autoremoval from testing Nov 25
coq-gappa is marked for autoremoval from testing Nov 25
mathcomp-analysis is marked for autoremoval from testing Nov 25
coqprime is marked for autoremoval from testing Nov 25
coq-corn is marked for autoremoval from testing Nov 25
coq-record-update is marked for autoremoval from testing Nov 25
coq-bignums is marked for autoremoval from testing Nov 25
coq-extructures is marked for autoremoval from testing Nov 25
coq-hammer is marked for autoremoval from testing Nov 25
coq-deriving is marked for autoremoval from testing Nov 25
coq-unicoq is marked for autoremoval from testing Nov 25
coq-reglang is marked for autoremoval from testing Nov 25
mathcomp-bigenough is marked for autoremoval from testing Nov 25
coq-equations is marked for autoremoval from testing Nov 25
mathcomp-finmap is marked for autoremoval from testing Nov 25
coq-interval is marked for autoremoval from testing Nov 25
coq-reduction-effects is marked for autoremoval from testing Nov 25
coq-stdpp is marked for autoremoval from testing Nov 25
aac-tactics is marked for autoremoval from testing Nov 25
coq is marked for autoremoval from testing Nov 25
mathcomp-algebra-tactics is marked for autoremoval from testing Nov 25
coq-math-classes is marked for autoremoval from testing Nov 25
paramcoq is marked for autoremoval from testing Nov 25
coq-dpdgraph is marked for autoremoval from testing Nov 25
coquelicot is marked for autoremoval from testing Nov 25
coq-hott is marked for autoremoval from testing Nov 25
coq-unimath is marked for autoremoval from testing Nov 25
mathcomp-zify is marked for autoremoval from testing Nov 25
mathcomp-abel is marked for autoremoval from testing Nov 25
mathcomp-multinomials is marked for autoremoval from testing Nov 25
coq-quickchick is marked for autoremoval from testing Nov 25
coq-simple-io is marked for autoremoval from testing Nov 25

Evgeny Kapun

Bug#1056948: coq-doc-html loads files from a CDN Nov 27

Gianfranco Costamagna

Bug#1056062: coq: FTBFS in sid (dune update?) Nov 16
Bug#1056062: coq: FTBFS in sid (dune update?) Nov 22

julien . puydt

Bug#1056062: coq: FTBFS in sid (dune update?) Nov 23
Bug#1056062: coq: FTBFS in sid (dune update?) Nov 21

Julien Puydt (@jpuydt)

[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.1.0 Nov 04
[Git][ocaml-team/ssreflect][upstream] New upstream version 2.1.0 Nov 04
[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.1.0.orig.tar.gz Nov 04
[Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.1.0 Nov 04

Kyle Robbertze

Re: Liquidsoap new version build failure Nov 25
Re: Liquidsoap new version build failure Nov 23

Kyle Robbertze (@paddatrapper)

[Git][ocaml-team/liquidsoap][master] 8 commits: Update d/watch to use new upstream artifact naming Nov 23
[Git][ocaml-team/liquidsoap][upstream] 2 commits: New upstream version 2.2.1 Nov 23
[Git][ocaml-team/liquidsoap][pristine-tar] 2 commits: pristine-tar data for liquidsoap_2.2.1.orig.tar.gz Nov 23
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1 Nov 28
[Git][ocaml-team/liquidsoap][master] prepare upload to unstable Nov 28
[Git][ocaml-team/gd4o] Pushed new tag upstream/1.0_alpha5.git20220521.bb52fb2 Nov 25
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1_exp1 Nov 26
[Git][ocaml-team/gd4o] Pushed new tag debian/1.0_alpha5.git20220521.bb52fb2-1 Nov 25
[Git][ocaml-team/gd4o][master] 5 commits: d/watch: fetch current git commits Nov 25
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.2 Nov 23
[Git][ocaml-team/gd4o][pristine-tar] pristine-tar data for gd4o_1.0~alpha5.git20220521.bb52fb2.orig.tar.xz Nov 25

Paul Gevers

Re: release.debian.org: provide a dd-list in the transition tracker Nov 30

Sebastiaan Couwenberg

Bug#636342: release.debian.org: provide a dd-list in the transition tracker Nov 30

Sonja Heinze

Deprecation of OCaml's ocaml-migrate-parsetree Nov 03

Yves-Alexis Perez

Bug#636342: release.debian.org: provide a dd-list in the transition tracker Nov 30

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