Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
agda-stdlib |
Debian |
unstable |
a dependently typed programming language - standard library |
0.3-3 |
agda-stdlib |
Debian |
testing |
a dependently typed programming language - standard library |
0.3-3 |
agda-stdlib-doc |
Debian |
unstable |
a dependently typed programming language - documentation |
0.3-3 |
agda-stdlib-doc |
Debian |
testing |
a dependently typed programming language - documentation |
0.3-3 |
libgoocanvasmm-0.1-4 |
Debian |
testing |
C++ bindings for GooCanvas - shared library |
0.13.0-1 |
libgoocanvasmm-0.1-4 |
Debian |
unstable |
C++ bindings for GooCanvas - shared library |
0.13.0-1 |
libgoocanvasmm-dev |
Debian |
unstable |
C++ bindings for GooCanvas - development files |
0.13.0-1 |
libgoocanvasmm-dev |
Debian |
testing |
C++ bindings for GooCanvas - development files |
0.13.0-1 |
libgoocanvasmm-doc |
Debian |
unstable |
C++ bindings for GooCanvas - documentation and examples |
0.13.0-1 |
libgoocanvasmm-doc |
Debian |
testing |
C++ bindings for GooCanvas - documentation and examples |
0.13.0-1 |