» Ubuntu » Paket » questing (25.10) » doc » libghc-agda-doc
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Källkod: agda  ]

Paket: libghc-agda-doc (2.6.4.3-1) [universe]

Länkar för libghc-agda-doc

Screenshot

Ubunturesurser:

Hämta källkodspaketet agda:

Ansvarig:

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

Original Maintainer (usually from Debian):

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

Externa resurser:

  • Hemsida [wiki.portal.chalmers.se]

Liknande paket:

dependently typed functional programming language; documentation

Andra paket besläktade med libghc-agda-doc

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-agda-doc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 6.533,8 kbyte181.241,0 kbyte [filförteckning]