diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2020-01-05 15:22:36 -0500 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2020-05-25 20:31:11 -0400 |
commit | 710a48751a4db638626a2f6efd6c0f604e26cb7d (patch) | |
tree | 0af47ce935fc2ec11c79c46d1958aa9216bbcb98 /pkgs/top-level/agda-packages.nix | |
parent | f59b843a3b23121d2a74f76783220fce2bf2c346 (diff) | |
download | nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar.gz nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar.bz2 nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar.lz nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar.xz nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.tar.zst nixlib-710a48751a4db638626a2f6efd6c0f604e26cb7d.zip |
skorch: init at 0.8.0
Diffstat (limited to 'pkgs/top-level/agda-packages.nix')
0 files changed, 0 insertions, 0 deletions