debian-ocaml-maint Mar 2023 by author

[previous page]

Page 1 of 1

[next page]

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

---

18 Holes of Quantum Golf

• Go on a golfing tour of the Universe Mar 01

Jean-Christophe Léchenet

• Question about a package mixing Coq and OCaml Mar 02
• alt-ergo free and non-free Mar 02

Stéphane Glondu

• Bug#1032257: alt-ergo free and non-free Mar 02
• Bug#1032257: Non-free (non-commercial) license Mar 02

Stéphane Glondu

• Re: Question about a package mixing Coq and OCaml Mar 02

Debian Bug Tracking System

• Bug#1033068: marked as done (liquidsoap: udpate to 2.1.4 or apply RC patch) Mar 28
• Processed: Bug#1033068 marked as pending in liquidsoap Mar 28

Debian FTP Masters

• liquidsoap_2.1.3-2_source.changes ACCEPTED into unstable Mar 28
• Processing of liquidsoap_2.1.3-2_source.changes Mar 28

Debian testing autoremoval watch

• alt-ergo is marked for autoremoval from testing Mar 31
• alt-ergo is marked for autoremoval from testing Mar 11

Helmut Grohne

• Bug#1032503: camlidl FTCBFS: unsatisfiable binutils and cpp dependencies Mar 08

julien . puydt

• Re: Question about a package mixing Coq and OCaml Mar 02

Kyle Robbertze

• Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch Mar 17

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-2 Mar 28

Paul Gevers

• Bug#1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3' Mar 30

Ralf Treinen (@treinen)

• [Git][ocaml-team/tuareg-mode][experimental/master] 10 commits: stndrds-version 4.4.1 Mar 07
• [Git][ocaml-team/tuareg-mode][experimental/upstream] 2 commits: New upstream version 2.2.0 Mar 07

Romain Beauxis

• Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch Mar 17
• Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch Mar 16

[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]