This is a staging site. Uploads will not persist. Testing only.

libcoq-mathcomp-solvable

Mathematical Components library for Coq (finite groups II)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libcoq-mathcomp-character

Mathematical Components library for Coq (character)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libkpim6mimetreeparser6

KDE PIM Mime Tree parser library

This library implements a parser for the mime tree used by KMail.

libkpim6messageviewer6

KDE PIM messaging library, message viewer library

This package contains the message viewer library which implements feature-rich and highly configurable widget for viewing e-mail messages.