This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.
Changes:
v0.5.1 28-03-2018 Stephan Bosch <stephan@rename-it.nl>
- Explicitly disallow UTF-8 in localpart in addresses parsed from Sieve
script.
- editheader extension: Corrected the stream position calculations
performed while making the modified message available as a stream.
Pigeonhole Sieve crashed in LMTP with an assertion panic when the
Sieve editheader extension was used before the message was redirected.
Experiments indicate that the problem occurred only with LMTP and that
LDA is not affected.
- fileinto extension: Fix assert panic occurring when fileinto is used
without being listed in the require line, while the copy extension is
listed there. This is a very old bug.
- imapsieve plugin: Do not assert crash or log an error for messages
that disappear concurrently while applying Sieve scripts. This event
is now logged as a debug message.
- Sieve extprograms plugin: Large output from "execute" command crashed
delivery. Fixed buffering issue in code that handles output from the
external program.
Changes:
* Submission server support improvements and bug fixes
- Lots of bug fixes to submission server
* API CHANGE: array_idx_modifiable will no longer allocate space
- Particularly affects how you should check MODULE_CONTEXT result, or use REQUIRE_MODULE_CONTEXT.
+ mail_attachment_detection_options setting controls when
$HasAttachment and $HasNoAttachment keywords are set for mails.
+ imap: Support fetching body snippets using FETCH (SNIPPET) or
(SNIPPET (LAZY=FUZZY))
+ fs-compress: Automatically detect whether input is compressed or not.
Prefix the compression algorithm with "maybe-" to enable the
detection, for example: "compress:maybe-gz:6:..."
+ Added settings to change dovecot.index* files' optimization behavior.
See https://wiki2.dovecot.org/IndexFiles#Settings
+ Auth cache can now utilize auth workers to do password hash
verification by setting auth_cache_verify_password_with_worker=yes.
+ Added charset_alias plugin. See
https://wiki2.dovecot.org/Plugins/CharsetAlias
+ imap_logout_format and pop3_logout_format settings now support all of the generic variables (e.g. %{rip}, %{session}, etc.)
The recent change has changed the dependency when this package is
built with python27.
Also, set DIST_SUBDIR for the switch from MASTER_SITE_GITHUB to
MASTER_SITE_PYPI.
Changes on 1.3.0.2 since 1.3.0:
* Fixed launching menu entries shortcuts on desktop which was broken by making
them all executable in 1.3.0 - those should be launchable still.
* Fixed installing modules into non-standard path: libtool couldn't relink them
properly.
Changes on 1.3.0 since 1.2.5:
* Added emblem support by reading the "metadata::emblems" attribute provided by
GFileInfo. The metadata is provided by gio/gvfs and are currently stored in
$XDG_DATA_HOME/gvfs-metadata.
* Fixed typo: occured -> occurred.
* Made desktop entries treaten as executables. Now clicking on a native desktop
file opens a confirmation dialog instead of executing it. Trashed desktop
files are only opened as text files and desktop files under system menu
(i.e. menu://applications/) are executed without prompt as before.
* Fixed build error with vala 0.36.1.
* Fixed crash on launching nonexistent link targets.
* Added tooltips for attributes of copying files.
* Fixed thumbnails generation for files in the thumbnails cache directory which
actually should never be done.
* Fixed crash on pasting large string when completion matches.
* Prevented creation corrupted image thumbnails with gdk-pixbuf2 >= 2.36.1.
* Fixed crash in fm_config_load_from_file().
* Dropped displaying "extension" for a directory.
* Fixed crash on pasting a file into the search folder, show an error message
when the copy destination doesn't exist instead.
* Added new API for FmAction new object type, to replace old VALA-generated
code. New API is more convenient, C instead of VALA, and should support all
DES-API specification features, not just limited set.
* Migrated module 'gtk-menu-actions' to new DES-EMA actions API.
* Added display of data transferred to progress dialog.
* Fixed wrong names for files, copied from Google Drive and similar places.
Changes on 1.2.5 since 1.2.4:
* Fixed 'Launch in Terminal' issue when custom args were ignored.
* Fixed crash with non-UTF regex search pattern.
* Added 'termite' into the terminals database.
* Fixed possible crash on FmPlacesView.
* Fixed crash on non-existent directory listing job.
* Added conversion of all URIs schemes to file:/// by mapping them to
FUSE-mounted local paths if that is possible. This is required for
non-gio applications to open files mounted by gvfs.
* Added new MIME type for rar files to the archivers.list file.
* Fixed crash in _fm_template_update().
* Fixed incorrect initialization of FmPlacesViewClass, it should not call
fm_get_home_dir() but initialized with NULL, that will do the same at
runtime.
* Fixed FTBFS when libmenu-cache was installed to non-standard location.
* Added check for edit name "/" for remote root directory so display name
should be used in such cases as more sensible one.
* Fixed wrong width requested by FmCellRendererText (1.2.4 regression).
* Updated list of MIME types handled by xarchiver.
* Don't show error message when attempting to rename file into the same.
* Fixed crash after file info job finished on a folder that already left.
* Changed limitations on libfm-pref-apps.desktop to show only in LXDE.
* Fixed incomplete file copy job pausing in some cases.
* Fixed missing 'Empty Trash Can' option in desktop's trash context menu.
Changes on 1.3.0.2 since 1.3.0:
* Fixed launching menu entries shortcuts on desktop which was broken by making
them all executable in 1.3.0 - those should be launchable still.
* Fixed installing modules into non-standard path: libtool couldn't relink them
properly.
Changes on 1.3.0 since 1.2.5:
* Added emblem support by reading the "metadata::emblems" attribute provided by
GFileInfo. The metadata is provided by gio/gvfs and are currently stored in
$XDG_DATA_HOME/gvfs-metadata.
* Fixed typo: occured -> occurred.
* Made desktop entries treaten as executables. Now clicking on a native desktop
file opens a confirmation dialog instead of executing it. Trashed desktop
files are only opened as text files and desktop files under system menu
(i.e. menu://applications/) are executed without prompt as before.
* Fixed build error with vala 0.36.1.
* Fixed crash on launching nonexistent link targets.
* Added tooltips for attributes of copying files.
* Fixed thumbnails generation for files in the thumbnails cache directory which
actually should never be done.
* Fixed crash on pasting large string when completion matches.
* Prevented creation corrupted image thumbnails with gdk-pixbuf2 >= 2.36.1.
* Fixed crash in fm_config_load_from_file().
* Dropped displaying "extension" for a directory.
* Fixed crash on pasting a file into the search folder, show an error message
when the copy destination doesn't exist instead.
* Added new API for FmAction new object type, to replace old VALA-generated
code. New API is more convenient, C instead of VALA, and should support all
DES-API specification features, not just limited set.
* Migrated module 'gtk-menu-actions' to new DES-EMA actions API.
* Added display of data transferred to progress dialog.
* Fixed wrong names for files, copied from Google Drive and similar places.
Changes on 1.2.5 since 1.2.4:
* Fixed 'Launch in Terminal' issue when custom args were ignored.
* Fixed crash with non-UTF regex search pattern.
* Added 'termite' into the terminals database.
* Fixed possible crash on FmPlacesView.
* Fixed crash on non-existent directory listing job.
* Added conversion of all URIs schemes to file:/// by mapping them to
FUSE-mounted local paths if that is possible. This is required for
non-gio applications to open files mounted by gvfs.
* Added new MIME type for rar files to the archivers.list file.
* Fixed crash in _fm_template_update().
* Fixed incorrect initialization of FmPlacesViewClass, it should not call
fm_get_home_dir() but initialized with NULL, that will do the same at
runtime.
* Fixed FTBFS when libmenu-cache was installed to non-standard location.
* Added check for edit name "/" for remote root directory so display name
should be used in such cases as more sensible one.
* Fixed wrong width requested by FmCellRendererText (1.2.4 regression).
* Updated list of MIME types handled by xarchiver.
* Don't show error message when attempting to rename file into the same.
* Fixed crash after file info job finished on a folder that already left.
* Changed limitations on libfm-pref-apps.desktop to show only in LXDE.
* Fixed incomplete file copy job pausing in some cases.
* Fixed missing 'Empty Trash Can' option in desktop's trash context menu.
* Fixed potential access violation, use runtime user dir instead of tmp dir
for single instance socket.
* Fixed an issue with losing icons on desktop, when file name has a '[' char.
* Added a missing tooltip for 'New Window' toolbar button.
* Fixed an issue when single instance socket' directory did not exist (see
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874753).
Changes on 1.2.5 since 1.2.4:
* Removed options to Cut, Remove and Rename from context menu on mounted
drive on the desktop, user might accidentally recursively remove its
contents.
* Removed 'Open in terminal' from context menu on folder on the desktop
that cannot be opened in terminal.
* Fixed invalid unref on CSS provider (GTK+ 3.0).
* Fixed unwanted unselection of items when right-clicked the desktop.
* Fixed endless loop in desktop items placement in some corner cases.
* Fixed spelling error in the manual page.
Changes since 0.2.0
- Arguments are now properly passed to child process.
- Fixed login shell, also applies to new tabs.
- Renamed tabs can now be reset, fixed '--title'.
- Improved GTK3 and VTE support.
- Added palette customization.
- Added terminal zoom feature.
- Added tab activity notification (bold).
- Added --no_remote to spawn a separate teminal process.
- Optional confirmation when closing multiple tabs.
Changes in 1.1.0 since 1.0.2:
* Fixed crash with invalid <Name> tag in a menu.
* Added new API menu_cache_app_get_generic_name() to get generic
name for application.
* Fixed potential access violation, use runtime user dir instead of tmp dir.
It limits libmenu-cache compatibility to menu-cached >= 0.7.0.
* Directory $XDG_DATA_HOME/applications will be created if it does not
exist so it will be monitored in any case.
* Fixed issue when subdirectories added would be skipped in monitoring.
* Fixed potential file descriptors leak.
* Reduced inactivity timer to 6 seconds (from 600 seconds).
* Fixed an issue with multiple daemons started: test if daemon is already
running on socket before killing old socket file.
* Fixed 100% CPU load by menu-cached due to invalid dup2() call.
Changes in 1.0.2 since 1.0.1:
* Fixed crash in menu-cached if cache regeneration fails.
* Fixed 100% CPU load by menu-cached in some rare conditions.
* Invalid empty <DefaultLayout> should be ignored, see specification.
* Fixed crash in menu-cache-gen on <MergeFile type="parent"/> if no file
to merge found.
* Fixed showing empty Other menu in some cases.
* The option --disable-debug is now default, instead of --enable-debug.
0.99.2
-------------------------------------------------------------------------
* Replaced 'stretch' wallpaper_mode setting with 'crop' in pcmanfm.conf.
* Updated view_mode and sort settings in pcmanfm.conf with new values.
* Made dbus-launch start only if $XDG_RUNTIME_DIR/bus isn't available.
* Updated lxpanel configuration files to match latest version.
* Added volume plugin to default panel, near everyone uses audio nowadays.
* Removed netstat plugin from default panel, it's usually superseded with
either NM or wicd.
* Updated startlxde.1 man page.
* Ensured the existance of the user applications folder by startlxde.
0.9.3
-------------------------------------------------------------------------
* Finally fixed battery calculations, it missed Power so left time was
always at zero.
* Fixed task window raising on drop file on it (was broken since 0.9.0).
0.9.2
-------------------------------------------------------------------------
* Fixed battery selection if battery detached but another is available.
* Fixed battery percentage calculations if charge isn't available but
energy is, it appears broken in 0.9.0.
* Fixed wrong state change on task button when hovered, it shouldn't
receive selected state until window has urgency.
* Fixed wrong flat button appearance when hovered, it wasn't flat.
0.9.1
-------------------------------------------------------------------------
* Fixed build failure without ALSA.
* Added alternative mixers if build using OSS.
* Fixed panel flicker with some window managers.
0.9.0
-------------------------------------------------------------------------
* Added support for laptops with multiple batteries.
* Added a way to scroll through workspaces by using the scroll wheel over
the deskno plugin.
* Bunch of fixes for GTK+ 3.0 compatibility.
* Fixed outdated lxpanel man page.
* Fixed weather locations query (since YQL was changed recently).
* Converted space plugin into internal PanelSpace widget in liblxpanel.
* Converted task button into widget class to avoid ambiguous code.
* Added support for third-party plugins localized descriptions.
* Implemented "lxpanelctl command ..." to send message to panel plugin.
* Added APIs for PanelIconGrid to draw focus on drop.
* Converted launch button into widget class for more easy management.
* Adjusted PanelIconGrid: min spacing is now 1, no_window flag is now
left unset by default, spacing is taken into account on overall size
to be consistent on chosen orientation.
* Implemented dropping file or folder onto launch bar to create launcher.
* Implemented dragging launchers around launchbars (between panels too).
* Implemented dropping file or folder onto free panel space to create
launcher.
* Implemented dragging launchers from launchbar to some free panel space.
When launcher dropped onto another place and former place's launchbar
becomes empty, it will not be replaced with a bootstrapping icon (as
it happens when last launcher is removed via configuration dialog)
but launchbar will be removed from the panel instead, that behavior
is more obvious and sensible.
* Added stripping scheme from URI menu://applications/... when a launcher
is created, only menu-id itself should be used.
* Implemented moving plugins across panel by means of middle button drag
and drop, i.e. middle-click it then drag, and plugin will follow the
mouse until middle button is released.
* Merged 'volume' and 'volumealsa' plugins into single plugin which uses
the same interface but different driver, in dependency on how it was
built - either OSS or ALSA interface is used. Name 'volume' is used
for simplicity while 'volumealsa' is supported for compatibility.
* Made default channel in 'volume' plugin definable in config. If there
is no config statement then plugin finds first usable one, the same
as before.
* Made clicks for Toggle Mute, Show Slider and Open Mixer actions of the
'volume' plugin configurable. Defaults are the same: left-click shows
slider, middle-click toggles mute state.
* Added support for 'PCM' and 'Headphone' channels for OSS mixer.
* Added support for other (not default one) ALSA cards in 'volume' plugin
via 'CardNumber' setting.
* Added hotkey support into 'volume' plugin to be able to use multimedia
keys for volume changing directly by plugin.
* Fixed missing libkeybinder initialization (keybinding did not work).
* Fixed check for attempt to add a binding for the same hotkey which is
already bound elsewhere.
* Added a configuration dialog to the 'volume' plugin with all the new
settings available to choose and set, including preset of discovered
mixers, with ability to type own command as well.
* Fixed crash on action on task window which was deleted while task menu
is still opened.
* Fixed "dynamic" panel width allocation.
* Fixed PanelIconGrid allocation in rigth-to-left languages, it was wrong
so some icons might be invisible or placed under other plugins.
* Removed call to gtk_widget_set_style() from volume slider to fix colors
of current theme.
* Changed icon size handling on task bar - it may now maintain the same
size as rest of icons. It may affect users who are used to have them
smaller, it's why this feature was made configurable, corresponding
config variable is UseSmallerIcons and default is 1 (old behavior).
* Changed volume slider popup behavior - it now hides when loses focus.
* Fixed invalid memory access in weather plugin.
* Fixed incorrect reporting units on "Feel" value in weather plugin. YQL
always reports Fahrenheit degrees there.
* Added a safeguard on menu cache returning items with empty Exec line.
* Fixed maximizing windows using task bar, GDK functions not always work.
* Fixed wrong bind of preferences dialog to the panel, which resulted in
other dialogs appear on the same workspace where preferences was.
* Expanded launch buttons active area to launchbar borders so if clicked
even into desktop corner, it should activate button at that corner.
* Fixed few memory leaks in 'batt' plugin.
* Removed unwanted conversions with energy for charge in 'batt' plugin
which will mess up tooltip indications, and may make rate/percentage
calculations invalid.
* Replaced Xclimsg() with Xclimsgx() to be screen aware with X11 message.
* Added a workaround for WM like MWM which does not properly resize down
widgets of panel kind. It still leaves artefacts but is better now.
* Added a workaround on GtkBox behavior which does not send allocation
requests to children in some cases, so resizing of launchtaskbar on
panel height change was broken.
* Fixed PanelIconGrid layout on vertical panels with more than 1 column.
* add licenses
* remove kerberos conditional pre-configure rule (fixed in upstream)
Changes:
fetchmail-6.3.26 (released 2013-04-23, 26180 LoC):
# NOTE THAT FETCHMAIL IS NO LONGER PUBLISHED THROUGH IBIBLIO.
* They have stopped accepting submissions and consider themselves an archive.
# CRITICAL BUG FIX for setups using "mimedecode":
* The mimedecode feature failed to ship the last line of the body if it was
encoded as quoted-printable and had a MIME soft line break in the very last
line. Reported by Lars Hecking in June 2011.
Bug introduced on 1998-03-20 when the mimedecode support was added by ESR
before release 4.4.1 through code contributed by Henrik Storner.
Workaround for older releases: do not use mimedecode feature.
Earlier versions of this NEWS file claimed this bug fixed in fetchmail-6.3.23,
but it was not.
Fixes Launchpad Bug#1171818.
fetchmail-6.3.25 (released 2013-03-18, 26149 LoC):
# NOTE THAT FETCHMAIL IS NO LONGER PUBLISHED THROUGH IBIBLIO.
* They have stopped accepting submissions and consider themselves an archive.
# BUG FIXES
* Fix a memory leak in out-of-memory error condition while handling plugins.
Report and patch by John Beck (found with Parfait static code analyzer).
* Fix a NULL pointer dereference in out-of-memory error condition while handling
plugins.
Report and patch by John Beck (found with Parfait static code analyzer).
# CHANGES
* Improved reporting when SSL/TLS X.509 certificate validation has failed,
working around a not-so-recent swapping of two OpenSSL error codes, and
a practical impossibility to distinguish broken certification chains from
missing trust anchors (root certificates).
* OpenSSL decoded errors are now reported through report(), rather than dumped
to stderr, so that they should show up in logfiles and/or syslog.
* The fetchmail manual page no longer claims that MD5 were the default OpenSSL
hash format (for use with --sslfingerprint). Reported by Jakob Wilk,
PARTIAL fix for Debian Bug#700266.
* The fetchmail manual page now refers the user to --softbounce from the
SMTP/ESMTP ERROR HANDLING section. Reported by Anton Shterenlikht.
# WORKAROUNDS
* Older systems that provide the older RFC-2553 implementation of getaddrinfo,
rather than the current RFC-3493, and systems that do not provide this
getaddrinfo() interface at all and thus use the replacement functions from
libesmtp/getaddrinfo.?, might return EAI_NODATA when a host is registered in
DNS as MX or similar, but without A or AAAA records. Handle this situation
when checking for multidrop aliases and treat EAI_NODATA the same as
EAI_NONAME, i. e. name cannot be resolved.
The proper fix, however, is to upgrade the operating system.
# TRANSLATION UPDATES
[cs] Czech, by Petr Pisar
[da] Danish, by Joe Hansen
[de] German
[eo] Esperanto, by Sian Mountbatten and Felipe Castro
[fr] French, by Frédéric Marchal
[ja] Japanese, by Takeshi Hamasaki
[pl] Polish, by Jakub Bogusz
[sv] Swedish, by Göran Uddeborg
[vi] Vietnamese, by Trần Ngọc Quân
