Your message dated Wed, 2 Dec 2009 01:06:41 +0100 with message-id <20091202000640.GA29695@birba> and subject line Matita 0.5.8 uploaded has caused the Debian Bug report #541959, regarding matita: depends on deprecated libgtksourceview1.0 to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 541959: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=541959 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: maintonly@bugs.debian.org
- Subject: matita: depends on deprecated libgtksourceview1.0
- From: joss@debian.org
- Date: Mon, 17 Aug 2009 01:15:53 +0200
- Message-id: <E1Mcox7-0008FC-Rq@tomoyo>
Package: matita Version: 0.5.7-2 Severity: important User: pkg-gnome-maintainers@lists.alioth.debian.org Usertags: oldlibs gtksourceview1.0 Hi, matita currently still depends on libgtksourceview1.0-0. However, the 1.x version of libgtksourceview was deprecated almost 2 years ago. A new version is available, named gtksourceview2. If a new upstream version that uses an up-to-date GtkSourceView widget exists, please consider updating the matita package to this version. If not, it would be nice to consider porting to GtkSourceView 2.x anyway, since weâ??d like to remove the old gtksourceview packages for the squeeze release. Thanks, -- .''`. Josselin Mouette : :' : `. `' â??I recommend you to learn English in hope that you in `- future understand thingsâ?? -- Jörg Schilling
--- End Message ---
--- Begin Message ---
- To: 541959-done@bugs.debian.org
- Subject: Matita 0.5.8 uploaded
- From: Enrico Tassi <gareuselesinge@debian.org>
- Date: Wed, 2 Dec 2009 01:06:41 +0100
- Message-id: <20091202000640.GA29695@birba>
The new upstream version depends on lablgtk2 >= 2.14, dropping the dependency over gtksourceview1. Cheers -- Enrico Tassi
--- End Message ---