Linux repositories inspector

Agda-stdlib-docs - Agda standard libraries documentation

This package provides the html documentation for the stdlibs generated by the Agda compiler program.
1.1
Fedora iconFedora 31
Fedora iconFedora rawhide
0.17
Fedora iconFedora 30
0.15
Fedora iconFedora 29
0.13
Fedora iconFedora 28
DistributionVersionSincePackageInstalledPackager
Fedora iconFedora 28 releases/Everything-osrpm0.13-3.fc272019-01-141.65 MiB22.3 MiBFedora Project
Fedora iconFedora 29 releases/Everything-osrpm0.15-4.fc292019-01-141.4 MiB15 MiBFedora Project
Fedora iconFedora 29 releases-test/Everything-osrpm0.15-3.fc292019-01-141.4 MiB15 MiBFedora Project
Fedora iconFedora 30 releases/Everything-osrpm0.17-1.fc302019-06-171.72 MiB18.2 MiBFedora Project
Fedora iconFedora 31 releases/Everything-osrpm1.1-1.fc312020-01-071.88 MiB25.4 MiBFedora Project
Fedora iconFedora rawhide development/Everything-osrpm1.1-2.fc322020-02-081.88 MiB25.4 MiBFedora Project

Latest updates

Fedora icon

Fedora rawhide development/Everything-os: Updated from 1.1-1.fc32 to 1.1-2.fc32

2020-02-08
Fedora icon

Fedora 31 releases/Everything-os: Version 1.1-1.fc31 introduced

2020-01-07
  • update to 1.1
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.17-2.fc31 to 1.1-1.fc32

2019-08-20
  • update to 1.1
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.17-1.fc30 to 0.17-2.fc31

2019-07-30
Fedora icon

Fedora 30 releases/Everything-os: Version 0.17-1.fc30 introduced

2019-06-17
  • update to 0.17
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.15-5.fc30 to 0.17-1.fc30

2019-03-13
  • update to 0.17
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.15-4.fc30 to 0.15-5.fc30

2019-02-12
Fedora icon

Fedora rawhide development/Everything-os: Version 0.15-4.fc30 reintroduced

2019-01-16
  • keep README*.agdai
  • require ghc-Agda
Fedora icon

Fedora rawhide development/Everything-os: Version 0.15-4.fc30 removed

2019-01-15
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.13-3.fc27 to 0.15-4.fc30

2019-01-14
  • keep README*.agdai
  • require ghc-Agda
Fedora icon

Fedora 29 releases-test/Everything-os: Version 0.15-3.fc29 introduced

2019-01-14
  • install library files correctly under src/
Fedora icon

Fedora 29 releases/Everything-os: Version 0.15-4.fc29 introduced

2019-01-14
  • keep README*.agdai
  • require ghc-Agda
Fedora icon

Fedora 28 releases/Everything-os: Version 0.13-3.fc27 introduced

2019-01-14
Fedora icon

Fedora 27 releases/Everything-os: Version 0.13-3.fc27 introduced

2017-11-14
Fedora icon

Fedora rawhide development/Everything-os: Version 0.13-3.fc27 introduced

2017-11-10
Fedora icon

Fedora 27 development/Everything-os: Version 0.13-3.fc27 introduced

2017-11-10
Fedora icon

Fedora 27 releases-test/Everything-os: Version 0.13-3.fc27 introduced

2017-11-10
Fedora icon

Fedora 26 releases/Everything-os: Version 0.13-1.fc26 introduced

2017-11-10
  • update to 0.13
  • install standard-library.agda-lib package file

Related packages

agda - A dependently typed functional programming language and proof assistant
agda-stdlib - standard library for Agda
⇧ Top