Package overview for Michael Tautschnig

• binutils-h8300-hms

  • binutils-h8300-hms -- GNU binary utilities, for h8300-hitachi-coff target
    admin::hardware devel::buildtools devel::machinecode interface::commandline implemented-in::c scope::utility role::program suite::gnu special::unreviewed
    The unreviewed tag is still present.

• bmt

  • bmt -- software analysis benchmarking toolkit
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.

• boolector

  • boolector -- SMT solver for bit-vectors and arrays
    implemented-in::c role::program special::unreviewed
    The unreviewed tag is still present.

• brickos

  • brickos -- alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++
    hardware::embedded role::program use::learning hardware::hobby:lego special::unreviewed
    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
    role::documentation hardware::hobby:lego special::unreviewed
    The unreviewed tag is still present.

• cbmc

  • cbmc -- bounded model checker for C and C++ programs
    role::program special::unreviewed
    The unreviewed tag is still present.

    An implemented-in::* tag seems to be missing, since the package has role program.

• clamav

  • clamav -- anti-virus utility for Unix - command-line interface
    interface::commandline implemented-in::c works-with::file works-with::mail scope::utility role::program security::antivirus use::scanning special::unreviewed
    The unreviewed tag is still present.
  • clamav-base -- anti-virus utility for Unix - base package
    interface::commandline works-with::file works-with::mail role::app-data role::program security::antivirus use::scanning special::unreviewed
    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
    interface::commandline interface::daemon implemented-in::c mail::filters network::server works-with::file works-with::mail role::program security::antivirus uitoolkit::ncurses use::scanning special::unreviewed
    The unreviewed tag is still present.
  • clamav-dbg -- debug symbols for ClamAV
    role::debug-symbols
  • clamav-docs -- anti-virus utility for Unix - documentation
    made-of::html made-of::pdf mail::filters works-with::file works-with::mail role::documentation role::program security::antivirus special::unreviewed
    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
    interface::commandline interface::daemon implemented-in::c works-with::file works-with::mail scope::utility role::program security::antivirus use::downloading special::unreviewed
    The unreviewed tag is still present.
  • clamav-milter -- anti-virus utility for Unix - sendmail integration
    interface::daemon implemented-in::c mail::filters network::server works-with::mail role::program security::antivirus use::scanning special::unreviewed
    The unreviewed tag is still present.
  • clamav-testfiles -- anti-virus utility for Unix - test files
    devel::testing-qa made-of::dictionary interface::commandline role::app-data role::program security::antivirus use::checking special::unreviewed
    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
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • libclamav-dev -- anti-virus utility for Unix - development files
    devel::lang:c devel::library implemented-in::c role::devel-lib role::program security::antivirus use::scanning special::unreviewed
    The unreviewed tag is still present.
  • libclamav6 -- anti-virus utility for Unix - library
    role::shared-lib
  • libclamav7 -- anti-virus utility for Unix - library
    role::shared-lib
  • libclamav9 -- anti-virus utility for Unix - library
    role::shared-lib

• cloog

  • cloog-isl -- Chunky Loop Generator (runtime library)
    role::shared-lib
  • libcloog-isl-dev -- Chunky Loop Generator (development files)
    devel::library role::devel-lib special::unreviewed
    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)
    role::shared-lib

• cloog-lts

  • cloog-isl-lts -- Chunky Loop Generator (runtime library)
    role::shared-lib
  • libcloog-isl-dev-lts -- Chunky Loop Generator (development files)
    devel::library role::devel-lib special::unreviewed
    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-isl4 -- Chunky Loop Generator (runtime library)
    role::shared-lib

• cloog-ppl

  • cloog-ppl -- Chunky Loop Generator
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • libcloog-ppl-dev -- Chunky Loop Generator (development files)
    devel::library role::devel-lib special::unreviewed
    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)
    role::shared-lib

• cloog-ppl-gcc4

  • libcloog-pplv4-1 -- Chunky Loop Generator (runtime library)
    role::shared-lib
  • libcloog-pplv4-dev -- Chunky Loop Generator (development files)
    devel::library role::devel-lib special::unreviewed
    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.

