debian-ocaml-maint Dec 2022 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

---

Stéphane Glondu

• Bug#991060: reopen for bullseye Dec 05

Stéphane Glondu

• Re: RFH: Ocaml build problems for mcl Dec 05
• Re: Interested in Contributing Dec 22

Debian Bug Tracking System

• Bug#1025129: marked as done (elpi: Please add support for "riscv64" arch) Dec 07
• Processed: reopen for bullseye Dec 04
• Processed: Re: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Dec 21
• Bug#1024228: marked as done (liquidsoap: please change suggests from youtube-dl to yt-dlp) Dec 19
• Bug#1023712: marked as done (why3 breaks frama-c (autopkgtest): missing versioned Breaks?) Dec 27
• Bug#977179: marked as done (mlpost: reproducible builds: Embeds build time in various binaries) Dec 15
• Bug#977180: marked as done (mlpost: reproducible builds: examples.tar.gz includes user, group and file mode) Dec 15

Debian FTP Masters

• ocaml-uunf_15.0.0-1_amd64.changes ACCEPTED into unstable Dec 19
• Processing of coq-doc_8.16.1-1_source.changes Dec 09
• ocaml-uucp_15.0.0-2_source.changes ACCEPTED into unstable Dec 20
• coq-doc_8.16.1-1_source.changes ACCEPTED into unstable Dec 09
• liquidsoap_2.1.3-1_source.changes ACCEPTED into unstable Dec 19
• Processing of ocaml-uucp_15.0.0-2_source.changes Dec 20
• frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable Dec 27
• Processing of crowbar_0.2.1-2_source.changes Dec 20
• Processing of ocaml-uunf_15.0.0-2_source.changes Dec 20
• Processing of coq-bignums_8.17.0-1_source.changes Dec 27
• elpi_1.16.8-1_source.changes ACCEPTED into unstable Dec 07
• crowbar_0.2.1-2_source.changes ACCEPTED into unstable Dec 20
• Processing of liquidsoap_2.1.3-1_source.changes Dec 19
• coq-interval_4.6.1-1_source.changes ACCEPTED into unstable Dec 13
• mathcomp-analysis_0.6.0-1_source.changes ACCEPTED into unstable Dec 14
• Processing of frama-c_20220511-manganese-3_source.changes Dec 27
• Processing of mathcomp-analysis_0.6.0-1_source.changes Dec 14
• Processing of coq-interval_4.6.1-1_source.changes Dec 13
• ocaml-uucp_15.0.0-1_amd64.changes ACCEPTED into unstable Dec 19
• coq-bignums_8.17.0-1_source.changes ACCEPTED into unstable Dec 27
• Processing of elpi_1.16.8-1_source.changes Dec 07
• ocaml-uunf_15.0.0-2_source.changes ACCEPTED into unstable Dec 20

Debian testing autoremoval watch

• ocaml-afl-persistent is marked for autoremoval from testing Dec 13
• frama-c is marked for autoremoval from testing Dec 23
• crowbar is marked for autoremoval from testing Dec 27

Debian testing watch

• coq 8.16.1+dfsg-1 MIGRATED to testing Dec 02

Julien Puydt (@jpuydt)

• [Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.1 Dec 09
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.1-1 Dec 09
• [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.16.1 Dec 09
• [Git][ocaml-team/coq-doc][upstream] New upstream version 8.16.1 Dec 09

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.1.3 Dec 19
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-1 Dec 19
• [Git][ocaml-team/liquidsoap][master] 5 commits: Fix autopkgtests Dec 19
• [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.1.3 Dec 19

Manuel A. Fernandez Montecelo

• Bug#1025129: elpi: Please add support for "riscv64" arch Dec 05

Nilesh Patra

• RFH: Ocaml build problems for mcl Dec 03

Paul Gevers

• Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Dec 21

Ralf Treinen

• Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Dec 25

Ralf Treinen (@treinen)

• [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3 Dec 28

Santiago Vila

• Bug#991060: reopen for bullseye Dec 04
• Bug#991060: reopen for bullseye Dec 05

Sebastien CHAVAUX

• Bug#972211: FTBFS with OCaml 4.11.1 (-unsafe-string is not available) Dec 01
• Bug#1027280: mldonkey-server: mldonkey is missing from the repositories. Dec 29

Silas

• Interested in Contributing Dec 14

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]