| 6,8 → 6,12 |
|---|
| * Build-depend on the new libgmp10-dev instead of libgmp3-dev. |
| * dump_timeout.patch (new): Increase `pike -x dump' timeout to five |
| minutes (Closes: #593436). |
| * Replace the overkill build dependency gnome-core-devel with the |
| slightly sleeker libgnomeui-dev, which should cover (together with |
| libglade2-dev, which was already listed) everything that worked |
| previously. |
| |
| -- Magnus Holmgren <holmgren@debian.org> Sun, 20 Mar 2011 02:03:52 +0100 |
| -- Magnus Holmgren <holmgren@debian.org> Sun, 20 Mar 2011 17:04:31 +0100 |
| |
| pike7.8 (7.8.352-dfsg-3) unstable; urgency=low |
| |