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.