Distributions
This page shows the packages maintained by Michael Tautschnig.
-
binutils-h8300-hms
-
binutils-h8300-hms
-- GNU binary utilities, for h8300-hitachi-coff target
The unreviewed tag is still present.
-
binutils-h8300-hms
-- GNU binary utilities, for h8300-hitachi-coff target
-
bmt
-
bmt
-- software analysis benchmarking toolkit
A role::* tag is still missing.The unreviewed tag is still present.
-
bmt
-- software analysis benchmarking toolkit
-
boolector
-
boolector
-- SMT solver for bit-vectors and arrays
The unreviewed tag is still present.
-
boolector
-- SMT solver for bit-vectors and arrays
-
brickos
-
brickos
-- alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role program.
-
brickos-doc
-- documentation for brickOS an Alternative OS for the RCX
The unreviewed tag is still present.
-
brickos
-- alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++
-
cbmc
-
cbmc
-- bounded model checker for C and C++ programs
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role program.
-
cbmc
-- bounded model checker for C and C++ programs
-
clamav
-
clamav
-- anti-virus utility for Unix - command-line interface
The unreviewed tag is still present.
-
clamav-base
-- anti-virus utility for Unix - base package
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role program.
-
clamav-daemon
-- anti-virus utility for Unix - scanner daemon
The unreviewed tag is still present.
-
clamav-dbg
-- debug symbols for ClamAV
-
clamav-docs
-- anti-virus utility for Unix - documentation
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role program.
-
clamav-freshclam
-- anti-virus utility for Unix - virus database update utility
The unreviewed tag is still present.
-
clamav-milter
-- anti-virus utility for Unix - sendmail integration
The unreviewed tag is still present.
-
clamav-testfiles
-- anti-virus utility for Unix - test files
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role program.
-
clamdscan
-- anti-virus utility for Unix - scanner client
A role::* tag is still missing.The unreviewed tag is still present.
-
libclamav-dev
-- anti-virus utility for Unix - development files
The unreviewed tag is still present.
-
libclamav6
-- anti-virus utility for Unix - library
-
libclamav7
-- anti-virus utility for Unix - library
-
clamav
-- anti-virus utility for Unix - command-line interface
-
cloog
-
cloog-isl
-- Chunky Loop Generator (runtime library)
-
libcloog-isl-dev
-- Chunky Loop Generator (development files)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libcloog-isl3
-- Chunky Loop Generator (runtime library)
-
libcloog-isl4
-- Chunky Loop Generator (runtime library)
-
cloog-isl
-- Chunky Loop Generator (runtime library)
-
cloog-lts
-
cloog-isl-lts
-- Chunky Loop Generator (runtime library)
-
libcloog-isl-dev-lts
-- Chunky Loop Generator (development files)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
cloog-isl-lts
-- Chunky Loop Generator (runtime library)
-
cloog-ppl
-
cloog-ppl
-- Chunky Loop Generator
A role::* tag is still missing.The unreviewed tag is still present.
-
libcloog-ppl-dev
-- Chunky Loop Generator (development files)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libcloog-ppl0
-- Chunky Loop Generator (runtime library)
-
libcloog-ppl1
-- Chunky Loop Generator (runtime library)
-
cloog-ppl
-- Chunky Loop Generator
-
cloog-ppl-gcc4
-
libcloog-pplv4-1
-- Chunky Loop Generator (runtime library)
-
libcloog-pplv4-dev
-- Chunky Loop Generator (development files)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libcloog-pplv4-1
-- Chunky Loop Generator (runtime library)
-
diagnostics
-
libdiagnostics-dev
-- Logging, unittesting, and runtime diagnostics for C++ - development files
The unreviewed tag is still present.
-
libdiagnostics0
-- Logging, unittesting, and runtime diagnostics for C++ - library
-
libdiagnostics-dev
-- Logging, unittesting, and runtime diagnostics for C++ - development files
-
gcc-h8300-hms
-
gcc-h8300-hms
-- GNU C compiler (cross compiler for h8300-hitachi-coff)
The unreviewed tag is still present.
-
gcc-h8300-hms
-- GNU C compiler (cross compiler for h8300-hitachi-coff)
-
kcov
-
kcov
-- Code coverage analysis using DWARF debugging information
The unreviewed tag is still present.
-
kcov
-- Code coverage analysis using DWARF debugging information
-
libclamunrar
-
libclamunrar6
-- anti-virus utility for Unix - unrar support
-
libclamunrar7
-- anti-virus utility for Unix - unrar support
-
libclamunrar6
-- anti-virus utility for Unix - unrar support
-
lnpd
-
lnpd
-- daemon for LNP communication with BrickOS
The unreviewed tag is still present.
-
lnpd
-- daemon for LNP communication with BrickOS
-
minisat2
-
picosat
-
picosat
-- SAT solver with proof and core support
The unreviewed tag is still present.
-
picosat
-- SAT solver with proof and core support
-
ppl
-
libppl-c4
-- Parma Polyhedra Library (C interface)
-
libppl-dev
-- Parma Polyhedra Library (development)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libppl-doc
-- Parma Polyhedra Library: Documentation
The unreviewed tag is still present.
-
libppl-swi
-- Parma Polyhedra Library (SWI Prolog interface)
-
libppl0.11-dev
-- Parma Polyhedra Library (development)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libppl13
-- Parma Polyhedra Library (runtime library)
-
libppl13v5
-- Parma Polyhedra Library (runtime library)
-
libppl14
-- Parma Polyhedra Library (runtime library)
-
libppl9
-- Parma Polyhedra Library (runtime library)
-
libpwl-dev
-- Parma Watchdog Library (Watchdog timers - development)
The unreviewed tag is still present.
-
libpwl5
-- Parma Watchdog Library (Watchdog timers - runtime library)
-
ppl-dev
-- Parma Polyhedra Library (development binaries)
A role::* tag is still missing.The unreviewed tag is still present.
-
libppl-c4
-- Parma Polyhedra Library (C interface)
-
ppl-gcc4
-
libpplv4-13
-- Parma Polyhedra Library (runtime library)
-
libpplv4-c4
-- Parma Polyhedra Library (C interface)
-
libpplv4-dev
-- Parma Polyhedra Library (development)
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libpplv4-13
-- Parma Polyhedra Library (runtime library)
-
sat4j
-
sat4j
-- Efficient library of SAT solvers in Java
The unreviewed tag is still present.
-
sat4j
-- Efficient library of SAT solvers in Java
-
z3
-
libz3-4
-- theorem prover from Microsoft Research - runtime libraries
-
libz3-cil
-- theorem prover from Microsoft Research - CLI bindings
A role::* tag is still missing.The unreviewed tag is still present.
-
libz3-dev
-- theorem prover from Microsoft Research - development files
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
libz3-java
-- theorem prover from Microsoft Research - java bindings
A role::* tag is still missing.The unreviewed tag is still present.
-
libz3-jni
-- theorem prover from Microsoft Research - JNI library
A role::* tag is still missing.The unreviewed tag is still present.
-
libz3-ocaml-dev
-- theorem prover from Microsoft Research - OCaml bindings
The unreviewed tag is still present.An implemented-in::* tag seems to be missing, since the package has role devel-lib.A devel::lang:* tag seems to be missing, since the package has tag role::devel-lib.
-
python-z3
-- theorem prover from Microsoft Research - Python bindings
A role::* tag is still missing.The unreviewed tag is still present.
-
z3
-- theorem prover from Microsoft Research
A role::* tag is still missing.The unreviewed tag is still present.
-
libz3-4
-- theorem prover from Microsoft Research - runtime libraries