about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/libraries/agda/1lab
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'nixpkgs/nixos-unstable-small'Alyssa Ross9 days
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgsAlyssa Ross2024-03-24
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgsAlyssa Ross2024-02-13
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgsAlyssa Ross2024-01-06
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgs into ...Alyssa Ross2023-11-16
* Merge branch 'nixos-unstable' of https://github.com/NixOS/nixpkgsAlyssa Ross2023-08-26