debian-ocaml-maint Dec 2022 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]
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.1-1
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.16.1
[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.1
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.16.1
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-1
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.1.3
[Git][ocaml-team/liquidsoap][master] 5 commits: Fix autopkgtests
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.1.3
Bug#1023712: marked as done (why3 breaks frama-c (autopkgtest): missing versioned Breaks?)
Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
Bug#1024228: marked as done (liquidsoap: please change suggests from youtube-dl to yt-dlp)
Bug#1025129: elpi: Please add support for "riscv64" arch
Bug#1025129: marked as done (elpi: Please add support for "riscv64" arch)
Bug#1027280: mldonkey-server: mldonkey is missing from the repositories.
Bug#972211: FTBFS with OCaml 4.11.1 (-unsafe-string is not available)
Bug#977179: marked as done (mlpost: reproducible builds: Embeds build time in various binaries)
Bug#977180: marked as done (mlpost: reproducible builds: examples.tar.gz includes user, group and file mode)
Bug#991060: reopen for bullseye
coq 8.16.1+dfsg-1 MIGRATED to testing
coq-bignums_8.17.0-1_source.changes ACCEPTED into unstable
coq-doc_8.16.1-1_source.changes ACCEPTED into unstable
coq-interval_4.6.1-1_source.changes ACCEPTED into unstable
crowbar is marked for autoremoval from testing
crowbar_0.2.1-2_source.changes ACCEPTED into unstable
elpi_1.16.8-1_source.changes ACCEPTED into unstable
frama-c is marked for autoremoval from testing
frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable
Interested in Contributing
liquidsoap_2.1.3-1_source.changes ACCEPTED into unstable
mathcomp-analysis_0.6.0-1_source.changes ACCEPTED into unstable
ocaml-afl-persistent is marked for autoremoval from testing
ocaml-uucp_15.0.0-1_amd64.changes ACCEPTED into unstable
ocaml-uucp_15.0.0-2_source.changes ACCEPTED into unstable
ocaml-uunf_15.0.0-1_amd64.changes ACCEPTED into unstable
ocaml-uunf_15.0.0-2_source.changes ACCEPTED into unstable
Processed: Re: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
Processed: reopen for bullseye
Processing of coq-bignums_8.17.0-1_source.changes
Processing of coq-doc_8.16.1-1_source.changes
Processing of coq-interval_4.6.1-1_source.changes
Processing of crowbar_0.2.1-2_source.changes
Processing of elpi_1.16.8-1_source.changes
Processing of frama-c_20220511-manganese-3_source.changes
Processing of liquidsoap_2.1.3-1_source.changes
Processing of mathcomp-analysis_0.6.0-1_source.changes
Processing of ocaml-uucp_15.0.0-2_source.changes
Processing of ocaml-uunf_15.0.0-2_source.changes
RFH: Ocaml build problems for mcl
The last update was on 15:00 GMT Thu Dec 29. There are 54 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
