Agda-2.5.4.2-17.fc30.i686.rpm


Advertisement

Description

Agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution Fedora 30
Repository Fedora Updates Testing i386
Package filename Agda-2.5.4.2-17.fc30.i686.rpm
Package name Agda
Package version 2.5.4.2
Package release 17.fc30
Package architecture i686
Package type rpm
Homepage https://hackage.haskell.org/package/Agda
License MIT and BSD
Maintainer -
Download size 72.74 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.

Alternatives

Package Version Architecture Repository
Agda-2.5.4.2-17.fc30.i686.rpm 2.5.4.2 i686 Fedora
Agda-2.5.4.2-17.fc30.x86_64.rpm 2.5.4.2 x86_64 Fedora
Agda-2.5.4.2-17.fc30.x86_64.rpm 2.5.4.2 x86_64 Fedora Updates Testing
Agda - - -

Requires

Name Value
Agda-common = 2.5.4.2-17.fc30
ghc-Agda-devel = 2.5.4.2-17.fc30

Provides

Name Value
Agda = 2.5.4.2-17.fc30
Agda(x86-32) = 2.5.4.2-17.fc30
emacs-agda = 2.5.4.2-17.fc30

Obsoletes

Name Value
emacs-agda-el < 2.4.2.2-5

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package Agda-2.5.4.2-17.fc30.i686.rpm
Source Package Agda-2.5.4.2-17.fc30.src.rpm

Install Howto

Install Agda rpm package:

# dnf --enablerepo=updates-testing install Agda

Files

Path
/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-pkg.el
/usr/share/emacs/site-lisp/agda/agda2-mode-pkg.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

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

See Also

Package Description
Agda-common-2.5.4.2-17.fc30.noarch.rpm Agda common files
Agda-stdlib-0.17-1.fc30.i686.rpm Agda standard libraries
Agda-stdlib-docs-0.17-1.fc30.noarch.rpm Agda standard libraries documentation
BackupPC-4.3.1-3.fc30.i686.rpm High-performance backup system
BackupPC-XS-0.59-1.fc30.i686.rpm Implementation of various BackupPC functions in a perl-callable module
GoldenCheetah-3.5-0.13.rc1gitd01fdf5.fc30.i686.rpm Cycling Performance Software
GoldenCheetah-data-3.5-0.13.rc1gitd01fdf5.fc30.noarch.rpm Icons and translation files for GoldenCheetah
GoldenCheetah-doc-3.5-0.13.rc1gitd01fdf5.fc30.noarch.rpm Documentation files for GoldenCheetah
MUSIC-common-1.1.15-3.20190717gita78a8e2.fc30.noarch.rpm Architecture independent test and example files for MUSIC
MUSIC-mpich-1.1.15-3.20190717gita78a8e2.fc30.i686.rpm MUSIC built with mpich
MUSIC-mpich-devel-1.1.15-3.20190717gita78a8e2.fc30.i686.rpm MUSIC built with mpich
MUSIC-openmpi-1.1.15-3.20190717gita78a8e2.fc30.i686.rpm MUSIC built with openmpi
MUSIC-openmpi-devel-1.1.15-3.20190717gita78a8e2.fc30.i686.rpm MUSIC built with openmpi
NetworkManager-fortisslvpn-1.2.10-1.fc30.i686.rpm NetworkManager VPN plugin for Fortinet compatible SSLVPN
NetworkManager-fortisslvpn-gnome-1.2.10-1.fc30.i686.rpm NetworkManager VPN plugin for SSLVPN - GNOME files
Advertisement
Advertisement