about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/libraries/agda/iowa-stdlib
Commit message (Expand)AuthorAge
* nixpkgs: merge nixos-unstableAlyssa Ross2021-02-16
* Merge commit '891f607d5301d6730cb1f9dcf3618bcb1ab7f10e'Alyssa Ross2021-01-26
* Merge commit 'b47873026c7e356a340d0e1de7789d4e8428ac66'Alyssa Ross2020-05-18
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-16 10:32:57 +0000