debian-ocaml-maint Dec 2017 by author

[previous page]

Page 1 of 1

[next page]

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

---

Chris Lamb

• Bug#883755: alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header Dec 07

Debian Bug Tracking System

• Bug#599298: marked as done (cmigrep: should use dh-ocaml >= 0.9) Dec 11
• Processed: user debian-qa@lists.debian.org, usertagging 853702, usertagging 883128, affects 883128 ... Dec 07
• Bug#883755: marked as done (alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header) Dec 21
• Bug#876427: marked as done (cmigrep: FTBFS with ocaml 4.05.0) Dec 11
• Processed: limit source to alt-ergo, tagging 882162 Dec 20
• 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) Dec 21

Debian FTP Masters

• Processing of menhir_20171206-1_source.changes Dec 13
• Processing of alt-ergo_1.30+dfsg1-1_source.changes Dec 21
• menhir_20171206-1_source.changes ACCEPTED into unstable Dec 13
• Processing of why3_0.88.2-1_source.changes Dec 12
• why3_0.88.2-1_source.changes ACCEPTED into unstable Dec 12
• Bug#878448: Removed package(s) from unstable Dec 11
• alt-ergo_1.30+dfsg1-1_source.changes ACCEPTED into unstable Dec 21
• Bug#878574: Removed package(s) from unstable Dec 11
• Bug#878448: Removed package(s) from unstable Dec 11

Debian testing autoremoval watch

• alt-ergo is marked for autoremoval from testing Dec 17

Jakub Wilk

• Bug#885865: ocaml-doc: upload to unstable Dec 30

Jeremy Bicha

• Bug#885267: coccinelle: Depends on unmaintained pygtk Dec 26
• Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintainted gtksourceview2 Dec 29
• Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintainted gtksourceview2 Dec 29

nodiscc

• Bug#885939: [marionnet] Crash on startup with GdkPixbufError: IDAT: invalid distance too far back Dec 31

Paul van Tilburg

• Bug#885737: liquidsoap: Terminated by SIGILL after upgrade to Stretch Dec 29

Ralf Treinen

• Bug#883018: Please make ocaml-nox provide ocamlopt (or not) depending on arch Dec 07

Stewart Wilcox

• Bug#883645: Coq.Arith.PeanoNat missing from coq-theories Dec 06

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