summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda/1lab
AgeCommit message (Expand)Author
2026-01-30agdaPackages._1lab: add updateScript and make version follow conventionjopejoe1
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-25various: remove superflous usages of pnameGuy Chronister
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-07-14agdaPackages._1lab: unstable-2024-08-05 -> unstable-2025-07-01Naïm Camille Favier
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-08-20agdaPackages._1lab: unstable-2024-03-07 -> unstable-2024-08-05Naïm Favier
2024-03-21Merge branch master into haskell-updatessternenseemann
2024-03-21treewide: remove licenses.agpl3Jussi Kuokkanen
2024-03-19agdaPackages._1lab: 2023-12-04 -> 2024-03-07Naïm Favier
2024-01-06agdaPackages._1lab: disable debug printingNaïm Favier
2023-12-07agdaPackages._1lab: unstable-2023-10-11 -> unstable-2023-12-04Naïm Favier
2023-10-24agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11Naïm Favier
2023-08-06agdaPackages._1lab: init at unstable-2023-03-07Naïm Favier
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 07:48:57 +0000