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.
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.