debian-ocaml-maint Dec 2022 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Bug#1025129: elpi: Please add support for "riscv64" arch Manuel A. Fernandez Montecelo
Bug#1025129: marked as done (elpi: Please add support for "riscv64" arch) Debian Bug Tracking System
Processing of elpi_1.16.8-1_source.changes Debian FTP Masters
elpi_1.16.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.1-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.16.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.16.1 Julien Puydt (@jpuydt)
Processing of coq-doc_8.16.1-1_source.changes Debian FTP Masters
coq-doc_8.16.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
Processing of coq-interval_4.6.1-1_source.changes Debian FTP Masters
coq-interval_4.6.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-analysis_0.6.0-1_source.changes Debian FTP Masters
mathcomp-analysis_0.6.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Interested in Contributing Silas
Bug#977180: marked as done (mlpost: reproducible builds: examples.tar.gz includes user, group and file mode) Debian Bug Tracking System
Bug#977179: marked as done (mlpost: reproducible builds: Embeds build time in various binaries) Debian Bug Tracking System
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.1.3 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.1.3 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] 5 commits: Fix autopkgtests Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.1.3-1_source.changes Debian FTP Masters
Bug#1024228: marked as done (liquidsoap: please change suggests from youtube-dl to yt-dlp) Debian Bug Tracking System
liquidsoap_2.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uucp_15.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uunf_15.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-uunf_15.0.0-2_source.changes Debian FTP Masters
Processing of ocaml-uucp_15.0.0-2_source.changes Debian FTP Masters
Processing of crowbar_0.2.1-2_source.changes Debian FTP Masters
crowbar_0.2.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uucp_15.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uunf_15.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Paul Gevers
frama-c is marked for autoremoval from testing Debian testing autoremoval watch
crowbar is marked for autoremoval from testing Debian testing autoremoval watch
Processing of coq-bignums_8.17.0-1_source.changes Debian FTP Masters
coq-bignums_8.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1023712: marked as done (why3 breaks frama-c (autopkgtest): missing versioned Breaks?) Debian Bug Tracking System
Processing of frama-c_20220511-manganese-3_source.changes Debian FTP Masters
frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3 Ralf Treinen (@treinen)
Bug#1027280: mldonkey-server: mldonkey is missing from the repositories. Sebastien CHAVAUX
The last update was on 15:00 GMT Thu Dec 29. There are 54 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc