gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

agdaPackages.generic: drop

Browse Source 
Has been marked broken for at least a full release cycle.

Dropping per RFC 180.
This commit is contained in:
Michael Daniels
2025-10-11 11:48:55 -04:00
parent 4dbdfa67e0
commit c0a6529c4c
3 changed files with 5 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/languages-frameworks/agda.section.md
View File

@@ -254,7 +254,7 @@ In a pull request updating e.g. the standard library, you should write the follo
```
This will build all reverse dependencies of the standard library,
for example `agdaPackages.agda-categories`, or `agdaPackages.generic`.
for example `agdaPackages.agda-categories`.
In some cases it is useful to build _all_ Agda packages.
This can be done with the following Github comment: