Package: Agda-stdlib

Upstream info
Summary: Agda standard libraries
Description:
URL: https://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
Owner: petersen
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/Agda-stdlib
Koschei: https://koschei.fedoraproject.org/package/Agda-stdlib
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 2.1.1-1.fc43
f42 base 1.7.3-9.fc42
f41 base 1.7.3-7.fc41
f40 base 1.7.3-5.fc40
f39 base 1.7.2-1.fc39
f38 base 1.7.1-5.fc38
f37 base 1.7.1-3.fc37
f36 testing 1.7.1-1.fc36
  base 1.7.1-1.fc36
f35 base 1.7-1.fc35
f34 base 1.3-5.fc34
f33 testing 1.3-4.fc33
  base 1.3-4.fc33
f32 updates 1.1-3.fc32
  base 1.1-2.fc32
f31 base 1.1-1.fc31
f30 testing 0.17-1.fc30
  base 0.17-1.fc30
f29 testing 0.15-4.fc29
  base 0.15-4.fc29
f28 updates 0.15-4.fc28
  base 0.13-3.fc27
f27 base 0.13-3.fc27
f26 base 0.13-1.fc26
f25 base 0.9-3.fc24
f24 base 0.9-3.fc24
f23 base 0.9-2.fc23
f22 base 0.9-1.fc22
f21 base 0.7-5.fc21
f20 updates 0.7-3.fc20
f19 updates 0.7-3.fc19