10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
clang-analyzer-debug 258811-3 0 0.00 A source code analysis framework Ice_Phoenix
clang-debug 258811-3 0 0.00 C language family frontend for LLVM Ice_Phoenix
clang-tools-extra-debug 258811-3 0 0.00 Extra tools built using Clang's tooling APIs Ice_Phoenix
llvm-debug 258811-3 0 0.00 Low Level Virtual Machine Ice_Phoenix
llvm-libs-debug 258811-3 0 0.00 Low Level Virtual Machine (runtime library) Ice_Phoenix
z3-stable-git 4.4.1.g0f93853-1 0 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
mathsat-5 5.2.10-3 1 0.00 MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities Ice_Phoenix
neotoma-git 20110529-1 1 0.00 Erlang library and packrat parser-generator for parsing expression grammars Ice_Phoenix
z3-unstable-git 20150413-1 1 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
ibrowse-git 20101026-1 2 0.00 Erlang HTTP client Ice_Phoenix

10 packages found. Page 1 of 1.