coq-dpdgraph-tools

Coq plugin to extract dependencies between Coq objects (tools)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

libcoq-equations

Coq library to work with functions defined by equations

This library provides a notation to write programs using dependent pattern-matching and well-founded recursion in Coq.

libcoq-serapi-ocaml

interaction with Coq (runtime)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.
3 - O`key  (Nikon S10 by USB PTP)

gtkam-gimp

gtkam gimp plugin to open digital camera pictures

GTKam is a graphical application based on GTK+ that allows you to transfer pictures and movies from a digital camera.

python3-httpcore

minimal low-level HTTP client

The HTTP Core package provides a minimal low-level HTTP client, which does one thing only. Sending HTTP requests.

coinor-libipopt3

Interior-Point Optimizer - shared libraries

Ipopt is an open-source solver for large-scale nonlinear continuous optimization. It can be used from modeling environments, such as AMPL, GAMS, or Matlab, and it is also available as a callable library with interfaces to C++, C, and Fortran. Ipopt uses an interior point method, together with a filter linear search procedure. Ipopt is part of the larger COIN-OR initiative (Computational Infrastructure for Operations Research).