ghc-Agda Subpackage of Agda

Haskell Agda library

This package provides the Haskell Agda shared library.

Releases Overview

Release	Stable	Testing
Fedora Rawhide	2.6.4.3-51.fc42	-
Fedora 41	2.6.4.3-50.fc41	-
Fedora 40	2.6.4.1-46.fc40	-
Fedora EPEL 9	2.6.2.2-36.el9	-
Fedora EPEL 8	2.5.3-14.el8	-

File a new bug report »

Package Info

Upstream: https://hackage.haskell.org/package/Agda
License(s): MIT AND BSD-3-Clause
Maintainer: petersen

Related Packages

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

Sources on Pagure