Fedora Packages

ghc-peano Subpackage of Agda

Haskell peano library

This package provides the Haskell peano library.

Releases Overview

Release Stable Testing
Fedora Rawhide 0.1.0.2-51.fc42 -
Fedora 41 0.1.0.2-50.fc41 -
Fedora 40 0.1.0.2-46.fc40 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at Agda dash maintainers at fedoraproject dot org.



Sources on Pagure