noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  noble  ] [  plucky  ] [  questing  ] [  resolute  ]

[ Paquet source : agda  ]

Liens pour agda

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source agda :

• [agda_2.8.0.orig.tar.gz]
• [agda_2.8.0-2build1.debian.tar.xz]
• [agda_2.8.0-2build1.dsc]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

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

Original Maintainer (usually from Debian):

• Debian Haskell Group (Archive du courrier électronique)

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

Ressources externes :

• Page d'accueil [wiki.portal.chalmers.se]

Paquets similaires :

• libghc-agda-doc
• elpa-agda2-mode
• elixir
• faust
• libfsharp-core4.3-cil
• libfsharp-data-typeproviders4.4-cil
• fsharp
• libfaust2
• libfaust-static
• libfaust2t64
• faust-common

Autres paquets associés à agda

dépendances

recommandations

suggestions

enhances

• dep: agda-bin

  commandline interface to Agda

• dep: agda-stdlib

  standard library for Agda

• dep: agda-stdlib-doc

  standard library for Agda — documentation

• dep: elpa-agda2-mode

  dependently typed functional programming language — emacs mode

• dep: libghc-agda-dev

  dependently typed functional programming language

Télécharger agda

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	2,8 ko	11,0 ko	[liste des fichiers]