[ nabia ]
Virtuelles Paket: libghc-agda-dev-2.6.0.1-e1905
Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.
Pakete, die libghc-agda-dev-2.6.0.1-e1905 bereitstellen
- libghc-agda-dev
- dependently typed functional programming language