debian-ocaml-maint Apr 2026 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
bisect-ppx is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
elpi is marked for autoremoval from testing Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
coqeal is marked for autoremoval from testing Debian testing autoremoval watch
Re: ocaml-testo_0.4.0+dfsg-1_amd64.changes REJECTED Stéphane Glondu

Re: ocaml-testo_0.4.0+dfsg-1_amd64.changes REJECTED Andrew McMillan

Bug#1132374: marked as done (control Vcs-Browser seems not available on salsa) Debian Bug Tracking System
Bug#1132373: marked as done (control Vcs-Browser seems not available on salsa) Debian Bug Tracking System
ocaml-testo_0.4.0+dfsg-2_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-testo_0.4.0+dfsg-2_amd64.changes Debian FTP Masters
ocaml-testo_0.4.0+dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-dune][master] 2 commits: More targeted autopkgtests Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.21.1-5 Stéphane Glondu (@glondu)
ocaml-dune_3.21.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-dune_3.21.1-5_source.changes Debian FTP Masters
ppxlib_0.38.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppxlib_0.38.0-1_source.changes Debian FTP Masters
Bug#1132751: ITP: ppx-sexp-value -- ppx rewriter to build S-expressions from OCaml values Stéphane Glondu
Bug#1132755: ITP: ppx-sexp-message -- PPX rewriter for easy construction of S-expressions Stéphane Glondu
ppx-sexp-value_0.17.0-1_amd64.changes is NEW Debian FTP Masters
Processing of ppx-sexp-value_0.17.0-1_amd64.changes Debian FTP Masters
ppx-sexp-message_0.17.0-1_amd64.changes is NEW Debian FTP Masters
Processing of ppx-sexp-message_0.17.0-1_amd64.changes Debian FTP Masters
ppx-sexp-value_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ppx-sexp-message_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#1132847: ITP: ppx-bench -- syntax extension for writing in-line benchmarks Stéphane Glondu
ppx-bench_0.17.1-1_amd64.changes is NEW Debian FTP Masters
Processing of ppx-bench_0.17.1-1_amd64.changes Debian FTP Masters
bisect-ppx_2.8.3+dfsg-5_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1131638: marked as done (bisect-ppx: FTBFS: Error: Unbound value Cmdliner.Term.eval_choice) Debian Bug Tracking System
Processing of bisect-ppx_2.8.3+dfsg-5_source.changes Debian FTP Masters
Workflow issues managing packages in git Julien Puydt

Re: Workflow issues managing packages in git Nick Morrott

Re: Workflow issues managing packages in git Julien Puydt

Re: Workflow issues managing packages in git Dima Kogan
Re: Workflow issues managing packages in git Stéphane Glondu

Re: Workflow issues managing packages in git Julien Puydt

#1122524 / Re: Workflow issues managing packages in git Joost van Baal-Ilić

Re: #1122524 / Re: Workflow issues managing packages in git Julien Puydt

Processed: found 1131646 in 3.4.3-1, tagging 1131646 Debian Bug Tracking System
ppx-bench_0.17.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#1132953: ITP: ocaml-splittable-random -- PRNG that can be split into independent streams Stéphane Glondu
ocaml-splittable-random_0.17.0-1_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-splittable-random_0.17.0-1_amd64.changes Debian FTP Masters

The last update was on 17:00 GMT Wed Apr 08. There are 63 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc