about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'nixpkgs/nixos-unstable-small'Alyssa Ross2024-05-07
* 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-06-16
* Merge commit '18c84ea816348e2a098390101b92d1e39a9dbd45'Alyssa Ross2022-02-19
* Merge commit 'b3c692172e5b5241b028a98e1977f9fb12eeaf42'Alyssa Ross2021-09-13
* Merge commit '8e4fe32876ca15e3d5eb3ecd3ca0b224417f5f17'Alyssa Ross2021-06-10
* nixpkgs: merge nixos-unstableAlyssa Ross2021-02-16
* Merge commit '1a57d96edd156958b12782e8c8b6a374142a7248'Alyssa Ross2021-01-15
* Merge commit '84d74ae9c9cbed73274b8e4e00be14688ffc93fe'Alyssa Ross2021-01-12
* Merge commit 'b47873026c7e356a340d0e1de7789d4e8428ac66'Alyssa Ross2020-05-18