public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #88015 from alexarice/agda-pkg-init

Browse Source 
agda-pkg: init at 0.1.50
This commit is contained in:
Dmitry Kalinkin
2020-05-28 12:32:34 -04:00
committed by GitHub
parent df9ac8b4a0 db1bed3885
commit dba97ff6dd
4 changed files with 71 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/python-packages.nix
+2
View File
@@ -5073,6 +5073,8 @@ in {
polib = callPackage ../development/python-modules/polib {};
ponywhoosh = callPackage ../development/python-modules/ponywhoosh { };
posix_ipc = callPackage ../development/python-modules/posix_ipc { };
portend = callPackage ../development/python-modules/portend { };