debian-ocaml-maint Mar 2023 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Go on a golfing tour of the Universe
18 Holes of Quantum Golf
Question about a package mixing Coq and OCaml
Jean-Christophe Léchenet
Re: Question about a package mixing Coq and OCaml
julien . puydt
Re: Question about a package mixing Coq and OCaml
Stéphane Glondu
alt-ergo free and non-free
Jean-Christophe Léchenet
Bug#1032257: Non-free (non-commercial) license
Stéphane Glondu
Bug#1032257: alt-ergo free and non-free
Stéphane Glondu
[Git][ocaml-team/tuareg-mode][experimental/upstream] 2 commits: New upstream version 2.2.0
Ralf Treinen (@treinen)
[Git][ocaml-team/tuareg-mode][experimental/master] 10 commits: stndrds-version 4.4.1
Ralf Treinen (@treinen)
Bug#1032503: camlidl FTCBFS: unsatisfiable binutils and cpp dependencies
Helmut Grohne
alt-ergo is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
alt-ergo is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch
Romain Beauxis
Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch
Kyle Robbertze
Bug#1033068: liquidsoap: udpate to 2.1.4 or apply RC patch
Romain Beauxis
Processed: Bug#1033068 marked as pending in liquidsoap
Debian Bug Tracking System
Bug#1033068: marked as done (liquidsoap: udpate to 2.1.4 or apply RC patch)
Debian Bug Tracking System
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.1.3-2
Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.1.3-2_source.changes
Debian FTP Masters
liquidsoap_2.1.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3'
Paul Gevers
The last update was on 05:00 GMT Fri Mar 31. There are 21 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc