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.