mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-22 21:30:45 +02:00
5 commits
Author | SHA1 | Date | |
---|---|---|---|
28f4f15777 | |||
bac26e08db | |||
6a2244e8f4 | |||
6343cf8ae7 | |||
25618c3670 |
Renamed from pkgs/development/libraries/agda/AgdaSheaves/default.nix (Browse further)