debian-ocaml-maint Dec 2017 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
]
Bug#883645: Coq.Arith.PeanoNat missing from coq-theories
Stewart Wilcox
Bug#883018: Please make ocaml-nox provide ocamlopt (or not) depending on arch
Ralf Treinen
Bug#883755: alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header
Chris Lamb
Bug#883755: marked as done (alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header)
Debian Bug Tracking System
Processed: user debian-qa@lists.debian.org, usertagging 853702, usertagging 883128, affects 883128 ...
Debian Bug Tracking System
Bug#878448: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#878448: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#599298: marked as done (cmigrep: should use dh-ocaml >= 0.9)
Debian Bug Tracking System
Message not available
Bug#876427: marked as done (cmigrep: FTBFS with ocaml 4.05.0)
Debian Bug Tracking System
Bug#878574: Removed package(s) from unstable
Debian FTP Masters
Processing of why3_0.88.2-1_source.changes
Debian FTP Masters
why3_0.88.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of menhir_20171206-1_source.changes
Debian FTP Masters
menhir_20171206-1_source.changes ACCEPTED into unstable
Debian FTP Masters
alt-ergo is marked for autoremoval from testing
Debian testing autoremoval watch
Processed: limit source to alt-ergo, tagging 882162
Debian Bug Tracking System
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)
Debian Bug Tracking System
Processing of alt-ergo_1.30+dfsg1-1_source.changes
Debian FTP Masters
alt-ergo_1.30+dfsg1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#885267: coccinelle: Depends on unmaintained pygtk
Jeremy Bicha
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintainted gtksourceview2
Jeremy Bicha
Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintainted gtksourceview2
Jeremy Bicha
Bug#885737: liquidsoap: Terminated by SIGILL after upgrade to Stretch
Paul van Tilburg
Bug#885865: ocaml-doc: upload to unstable
Jakub Wilk
Bug#885939: [marionnet] Crash on startup with GdkPixbufError: IDAT: invalid distance too far back
nodiscc
The last update was on 15:34 GMT Fri Jun 07. There are 25 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