| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-09-25 | various: remove superflous usages of pname | Guy Chronister |
| 2025-07-30 | Merge staging-next into staging | nixpkgs-ci[bot] |
| 2025-07-28 | treewide: conform descriptions to the standards | mivorasu |
| 2025-07-14 | agdaPackages.cubical-mini: nightly-20241214 -> 0.5-unstable-2025-06-13 | Naïm Camille Favier |
| 2024-12-19 | cubical-mini: init at nightly-20241214 | thelissimus |
