summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda/cubical
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-25various: remove superflous usages of pnameGuy Chronister
2025-08-13agdaPackages.cubical: 0.8 -> 0.9 (#430565)Vladimír Čunát
2025-08-10agdaPackages.cubical: 0.8 -> 0.9Naïm Camille Favier
2025-07-30Merge staging-next into stagingnixpkgs-ci[bot]
2025-07-28treewide: conform descriptions to the standardsmivorasu
2025-07-16agdaPackages: switch to `--build-library`Naïm Camille Favier
2025-05-19agdaPackages.cubical: 0.7 -> 0.8Naïm Favier
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-02-18agdaPackages.cubical: add maintainer phijorPhilipp Joram
2024-02-12agdaPackages.cubical: 0.6 -> 0.7Naïm Favier
2023-10-24agdaPackages.cubical: 0.5 -> 0.6Naïm Favier
2023-07-05agdaPackages.cubical: unstable-2023-02-09 -> 0.5Naïm Favier
2023-02-14agda: 2.6.2.2 -> 2.6.3Ingo Blechschmidt
2023-01-12agdaPackages.cubical: clean upNaïm Favier
2022-12-01agdaPackages.cubical: 0.4prec3e097a -> 0.4Alex Rice
2021-12-13agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097aIngo Blechschmidt
2021-07-24Agda cubical 2.6.2 fix (#131280)Guilherme Silva
2021-07-23agdaPackages.cubical: 0.2 -> 0.3pred5030a9Shea Levy
2020-05-19agdaPackages.cubical: init at 0.2 (#76994)Ryan Orendorff
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 07:59:06 +0000