Agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution Fedora 27
Repository Fedora Updates x86_64
Package name Agda
Package version 2.5.2
Package release 9.fc27
Package architecture x86_64
Package type rpm
Installed size 300.97 KB
Download size 76.04 KB
Official Mirror
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-2.5.2-9.fc27.i686.rpm 2.5.2 i686 Fedora Updates
Agda-2.5.2-7.fc27.1.x86_64.rpm 2.5.2 x86_64 Fedora
Agda-2.5.2-7.fc27.1.i686.rpm 2.5.2 i686 Fedora
Agda - - -


Name Value
ghc-Agda-devel = 2.5.2-9.fc27


Name Value
Agda = 2.5.2-9.fc27
Agda(x86-64) = 2.5.2-9.fc27
emacs-agda = 2.5.2-9.fc27


Name Value
emacs-agda-el <


Type URL
Binary Package Agda-2.5.2-9.fc27.x86_64.rpm
Source Package Agda-2.5.2-9.fc27.src.rpm

Install Howto

Install Agda rpm package:

# dnf install Agda




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)
2017-08-02 - Fedora Release Engineering <> - 2.5.2-7.1
- Rebuilt for
2017-07-26 - Fedora Release Engineering <> - 2.5.2-6.1
- Rebuilt for
2017-03-12 - Jens Petersen <> - 2.5.2-5
- compile .agda files at buildtime
2017-03-10 - Jens Petersen <> - 2.5.2-4
- update to 2.5.2
- subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
2017-02-10 - Fedora Release Engineering <> -
- Rebuilt for
2017-02-09 - Jens Petersen <> -
- build subpackage inside main package
2016-10-06 - Jens Petersen <> -
- update to
- subpackage new dep geniplate-mirror
2016-02-03 - Fedora Release Engineering <> -
- Rebuilt for

See Also

Package Description
BackupPC-4.2.1-3.fc27.x86_64.rpm High-performance backup system
BackupPC-XS-0.57-1.fc27.x86_64.rpm Implementation of various BackupPC functions in a perl-callable module
CGAL-4.11.1-1.fc27.i686.rpm Computational Geometry Algorithms Library
CGAL-4.11.1-1.fc27.x86_64.rpm Computational Geometry Algorithms Library
CGAL-demos-source-4.11.1-1.fc27.x86_64.rpm Examples and demos of CGAL algorithms
CGAL-devel-4.11.1-1.fc27.i686.rpm Development files and tools for CGAL applications
CGAL-devel-4.11.1-1.fc27.x86_64.rpm Development files and tools for CGAL applications
CGSI-gSOAP-1.3.11-1.fc27.i686.rpm GSI plugin for gSOAP
CGSI-gSOAP-1.3.11-1.fc27.x86_64.rpm GSI plugin for gSOAP
CGSI-gSOAP-devel-1.3.11-1.fc27.i686.rpm GSI plugin for gSOAP - development files
CGSI-gSOAP-devel-1.3.11-1.fc27.x86_64.rpm GSI plugin for gSOAP - development files
CImg-devel-2.3.6-1.fc27.i686.rpm Development files for CImg
CImg-devel-2.3.6-1.fc27.x86_64.rpm Development files for CImg
COPASI-4.23.184-9.fc27.x86_64.rpm Biochemical network simulator
COPASI-data-4.23.184-9.fc27.noarch.rpm COPASI data files