debian-ocaml-maint May 2024 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu

• Re: Request for: support LoongArch architecture in ocaml source May 16

Adrian Bunk

• Bug#1071680: ocaml-linenoise FTBFS on bytecode architectures May 23

bluca

• Bug#1072019: approx: drop dependency on system-log-daemon May 27

Debian Bug Tracking System

• Processed: Re: ocaml: lack of LoongArch support May 14
• Processed: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies May 31
• Bug#1070787: marked as done (coq-corn: produces empty binary) May 11
• Bug#1071680: marked as done (ocaml-linenoise FTBFS on bytecode architectures) May 28
• Processed: coq: FTBFS in bullseye May 11
• Processed: your mail May 25

Debian FTP Masters

• omd_1.3.2-1_amd64.changes is NEW May 30
• coqeal_2.0.2-1_source.changes ACCEPTED into unstable May 02
• Processing of mathcomp-analysis_1.1.0-2_source.changes May 01
• coq-serapi_8.19.0+0.19.3-1_amd64.changes is NEW May 02
• mathcomp-algebra-tactics_1.2.3-3_source.changes ACCEPTED into unstable May 01
• Processing of coq-record-update_0.3.4-2_source.changes May 02
• coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable May 11
• Processing of ocaml-linenoise_1.5.1-2_source.changes May 28
• Processing of omd_1.3.2-1_amd64.changes May 28
• mathcomp-analysis_1.1.0-2_source.changes REJECTED May 01
• omd_1.3.2-1_amd64.changes is NEW May 28
• coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED May 02
• mathcomp-multinomials_2.2.0-2_source.changes ACCEPTED into unstable May 01
• Processing of omd_1.3.2-1_amd64.changes May 30
• Processing of coq-serapi_8.19.0+0.19.3-1_source.changes May 02
• Processing of coq-serapi_8.19.0+0.19.3-2_amd64.changes May 16
• Processing of coq-serapi_8.19.0+0.19.3-1_amd64.changes May 02
• omd_1.3.2-1_amd64.changes ACCEPTED into unstable May 30
• coq-serapi_8.19.0+0.19.3-2_amd64.changes ACCEPTED into unstable May 26
• ocaml-linenoise_1.5.1-2_source.changes ACCEPTED into unstable May 28
• bisect-ppx_2.8.3+dfsg-1_amd64.changes ACCEPTED into unstable May 03
• coq-record-update_0.3.4-2_source.changes ACCEPTED into unstable May 02
• mathcomp-analysis_1.1.0-2_source.changes ACCEPTED into unstable May 01
• coq-serapi_8.19.0+0.19.3-2_amd64.changes is NEW May 16
• mathcomp-real-closed_2.0.0-2_source.changes ACCEPTED into unstable May 01
• Processing of coq-corn_8.19.0+ds1-1_source.changes May 11
• Processing of coqeal_2.0.2-1_source.changes May 02

Debian testing autoremoval watch

• ocaml-lastfm is marked for autoremoval from testing May 02

debian-bts-link

• [bts-link] source package ocaml May 20

Gianfranco Costamagna

• Bug#1054109: ocaml: lack of LoongArch support May 14
• Bug#1070787: coq-corn: produces empty binary May 09

Jiajie Chen

• Bug#1054109: ocaml: lack of LoongArch support May 07

John Paul Adrian Glaubitz

• Bug#1054109: ocaml: lack of LoongArch support May 06

julien . puydt

• Bug#1070787: coq-corn: produces empty binary May 11

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.5 May 05
• [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.5.orig.tar.gz May 05
• [Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 2.2.5 May 08
• [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.5 May 05

lixing

• Bug#1054109: ocaml: lack of LoongArch support May 07

Nik Sultana

• Re: Support for packaging an OCaml-based tool for Debian May 29

Paul Gevers

• Bug#1072308: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies May 31

Santiago Vila

• Bug#1070920: coq: FTBFS in bullseye May 11

Thorsten Alteholz

• coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED May 11
• omd_1.3.2-1_amd64.changes REJECTED May 29

zhangdandan

• Request for: support LoongArch architecture in ocaml source May 16

[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]