quickchick
randomized testing framework for Coq (tools)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
gkrelluim
GKrellM plugin for uim
A GKrellM plugin for an input method module library uim.
It allows you to monitor and configure uim on GKrellM.
python-pycsw
OGC compliant metadata (Catalogue Service for the Web) server - Python 2
pycsw is an OGC CSW server implementation written in Python. pycsw fully
implements the OpenGIS Catalogue Service Implementation Specification
(Catalogue Service for the Web). Initial development started in 2010
(more formally announced in 2011). The project is certified OGC Compliant,
and is an OGC Reference Implementation. Since 2015, pycsw is an official
OSGeo Project. pycsw allows for the publishing and discovery of geospatial
metadata via numerous APIs (CSW 2/CSW 3, OpenSearch, OAI-PMH, SRU).
Existing repositories of geospatial metadata can also be exposed,
providing a standards-based metadata and catalogue component of spatial
data infrastructures. pycsw is Open Source, released under an MIT license,
and runs on all major platforms (Windows, Linux, Mac OS X).
libnettle7
low level cryptographic library (symmetric and one-way cryptos)
postgresql-9.5-postgis-scripts
transitional dummy package
This is a transitional dummy package. It can safely be removed.
gir1.2-granite-1.0
extension of GTK+ libraries (introspection files)
Granite is an extension of GTK+. Among other things, it provides
complex widgets and convenience functions designed for use in apps
built for elementary OS.