You are here:

Package: Agda

Upstream info
Summary: A dependently typed functional programming language and proof assistant
Description:
URL: https://hackage.haskell.org/package/Agda
Owner: petersen (petersen)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/Agda
Koschei: https://koschei.fedoraproject.org/package/Agda
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 2.6.4.1-47.fc41
EL-9 epel-stable 2.6.2.2-36.el9
EL-8 epel-stable 2.5.3-14.el8
EL-7 epel-stable 2.3.2.2-5.el7
f40 base 2.6.4.1-46.fc40
f39 base 2.6.3-40.fc39
f38 base 2.6.2.2-38.fc38
f37 base 2.6.2.2-37.fc37
f36 testing 2.6.2.1-35.fc36
  base 2.6.2.1-35.fc36
f35 base 2.6.2-32.fc35
f34 base 2.6.1-30.fc34
f33 testing 2.6.1-28.fc33
  base 2.6.1-28.fc33
f32 updates 2.6.0.1-24.fc32
  base 2.6.0.1-21.fc32
f31 base 2.6.0.1-19.fc31
f30 testing 2.5.4.2-17.fc30
  base 2.5.4.2-17.fc30
f29 base 2.5.3-14.fc29
f28 base 2.5.3-12.fc28
f27 updates 2.5.2-9.fc27
  base 2.5.2-7.fc27.1
f26 base 2.5.2-5.fc26.1
f25 base 2.4.2.5-1.fc25
f24 base 2.4.2.2-6.fc24
f23 base 2.4.2.2-5.fc23
f22 base 2.4.2.2-3.fc22
f21 base 2.3.2.2-5.fc21
f20 updates 2.3.2.2-2.fc20
  base 2.3.2.1-5.fc20
f19 updates 2.3.2.1-5.fc19
  base 2.3.0.1-6.fc19
f18 updates 2.3.0.1-4.fc18
  base 2.3.0.1-2.fc18
f17 updates 2.3.0.1-1.fc17
f16 updates 2.3.0.1-1.fc16