This package provides the html documentation for the stdlibs generated by the Agda compiler program.
1.1


0.17

0.15

0.13

Distribution | Version | Since | Package | Installed | Packager | |
---|---|---|---|---|---|---|
![]() | rpm | 0.13-3.fc27 | 2019-01-14 | 1.65 MiB | 22.3 MiB | Fedora Project |
![]() | rpm | 0.15-4.fc29 | 2019-01-14 | 1.4 MiB | 15 MiB | Fedora Project |
![]() | rpm | 0.15-3.fc29 | 2019-01-14 | 1.4 MiB | 15 MiB | Fedora Project |
![]() | rpm | 0.17-1.fc30 | 2019-06-17 | 1.72 MiB | 18.2 MiB | Fedora Project |
![]() | rpm | 1.1-1.fc31 | 2020-01-07 | 1.88 MiB | 25.4 MiB | Fedora Project |
![]() | rpm | 1.1-2.fc32 | 2020-02-08 | 1.88 MiB | 25.4 MiB | Fedora Project |
Latest updates

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

Fedora 31 releases/Everything-os: Version 1.1-1.fc31 introduced
2020-01-07
- update to 1.1

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

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

Fedora 30 releases/Everything-os: Version 0.17-1.fc30 introduced
2019-06-17
- update to 0.17

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

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

Fedora rawhide development/Everything-os: Version 0.15-4.fc30 reintroduced
2019-01-16
- keep README*.agdai
- require ghc-Agda

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

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 29 releases-test/Everything-os: Version 0.15-3.fc29 introduced
2019-01-14
- install library files correctly under src/

Fedora 29 releases/Everything-os: Version 0.15-4.fc29 introduced
2019-01-14
- keep README*.agdai
- require ghc-Agda

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

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

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

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

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

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