libcoq-dpdgraph-ocaml
Coq plugin to extract dependencies between Coq objects (runtime)
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
r-bioc-bitseq
transcript expression inference and analysis for RNA-seq data
The BitSeq package is targeted for transcript expression
analysis and differential expression analysis of RNA-seq data
in two stage process. In the first stage it uses Bayesian
inference methodology to infer expression of individual
transcripts from individual RNA-seq experiments. The second
stage of BitSeq embraces the differential expression analysis
of transcript expression. Providing expression estimates from
replicates of multiple conditions, Log-Normal model of the
estimates is used for inferring the condition mean transcript
expression and ranking the transcripts based on the likelihood
of differential expression.
collada-urdf-tools
ROS collada_urdf tools
This package contains tools to convert between Unified Robot Description
Format (URDF) documents and COLLAborative Design Activity (COLLADA)
documents.
g++-8-multilib-x86-64-linux-gnux32
GNU C++ compiler (multilib support) (cross compiler for x32 architecture)
gcc-8-multilib-x86-64-linux-gnux32
GNU C compiler (multilib support) (cross compiler for x32 architecture)
libgcc1-mipsr6el-cross
GCC support library (mipsr6el)
Shared version of the support library, a library of internal subroutines
that GCC uses to overcome shortcomings of particular machines, or
special needs for some languages.