debian-ocaml-maint May 2024 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
mathcomp-algebra-tactics_1.2.3-3_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_1.1.0-2_source.changes REJECTED
Debian FTP Masters
mathcomp-multinomials_2.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-real-closed_2.0.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_1.1.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-analysis_1.1.0-2_source.changes
Debian FTP Masters
ocaml-lastfm is marked for autoremoval from testing
Debian testing autoremoval watch
coq-record-update_0.3.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coqeal_2.0.2-1_source.changes
Debian FTP Masters
Processing of coq-record-update_0.3.4-2_source.changes
Debian FTP Masters
coqeal_2.0.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-1_source.changes
Debian FTP Masters
coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED
Debian FTP Masters
coq-serapi_8.19.0+0.19.3-1_amd64.changes is NEW
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-1_amd64.changes
Debian FTP Masters
bisect-ppx_2.8.3+dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.5
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.5
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.5.orig.tar.gz
Kyle Robbertze (@paddatrapper)
Bug#1054109: ocaml: lack of LoongArch support
John Paul Adrian Glaubitz
Message not available
Bug#1054109: ocaml: lack of LoongArch support
lixing
Message not available
Bug#1054109: ocaml: lack of LoongArch support
Jiajie Chen
[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
The last update was on 08:00 GMT Thu May 09. There are 24 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc