fix(nix): formatting

SoftVarE-Group · May 21, 2024 · e8f2afd · e8f2afd
1 parent e64388f
commit e8f2afd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 ## Installation
 
-### Prebuilt
+### Pre-built
 
 There are prebuilt binaries available for each commit and release.
 These binaries are bundled with their dependencies.

diff --git a/flake.nix b/flake.nix
@@ -54,8 +54,10 @@
             config = {
               Entrypoint = [ "/bin/d4" ];
               Labels = {
-                "org.opencontainers.image.source" = "https://github.com/SoftVarE-Group/d4v2";
-                "org.opencontainers.image.description" = "A CNF to d-DNNF compiler";
+                "org.opencontainers.image.source" =
+                  "https://github.com/SoftVarE-Group/d4v2";
+                "org.opencontainers.image.description" =
+                  "A CNF to d-DNNF compiler";
                 "org.opencontainers.image.licenses" = "LGPL-2.1-or-later";
               };
             };