debian-ocaml-maint May 2024 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]
mathcomp-algebra-tactics_1.2.3-3_source.changes ACCEPTED into unstable
[bts-link] source package ocaml
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.5
[Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 2.2.5
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.5.orig.tar.gz
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.5
bisect-ppx_2.8.3+dfsg-1_amd64.changes ACCEPTED into unstable
Bug#1054109: ocaml: lack of LoongArch support
Bug#1070787: coq-corn: produces empty binary
Bug#1070787: marked as done (coq-corn: produces empty binary)
Bug#1070920: coq: FTBFS in bullseye
Bug#1071680: marked as done (ocaml-linenoise FTBFS on bytecode architectures)
Bug#1071680: ocaml-linenoise FTBFS on bytecode architectures
Bug#1072019: approx: drop dependency on system-log-daemon
Bug#1072308: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable
coq-record-update_0.3.4-2_source.changes ACCEPTED into unstable
coq-serapi_8.19.0+0.19.3-1_amd64.changes is NEW
coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED
coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED
coq-serapi_8.19.0+0.19.3-2_amd64.changes ACCEPTED into unstable
coq-serapi_8.19.0+0.19.3-2_amd64.changes is NEW
coqeal_2.0.2-1_source.changes ACCEPTED into unstable
mathcomp-analysis_1.1.0-2_source.changes ACCEPTED into unstable
mathcomp-analysis_1.1.0-2_source.changes REJECTED
mathcomp-multinomials_2.2.0-2_source.changes ACCEPTED into unstable
mathcomp-real-closed_2.0.0-2_source.changes ACCEPTED into unstable
ocaml-lastfm is marked for autoremoval from testing
ocaml-linenoise_1.5.1-2_source.changes ACCEPTED into unstable
omd_1.3.2-1_amd64.changes ACCEPTED into unstable
omd_1.3.2-1_amd64.changes is NEW
omd_1.3.2-1_amd64.changes REJECTED
Processed: coq: FTBFS in bullseye
Processed: Re: ocaml: lack of LoongArch support
Processed: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies
Processed: your mail
Processing of coq-corn_8.19.0+ds1-1_source.changes
Processing of coq-record-update_0.3.4-2_source.changes
Processing of coq-serapi_8.19.0+0.19.3-1_amd64.changes
Processing of coq-serapi_8.19.0+0.19.3-1_source.changes
Processing of coq-serapi_8.19.0+0.19.3-2_amd64.changes
Processing of coqeal_2.0.2-1_source.changes
Processing of mathcomp-analysis_1.1.0-2_source.changes
Processing of ocaml-linenoise_1.5.1-2_source.changes
Processing of omd_1.3.2-1_amd64.changes
Request for: support LoongArch architecture in ocaml source
Re: Support for packaging an OCaml-based tool for Debian
The last update was on 20:40 GMT Fri May 31. There are 54 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
