| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| binutils-h8300-hms |
Debian |
testing |
The GNU binary utilities, for h8300-hitachi-coff target |
2.16.1-8 |
| binutils-h8300-hms |
Debian |
stable |
The GNU binary utilities, for h8300-hitachi-coff target |
2.16.1-7 |
| binutils-h8300-hms |
Debian |
unstable |
The GNU binary utilities, for h8300-hitachi-coff target |
2.16.1-8 |
| brickos |
Debian |
unstable |
alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++ |
0.9.0.dfsg-6 |
| brickos |
Debian |
testing |
alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++ |
0.9.0.dfsg-6 |
| brickos |
Debian |
stable |
alternative OS for LEGO(r) Mindstorms RCX. Supports devel. in C/C++ |
0.9.0.dfsg-6 |
| brickos-doc |
Debian |
unstable |
documentation for brickOS an Alternative OS for the RCX |
0.9.0.dfsg-6 |
| brickos-doc |
Debian |
testing |
documentation for brickOS an Alternative OS for the RCX |
0.9.0.dfsg-6 |
| brickos-doc |
Debian |
stable |
documentation for brickOS an Alternative OS for the RCX |
0.9.0.dfsg-6 |
| gcc-h8300-hms |
Debian |
unstable |
The GNU C compiler (cross compiler for h8300-hitachi-coff) |
1:3.4.6-5 |
| gcc-h8300-hms |
Debian |
testing |
The GNU C compiler (cross compiler for h8300-hitachi-coff) |
1:3.4.6-5 |
| gcc-h8300-hms |
Debian |
stable |
The GNU C compiler (cross compiler for h8300-hitachi-coff) |
1:3.4.6-5 |
| libdiagnostics-dev |
Debian |
unstable |
Logging, unittesting, and runtime diagnostics for C++ - development files |
0.3-3 |
| libdiagnostics-dev |
Debian |
testing |
Logging, unittesting, and runtime diagnostics for C++ - development files |
0.2.8-1 |
| libdiagnostics-dev |
Debian |
stable |
A framework for logging, unittesting, and runtime diagnostics |
0.2.4-2 |
| libdiagnostics0 |
Debian |
unstable |
Logging, unittesting, and runtime diagnostics for C++ - library |
0.3-3 |
| libdiagnostics0 |
Debian |
testing |
Logging, unittesting, and runtime diagnostics for C++ - library |
0.2.8-1 |
| libdiagnostics0 |
Debian |
stable |
A framework for logging, unittesting, and runtime diagnostics |
0.2.4-2 |
| libppl-c0 |
Debian |
testing |
Parma Polyhedra Library: C interface |
0.9-5 |
| libppl-c0 |
Debian |
stable |
Parma Polyhedra Library: C interface |
0.9-5 |
| libppl-dev |
Debian |
testing |
Parma Polyhedra Library: C++ interface |
0.9-5 |
| libppl-dev |
Debian |
stable |
Parma Polyhedra Library: C++ interface |
0.9-5 |
| libppl-doc |
Debian |
stable |
Parma Polyhedra Library: Documentation |
0.9-5 |
| libppl6 |
Debian |
unstable |
Parma Polyhedra Library: base package |
0.9-5 |
| libppl6 |
Debian |
testing |
Parma Polyhedra Library: base package |
0.9-5 |
| libppl6 |
Debian |
stable |
Parma Polyhedra Library: base package |
0.9-5 |
| libpwl3 |
Debian |
unstable |
Parma Watchdog Library: C++ library for watchdog timers |
0.9-5 |
| libpwl3 |
Debian |
testing |
Parma Watchdog Library: C++ library for watchdog timers |
0.9-5 |
| libpwl3 |
Debian |
stable |
Parma Watchdog Library: C++ library for watchdog timers |
0.9-5 |
| lnpd |
Debian |
testing |
daemon for LNP communication with BrickOS |
0.9.0-7 |
| lnpd |
Debian |
stable |
daemon for LNP communication with BrickOS |
0.9.0-6 |
| lnpd |
Debian |
unstable |
daemon for LNP communication with BrickOS |
0.9.0-7 |
| minisat2 |
Debian |
testing |
Fast and lightweight SAT solver |
070721-8 |
| minisat2 |
Debian |
unstable |
Fast and lightweight SAT solver |
070721-8 |
| minisat2 |
Debian |
stable |
Fast and lightweight SAT solver |
070721-5 |
| picosat |
Debian |
unstable |
SAT solver with proof and core support |
913-4 |
| picosat |
Debian |
testing |
SAT solver with proof and core support |
913-4 |
| picosat |
Debian |
stable |
SAT solver with proof and core support |
632-1 |
| sat4j |
Debian |
unstable |
Efficient library of SAT solvers in Java |
2.1.1-3 |
| sat4j |
Debian |
testing |
Efficient library of SAT solvers in Java |
2.1.1-3 |
