REPOSCOPE
Linux repositories inspector

Agda-stdlib-docs - Agda standard libraries documentation

Overview
Dependencies
This package provides the html documentation for the stdlibs generated by the Agda compiler program.
Homepagehttp://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
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