Virtuálny balík: libcoq-simple-io-gnog5

Experimentálny balík

Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.

This is a virtual package. See the Debian policy for a definition of virtual packages.

Balíky poskytujúce libcoq-simple-io-gnog5

libcoq-simple-io

Coq plugin for purely functional IO