Agda-2.4.2.5-1.fc25.i686.rpm


Advertisement

Description

Agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name Agda
Package version 2.4.2.5
Package release 1.fc25
Package architecture i686
Package type rpm
Installed size 272.24 KB
Download size 70.71 KB
Official Mirror dl.fedoraproject.org
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.

Alternatives

Package Version Architecture Repository
Agda-2.4.2.5-1.fc25.x86_64.rpm 2.4.2.5 x86_64 Fedora
Agda - - -

Requires

Name Value
ghc-Agda-devel = 2.4.2.5-1.fc25

Provides

Name Value
Agda = 2.4.2.5-1.fc25
Agda(x86-32) = 2.4.2.5-1.fc25
emacs-agda = 2.4.2.5-1.fc25

Obsoletes

Name Value
emacs-agda-el < 2.4.2.2-5

Download

Type URL
Binary Package Agda-2.4.2.5-1.fc25.i686.rpm
Source Package Agda-2.4.2.5-1.fc25.src.rpm

Install Howto

Install the Agda rpm package:

# dnf install Agda

Files

Path
/usr/share/doc/Agda/README.md
/usr/share/emacs/site-lisp/agda/agda-input.el
/usr/share/emacs/site-lisp/agda/agda-input.elc
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.el
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.elc
/usr/share/emacs/site-lisp/agda/agda2-highlight.el
/usr/share/emacs/site-lisp/agda/agda2-highlight.elc
/usr/share/emacs/site-lisp/agda/agda2-mode.el
/usr/share/emacs/site-lisp/agda/agda2-mode.elc
/usr/share/emacs/site-lisp/agda/agda2-queue.el
/usr/share/emacs/site-lisp/agda/agda2-queue.elc
/usr/share/emacs/site-lisp/agda/agda2.el
/usr/share/emacs/site-lisp/agda/agda2.elc
/usr/share/emacs/site-lisp/agda/annotation.el
/usr/share/emacs/site-lisp/agda/annotation.elc
/usr/share/emacs/site-lisp/agda/eri.el
/usr/share/emacs/site-lisp/agda/eri.elc
/usr/share/emacs/site-lisp/site-start.d/agda-mode-init.el

Changelog

2016-10-06 - Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
- update to 2.4.2.5
- subpackage new dep geniplate-mirror
- disable dynlink on aarch64
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-07-22 - Jens Petersen <petersen@redhat.com> - 2.4.2.2-5
- drop emacs subpackages (#1234569)
2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.2.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-04-17 - Jens Petersen <petersen@redhat.com> - 2.4.2.2-3
- move agda from ghc-Agda-devel to ghc-Agda
2015-04-16 - Jens Petersen <petersen@redhat.com> - 2.4.2.2-2
- compile Primitive.agda at install time
2015-04-03 - Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
- update to 2.4.2.2
2015-02-06 - Jens Petersen <petersen@redhat.com> - 2.4.2-1
- update to 2.4.2
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
and QuickCheck 2.7.5+
- cblrpm refresh
2014-08-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-06 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

See Also

Package Description
Agda-stdlib-0.9-3.fc24.i686.rpm Agda standard libraries
Agda-stdlib-docs-0.9-3.fc24.noarch.rpm Agda standard libraries documentation
AllegroOGG-1.0.3-16.fc24.i686.rpm Ogg library for use with the Allegro game library
AllegroOGG-devel-1.0.3-16.fc24.i686.rpm Developmental libraries and include files for AllegroOgg
AntTweakBar-1.16-4.fc24.i686.rpm GUI library for videogame property editing UIs
AntTweakBar-devel-1.16-4.fc24.i686.rpm Header files for AntTweakBar
ArpON-3.0-2.fc25.i686.rpm ARP handler inspection
AtomicParsley-0.9.5-7.fc24.i686.rpm Command-line program to read and set MPEG-4 tags compatible with iPod/iTunes
BEDTools-2.26.0-2.fc25.i686.rpm A flexible suite of utilities for comparing genomic features
BackupPC-3.3.1-6.fc25.i686.rpm High-performance backup system
BareBonesBrowserLaunch-3.1-12.fc24.noarch.rpm Simple library to launch a browser window from Java
BareBonesBrowserLaunch-javadoc-3.1-12.fc24.noarch.rpm Javadoc for BareBonesBrowserLaunch
BibTool-2.65-1.fc25.i686.rpm A Tool for manipulating BibTeX data bases
BitchX-1.2.1-9.fc24.i686.rpm IrcII chat client
BlockOutII-2.5-6.fc24.i686.rpm A free adaptation of the original BlockOut DOS game
Advertisement
Advertisement