(see HOMEPAGE for complete ChangeLog)
Remove wilfried@ from maintainer per his request.
ok jasper@ landry@ wilfried@ (former maintainer) - on a former diff
(see HOMEPAGE for complete ChangeLog)
Remove wilfried@ from maintainer per his request.
This and all upcoming *mm updates have been tested by jasper@ in a bulk,
thanks!
ok jasper@ landry@ wilfried@ (former maintainer)
This plugin allows for quick access to removable devices & mounted
partitions, giving a free space estimate, and allows to
mount/umount/eject devices. Lots of tweaks to replace getmntent() by
getmntinfo() calls.
This plugin is an alternative launcher, permitting to have several rows
of mini-launchers in the panel.
Prodded by an initial port made by ian@, finished by myself.
OpenOCD is a Free and Open On-Chip Debugging, In-System Programming
and Boundary-Scan Testing.
from Sylvestre Gallon <ccna.syl@gmail.com>
help and ok bernd@
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT.
Some key features of MiniSat:
* Easy to modify. MiniSat is small and well-documented, and possibly
also well-designed, making it an ideal starting point for adapting SAT
based techniques to domain specific problems.
* Highly efficient. Winning all the industrial categories of the SAT
2005 competition, MiniSat is a good starting point both for future
research in SAT, and for applications using SAT.
* Designed for integration. MiniSat supports incremental SAT and has
mechanisms for adding non-clausal constraints. By virtue of being easy
to modify, it is a good choice for integrating as a backend to another
tool, such as a model checker or a more generic constraint solver.
* add vala vapi file
* numerous updates to Gtk support
* add new ca_context_playing() call
* several bugfixes
Makes use of newer sound-theme-freedesktop.
This class allows you to:
* check if an address is an IPv6 address
* compress/uncompress IPv6 addresses
* check for an IPv4 compatible ending in an IPv6 address
* check the assigned address space of an IPv6 address
* do netmask calculations
A resolver library used to communicate with a name server to perform
DNS queries, zone transfers, dynamic DNS updates, etc.
Creates an object hierarchy from a DNS server response, which allows
you to view all of the information given by the DNS server. It
bypasses the system resolver library and communicates directly with
the server.
Provides a simple, quick means of serializing perl memory structures
(including object data!) into a format that PHP can deserialize()
and access, and vice versa.
This port comes in 2 packages now: -main and -python. That is to keep
the -main dependencies lighter.
Successfully tested by jasper@ and myself.
ok jasper@
