debian-ocaml-maint Mar 2023 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-2
[Git][ocaml-team/tuareg-mode][experimental/master] 10 commits: stndrds-version 4.4.1
[Git][ocaml-team/tuareg-mode][experimental/upstream] 2 commits: New upstream version 2.2.0
alt-ergo free and non-free
alt-ergo is marked for autoremoval from testing
Bug#1032257: alt-ergo free and non-free
Bug#1032257: Non-free (non-commercial) license
Bug#1032503: camlidl FTCBFS: unsatisfiable binutils and cpp dependencies
Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch
Bug#1033068: marked as done (liquidsoap: udpate to 2.1.4 or apply RC patch)
Bug#1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3'
Go on a golfing tour of the Universe
liquidsoap_2.1.3-2_source.changes ACCEPTED into unstable
Processed: Bug#1033068 marked as pending in liquidsoap
Processing of liquidsoap_2.1.3-2_source.changes
Question about a package mixing Coq and OCaml
The last update was on 05:00 GMT Fri Mar 31. There are 21 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc