» Ubuntu » Paquets » precise (12.04LTS) » haskell » libghc-agda-dev
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Paquet source : agda  ]

Paquet : libghc-agda-dev (2.3.0.1-1build2) [universe]

Liens pour libghc-agda-dev

Screenshot

Ressources Ubuntu :

Télécharger le paquet source agda :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

dependently typed functional programming language - development libraries

Autres paquets associés à libghc-agda-dev

  • dépendances
  • recommandations
  • suggestions
  • sug: libghc-agda-doc
    dependently typed functional programming language - documentation

Télécharger libghc-agda-dev

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 12 728,7 ko78 791,0 ko [liste des fichiers]
i386 12 100,3 ko51 860,0 ko [liste des fichiers]