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

python3Packages.coqpit: init at 0.0.6.6

Browse Source
This commit is contained in:
Martin Weinelt
2021-05-20 03:44:20 +02:00
parent 259e3fc46f
commit 5c5d56f084
2 changed files with 39 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
@@ -1283,6 +1283,8 @@ in {
connect-box = callPackage ../development/python-modules/connect_box { };
coqpit = callPackage ../development/python-modules/coqpit { };
cerberus = callPackage ../development/python-modules/cerberus { };
cert-chain-resolver = callPackage ../development/python-modules/cert-chain-resolver { };