libgrantlee-core0
Grantlee templating library for Qt - Core
man2html
browse man pages in your web browser
Point your web browser at http://localhost/cgi-bin/man/man2html to read and
search your man pages in the browser.
libgnuradio-comedi3.7.10
gnuradio comedi instrument control functions
libgnuradio-noaa3.7.10
gnuradio noaa satellite signals functions
libgnuradio-audio3.7.10
gnuradio audio functions
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.