Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Configure deprecation for
Agda
Deprecate package
Superseded by:
(Optional; space-separated list of package names)