rime-data-bopomofo

Rime Input Method Engine schema data - Bopomofo (Zhuyin)

RIME is the acronym of Rime Input Method Engine.

libedata-book-1.2-27

Backend library for evolution address books

Evolution is the integrated mail, calendar, task and address book distributed suite from Novell, Inc.

gccgo-11-multilib-mips64el-linux-gnuabi64

GNU Go compiler (multilib support) (cross compiler for mips64el architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

gccgo-11-mipsisa64r6el-linux-gnuabi64

GNU Go compiler

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

mig-x86-64-linux-gnu

GNU Mach Interface Generator for amd64

This is the GNU distribution of the MIG, which is needed to compile the GNU C library, the GNU Hurd and GNU Mach.

libghc-what4-prof

Solver-agnostic symbolic values support for issuing queries; profiling libraries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.