repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Information for agda-stdlib

Versions

  • 2.3

Package names

  • Agda-stdlib

Repositories

Categories

  • Unspecified

Licenses

  • MIT

Summaries

  • Agda standard libraries

All package recipes

Build logs