about summary refs log tree commit diff
path: root/nixpkgs/doc/languages-frameworks/agda.section.md
Commit message (Expand)AuthorAge
* Merge commit 'd8fe5e6c'Alyssa Ross2024-04-10
* 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 '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 '1a57d96edd156958b12782e8c8b6a374142a7248'Alyssa Ross2021-01-15
* Merge commit '9480bae337095fd24f61380bce3174fdfe926a00'Alyssa Ross2020-07-13
* Merge commit '467ce5a9f45aaf96110b41eb863a56866e1c2c3c'Alyssa Ross2020-06-04
* Merge commit 'b47873026c7e356a340d0e1de7789d4e8428ac66'Alyssa Ross2020-05-18