diff options
| author | Naïm Camille Favier <n@monade.li> | 2025-10-02 11:51:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-02 11:51:46 +0200 |
| commit | 209483abf59417e7d897ad0202797376d1a4c460 (patch) | |
| tree | 444adb4e24bbd9fca1f617147555cd81cd7dbba6 /pkgs/development/python-modules/python-ev3dev2/git@git.tavy.me:nixos | |
| parent | 60c867c8e66631f3c4e99ee025859ea69dec1161 (diff) | |
| parent | 87eee1f3084620ed0914be713f2207fbf4e1a58d (diff) | |
agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25 (#447925)
Diffstat (limited to 'pkgs/development/python-modules/python-ev3dev2/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions