Commit Graph

5 Commits

Author SHA1 Message Date
Guy Chronister
475a0e3a44 various: remove superflous usages of pname 2025-09-25 20:45:06 -05:00
nixpkgs-ci[bot]
a482dd935d Merge staging-next into staging 2025-07-30 18:07:01 +00:00
mivorasu
ee0866bddd treewide: conform descriptions to the standards 2025-07-28 04:39:00 +00:00
Naïm Camille Favier
5a6da0e102 agdaPackages.cubical-mini: nightly-20241214 -> 0.5-unstable-2025-06-13 2025-07-14 12:01:08 +02:00
thelissimus
602677cb48 cubical-mini: init at nightly-20241214 2024-12-19 22:57:34 +05:00