-
devhelp (3.8.2-2) unstable; urgency=low
[ Jeremy Bicha ]
* Update homepage
[ Michael Biebl ]
* Upload to unstable.
* Build against webkit1 for now, webkit2 isn't ready yet.
-- Michael Biebl <email address hidden> Wed, 31 Jul 2013 22:46:02 +0200
-
devhelp (3.8.2-0ubuntu1) saucy; urgency=low
* New upstream version
[ Jeremy Bicha ]
* Sync with Debian
* debian/control.in, debian/rules:
- Use dh_python3
devhelp (3.8.0-1) experimental; urgency=low
[ Thomas Bechtold ]
* New upstream release.
* soname bump according to configure.ac
* debian/libdevhelp-3-2.symbols: Updated symbols.
* debian/control:
- Bump libgtk-3-dev Build-Depends to >= 3.5.6 according to configure.ac.
- Bump libglib2.0-dev Build-Depends to >= 2.32 according to configure.ac.
* debian/rules: explicit don't build against webkit2
* debian/devhelp-common.install:
- etc is no longer needed
- install gsettings schema
- install gconf-to-gsettings convert file
[ Emilio Pozuelo Monfort ]
* debian/control.in:
+ Update build dependencies.
-- Sebastien Bacher <email address hidden> Wed, 29 May 2013 13:30:46 +0200
-
devhelp (3.6.1-0ubuntu2) saucy; urgency=low
* debian/patches/port-gedit-plugin.patch:
- Backport patch from 3.8 to port gedit plugin to Python3 (and gedit 3.8)
* debian/control, debian/rules:
- Use dh_python3
-- Jeremy Bicha <email address hidden> Fri, 24 May 2013 19:17:41 -0400
-
devhelp (3.6.1-0ubuntu1) raring; urgency=low
* New upstream release
-- Robert Ancell <email address hidden> Thu, 15 Nov 2012 11:46:30 +1300
