Agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package filename Agda-
Package name Agda
Package version
Package release 17.fc30
Package architecture x86_64
Package type rpm
License MIT and BSD
Maintainer -
Download size 72.70 KB
Installed size 309.01 KB
Agda is a dependently typed functional programming language: it has
inductive families, which are similar to Haskell's GADTs, but they can
be indexed by values and not just types. It also has parameterized
modules, mixfix operators, Unicode characters, and an interactive
Emacs interface (the type checker can assist in the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory,
a foundational system for constructive mathematics developed by
the Swedish logician Per Martin-Löf. It has many similarities with other
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.


Package Version Architecture Repository
Agda - - -


Name Value
Agda-common =
ghc-Agda-devel =


Name Value
Agda =
Agda(x86-64) =
emacs-agda =


Name Value
emacs-agda-el <


Type URL
Binary Package Agda-
Source Package Agda-

Install Howto

Install Agda rpm package:

# dnf --refresh install Agda




2019-02-21 - Jens Petersen <> -
- update to
2019-02-17 - Jens Petersen <> - 2.5.3-16
- refresh to cabal-rpm-0.13
2019-01-31 - Fedora Release Engineering <> - 2.5.3-15
- Rebuilt for
2018-07-19 - Jens Petersen <> - 2.5.3-14
- update to EdisonCore- and geniplate-mirror-0.7.6
- revise .cabal file
2018-07-12 - Fedora Release Engineering <> - 2.5.3-13
- Rebuilt for
2018-02-07 - Fedora Release Engineering <> - 2.5.3-12
- Rebuilt for
2018-01-02 - Jens Petersen <> - 2.5.3-11
- update to 2.5.3
- add uri-encode subpackage
2017-12-26 - Jens Petersen <> - 2.5.2-10
- ieee754 is now a separate package
2017-11-15 - Jens Petersen <> - 2.5.2-9
- gitrev is now packaged in Fedora
2017-11-10 - Jens Petersen <> - 2.5.2-8
- geniplate-mirror-0.7.5
- gitrev-1.3.1 (#1511680)

See Also

Package Description
Agda-common- Agda common files
Agda-stdlib-0.17-1.fc30.x86_64.rpm Agda standard libraries
Agda-stdlib-docs-0.17-1.fc30.noarch.rpm Agda standard libraries documentation
AllegroOGG-1.0.3-22.fc30.i686.rpm Ogg library for use with the Allegro game library
AllegroOGG-1.0.3-22.fc30.x86_64.rpm Ogg library for use with the Allegro game library
AllegroOGG-devel-1.0.3-22.fc30.i686.rpm Developmental libraries and include files for AllegroOgg
AllegroOGG-devel-1.0.3-22.fc30.x86_64.rpm Developmental libraries and include files for AllegroOgg
AntTweakBar-1.16-8.fc28.i686.rpm GUI library for videogame property editing UIs
AntTweakBar-1.16-8.fc28.x86_64.rpm GUI library for videogame property editing UIs
AntTweakBar-devel-1.16-8.fc28.i686.rpm Header files for AntTweakBar
AntTweakBar-devel-1.16-8.fc28.x86_64.rpm Header files for AntTweakBar
ArpON-3.0-11.fc30.x86_64.rpm ARP handler inspection
AtomicParsley-0.9.5-13.fc30.x86_64.rpm Command-line program to read and set MPEG-4 tags compatible with iPod/iTunes
BEDTools-2.27.1-1.fc29.x86_64.rpm A flexible suite of utilities for comparing genomic features
BackupPC-4.3.1-1.fc31.x86_64.rpm High-performance backup system