agda-pkg: rename GitPython

2022-12-05 22:06:10 +01:00
parent 3d2cdabd1a
commit 9d6b73b217
1 changed files with 4 additions and 2 deletions
@@ -1,4 +1,6 @@
-{ lib, python3Packages }:
+{ lib
+, python3Packages
+}:

 with python3Packages;

@@ -22,7 +24,7 @@ buildPythonApplication rec {

  propagatedBuildInputs = [
    click
-    GitPython
+    gitpython
    pony
    whoosh
    natsort