debian-ocaml-maint May 2024 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Message not available
[Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 2.2.5 Kyle Robbertze (@paddatrapper)
Bug#1070787: coq-corn: produces empty binary Gianfranco Costamagna
coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-corn_8.19.0+ds1-1_source.changes Debian FTP Masters
coq-serapi_8.19.0+0.19.3-1_amd64.changes REJECTED Thorsten Alteholz
Bug#1070920: coq: FTBFS in bullseye Santiago Vila
Request for: support LoongArch architecture in ocaml source zhangdandan
Processing of coq-serapi_8.19.0+0.19.3-2_amd64.changes Debian FTP Masters
coq-serapi_8.19.0+0.19.3-2_amd64.changes is NEW Debian FTP Masters
The last update was on 13:40 GMT Thu May 16. There are 37 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc