» Ubuntu » Pakiety » plucky (25.04) » virtual » haskell-agda-doc
jammy  ] [  noble  ] [  oracular  ] [  plucky  ] [  questing  ]

Pakiet wirtualny: haskell-agda-doc

Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.

Pakiety udostępniające haskell-agda-doc

libghc-agda-doc
dependently typed functional programming language; documentation