• diagnostics

  • libdiagnostics-dev -- Logging, unittesting, and runtime diagnostics for C++ - development files
    devel::lang:c++ devel::library devel::testing-qa implemented-in::c++ role::devel-lib special::unreviewed
    The unreviewed tag is still present.
  • libdiagnostics0 -- Logging, unittesting, and runtime diagnostics for C++ - library
    role::shared-lib

• gcc-h8300-hms

  • gcc-h8300-hms -- GNU C compiler (cross compiler for h8300-hitachi-coff)
    devel::compiler devel::lang:c devel::lang:c++ devel::library interface::commandline implemented-in::c works-with::software:source scope::utility role::devel-lib role::program special::unreviewed
    The unreviewed tag is still present.

• libclamunrar

  • libclamunrar6 -- anti-virus utility for Unix - unrar support
    role::shared-lib
  • libclamunrar7 -- anti-virus utility for Unix - unrar support
    role::shared-lib
  • libclamunrar9 -- anti-virus utility for Unix - unrar support
    role::shared-lib

• lnpd

  • lnpd -- daemon for LNP communication with BrickOS
    admin::boot game::toys interface::daemon implemented-in::c network::server role::program use::driver use::entertaining hardware::hobby:lego special::unreviewed
    The unreviewed tag is still present.

• minisat2

  • minisat -- Fast and lightweight SAT solver
    field::mathematics implemented-in::c++ implemented-in::java role::program special::unreviewed
    The unreviewed tag is still present.
  • minisat2 -- Transitional package for minisat
    field::mathematics implemented-in::c++ role::program special::unreviewed
    The unreviewed tag is still present.

• picosat

  • picosat -- SAT solver with proof and core support
    field::mathematics implemented-in::c role::program special::unreviewed
    The unreviewed tag is still present.

• ppl

  • libppl-c4 -- Parma Polyhedra Library (C interface)
    role::shared-lib
  • libppl-dev -- Parma Polyhedra Library (development)
    devel::library role::devel-lib special::unreviewed
    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
    devel::doc devel::lang:c++ made-of::html made-of::pdf made-of::postscript role::documentation special::unreviewed
    The unreviewed tag is still present.
  • libppl-swi -- Parma Polyhedra Library (SWI Prolog interface)
    role::shared-lib
  • libppl0.11-dev -- Parma Polyhedra Library (development)
    devel::library role::devel-lib special::unreviewed
    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)
    role::shared-lib
  • libppl13v5 -- Parma Polyhedra Library (runtime library)
    role::shared-lib
  • libppl14 -- Parma Polyhedra Library (runtime library)
    role::shared-lib
  • libppl9 -- Parma Polyhedra Library (runtime library)
    role::shared-lib
  • libpwl-dev -- Parma Watchdog Library (Watchdog timers - development)
    devel::lang:c++ devel::library implemented-in::c++ role::devel-lib special::unreviewed
    The unreviewed tag is still present.
  • libpwl5 -- Parma Watchdog Library (Watchdog timers - runtime library)
    role::shared-lib
  • ppl-dev -- Parma Polyhedra Library (development binaries)
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.

• ppl-gcc4

  • libpplv4-13 -- Parma Polyhedra Library (runtime library)
    role::shared-lib
  • libpplv4-c4 -- Parma Polyhedra Library (C interface)
    role::shared-lib
  • libpplv4-dev -- Parma Polyhedra Library (development)
    devel::library role::devel-lib special::unreviewed
    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.

• sat4j

  • sat4j -- Efficient library of SAT solvers in Java
    field::mathematics implemented-in::java role::program role::shared-lib special::unreviewed
    The unreviewed tag is still present.

• z3

  • libz3-4 -- theorem prover from Microsoft Research - runtime libraries
    role::shared-lib
  • libz3-cil -- theorem prover from Microsoft Research - CLI bindings
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • libz3-dev -- theorem prover from Microsoft Research - development files
    devel::library role::devel-lib special::unreviewed
    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
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • libz3-jni -- theorem prover from Microsoft Research - JNI library
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • libz3-ocaml-dev -- theorem prover from Microsoft Research - OCaml bindings
    devel::library role::devel-lib special::unreviewed
    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
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • python3-z3 -- theorem prover from Microsoft Research - Python 3 bindings
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.
  • z3 -- theorem prover from Microsoft Research
    special::unreviewed
    A role::* tag is still missing.

    The unreviewed tag is still present.