pan-imaging

imaging software

This metapackage will install all X-ray photons-and-neutrons PAN imaging software

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.

libavformat59

FFmpeg library with (de)muxers for multimedia containers - runtime files

FFmpeg is the leading multimedia framework, able to decode, encode, transcode, mux, demux, stream, filter and play pretty much anything that humans and machines have created. It supports the most obscure ancient formats up to the cutting edge.

libgo23-mips64-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.

libgo23-mips-cross

Runtime library for GNU Go applications

Library needed for GNU Go applications linked against the shared library.