diff options
| author | wrvsrx <wrvsrx@outlook.com> | 2025-10-02 14:45:02 +0800 |
|---|---|---|
| committer | wrvsrx <wrvsrx@outlook.com> | 2025-10-02 14:57:21 +0800 |
| commit | 87eee1f3084620ed0914be713f2207fbf4e1a58d (patch) | |
| tree | 99ab362be0582be40ea607b62a664650ac164ee6 /pkgs/development/python-modules/python-ev3dev2/git@git.tavy.me:nixos | |
| parent | e9f00bd893984bc8ce46c895c3bf7cac95331127 (diff) | |
agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25
Diffstat (limited to 'pkgs/development/python-modules/python-ev3dev2/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions