debian-ocaml-maint Oct 2021 by author
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Subject Index]
[Other Debian Lists]
[Debian Home]
Stéphane Glondu
Bastian Germann
Claudio Sacerdoti Coen
Debian Bug Tracking System
- Bug#967627: marked as done (matita: depends on deprecated GTK 2) Oct 08
- Bug#967560: marked as done (lablgtkmathview: depends on deprecated GTK 2) Oct 08
- Processed: GCC 11 is now the default, raising the severity of the ftbfs issues Oct 10
- Bug#913606: marked as done (matita FTBFS with lablgtk2 2.18.5+dfsg-2) Oct 08
- Bug#599319: marked as done (matita: should use dh-ocaml >= 0.9) Oct 08
- Processed: tagging 995437, tagging 995480, tagging 995597, tagging 995600, tagging 995603, tagging 995623 ... Oct 12
- Bug#979096: marked as done (Legally problematic GPL-3+ readline dependency) Oct 09
- Processed: Bug#995603 marked as pending in why3 Oct 26
- Bug#967878: marked as done (matita: depends on deprecated libglade2) Oct 08
- Bug#995545: marked as done (Updating the lablgtkmathview Uploaders list) Oct 08
- Processed: tagging 983959, tagging 983999, tagging 984242, tagging 994237, tagging 994240, tagging 983958 ... Oct 10
- Bug#977737: marked as done (alt-ergo suggests why, which isn't provided by any package) Oct 27
- Processed: Re: Legally problematic GPL-3+ readline dependency Oct 07
- Bug#995555: marked as done (Updating the matita Uploaders list) Oct 08
Debian FTP Masters
Debian testing autoremoval watch
Julien Puydt
Kyle Robbertze (@paddatrapper)
Lucas Nussbaum
Mattia Rizzolo
Ralf Treinen (@treinen)
The last update was on 20:40 GMT Fri Oct 29. There are 88 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc