debian-ocaml-maint Dec 2017 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
alt-ergo is marked for autoremoval from testing
alt-ergo_1.30+dfsg1-1_source.changes ACCEPTED into unstable
Bug#599298: marked as done (cmigrep: should use dh-ocaml >= 0.9)
Bug#876427: marked as done (cmigrep: FTBFS with ocaml 4.05.0)
Bug#878448: Removed package(s) from unstable
Bug#878574: Removed package(s) from unstable
Bug#882162: marked as done (alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t)
Bug#883018: Please make ocaml-nox provide ocamlopt (or not) depending on arch
Bug#883645: Coq.Arith.PeanoNat missing from coq-theories
Bug#883755: alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header
Bug#883755: marked as done (alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header)
Bug#885267: coccinelle: Depends on unmaintained pygtk
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintainted gtksourceview2
Bug#885737: liquidsoap: Terminated by SIGILL after upgrade to Stretch
Bug#885865: ocaml-doc: upload to unstable
Bug#885939: [marionnet] Crash on startup with GdkPixbufError: IDAT: invalid distance too far back
menhir_20171206-1_source.changes ACCEPTED into unstable
Processed: limit source to alt-ergo, tagging 882162
Processed: user debian-qa@lists.debian.org, usertagging 853702, usertagging 883128, affects 883128 ...
Processing of alt-ergo_1.30+dfsg1-1_source.changes
Processing of menhir_20171206-1_source.changes
Processing of why3_0.88.2-1_source.changes
why3_0.88.2-1_source.changes ACCEPTED into unstable
The last update was on 15:34 GMT Fri Jun 07. There are 25 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc