about summary refs log tree commit diff
path: root/nixpkgs/pkgs/build-support/agda
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'nixpkgs/nixos-unstable-small'Alyssa Ross12 days
* 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 'a323570a264da96a0b0bcc1c9aa017794acdc752'Alyssa Ross2022-01-07
* Merge commit 'b3c692172e5b5241b028a98e1977f9fb12eeaf42'Alyssa Ross2021-09-13
* Merge commit '432fc2d9a67f92e05438dff5fdc2b39d33f77997'Alyssa Ross2021-06-22
* Merge remote-tracking branch 'nixpkgs/nixos-unstable'Alyssa Ross2021-04-12
* nixpkgs: merge nixos-unstableAlyssa Ross2021-02-16
* Merge commit '9480bae337095fd24f61380bce3174fdfe926a00'Alyssa Ross2020-07-13
* Merge commit 'b47873026c7e356a340d0e1de7789d4e8428ac66'Alyssa Ross2020-05-18
* Merge commit 'e4134747f5666bcab8680aff67fa3b63384f9a0f'Alyssa Ross2020-01-11
* Add 'nixpkgs/' from commit 'abf060725d7614bd3b9f96764262dfbc2f9c2199'Alyssa Ross2019-01-07
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-19 12:01:01 +0000