| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| aribas |
Debian |
testing |
interpreter for arithmetic |
1.64-3 |
| aribas |
Debian |
stable |
interpreter for arithmetic |
1.63-2 |
| aribas |
Debian |
unstable |
interpreter for arithmetic |
1.64-3 |
| checkbot |
Debian |
testing |
WWW link verifier |
1.80-2 |
| checkbot |
Debian |
stable |
WWW link verifier |
1.79-2 |
| checkbot |
Debian |
unstable |
WWW link verifier |
1.80-2 |
| checkbot |
Debian |
experimental |
WWW link verifier |
1.79-1 |
| edos-debcheck |
Debian |
testing |
Check package dependencies (transitional package) |
1.0-9 |
| edos-debcheck |
Debian |
stable |
Checks whether dependencies of debian packages can be satisfied |
1.0-6+b2 |
| edos-debcheck |
Debian |
unstable |
Check package dependencies (transitional package) |
1.0-9 |
| edos-debcheck |
Debian |
experimental |
Checks whether dependencies of debian packages can be satisfied |
1.0-4 |
| edos-rpmcheck |
Debian |
testing |
Check package dependencies (transitional package) |
1.0-9 |
| edos-rpmcheck |
Debian |
stable |
Checks whether dependencies of RPM packages can be satisfied |
1.0-6+b2 |
| edos-rpmcheck |
Debian |
unstable |
Check package dependencies (transitional package) |
1.0-9 |
| edos-rpmcheck |
Debian |
experimental |
Checks whether dependencies of RPM packages can be satisfied |
1.0-4 |
| garmin-forerunner-tools |
Debian |
unstable |
retrieve data from Garmin Forerunner/Edge GPS devices |
0.10-2 |
| garmin-forerunner-tools |
Debian |
testing |
retrieve data from Garmin Forerunner/Edge GPS devices |
0.10-2 |
| garmin-forerunner-tools |
Debian |
stable |
retrieve data from Garmin Forerunner GPS devices |
0.07-2 |
| lbt |
Debian |
testing |
converts from LTL formulas to Büchi automata |
1.2.2-4 |
| lbt |
Debian |
stable |
converts from LTL formulas to Büchi automata |
1.2.2-3 |
| lbt |
Debian |
unstable |
converts from LTL formulas to Büchi automata |
1.2.2-4 |
| maria |
Debian |
testing |
reachability analyzer for Algebraic System Nets |
1.3.5-2 |
| maria |
Debian |
stable |
reachability analyzer for Algebraic System Nets |
1.3.5-1 |
| maria |
Debian |
unstable |
reachability analyzer for Algebraic System Nets |
1.3.5-2 |
| maria-doc |
Debian |
testing |
documentation of Maria |
1.3.5-2 |
| maria-doc |
Debian |
stable |
documentation of Maria |
1.3.5-1 |
| maria-doc |
Debian |
unstable |
documentation of Maria |
1.3.5-2 |
| mathpartir |
Debian |
testing |
LaTeX macros for typesetting inference rules |
1.2.0-3 |
| mathpartir |
Debian |
stable |
LaTeX macros for typesetting inference rules |
1.2.0-2 |
| mathpartir |
Debian |
unstable |
LaTeX macros for typesetting inference rules |
1.2.0-3 |
| mathpartir |
Debian |
experimental |
LaTeX macros for typesetting inference rules |
1.2-1 |
| mona |
Debian |
testing |
a theorem prover based on automata |
1.4-13-1 |
| mona |
Debian |
stable |
a theorem prover based on automata |
1.4-10-1 |
| mona |
Debian |
unstable |
a theorem prover based on automata |
1.4-13-1 |
| xdemineur |
Debian |
testing |
Yet another minesweeper for X |
2.1.1-16 |
| xdemineur |
Debian |
stable |
Yet another minesweeper for X |
2.1.1-14 |
| xdemineur |
Debian |
unstable |
Yet another minesweeper for X |
2.1.1-16 |
| yap |
Debian |
testing |
The YAP Prolog System |
5.1.3-4 |
| yap |
Debian |
unstable |
The YAP Prolog System |
5.1.3-4 |
| yap |
Debian |
stable |
The YAP Prolog System |
5.1.1-3 |
