diff --git a/cabal.project b/cabal.project
index 255da59..3675f5f 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,5 +1,5 @@
 packages:
-  rv_formal.cabal
+  rvFormal.cabal
 
 packages: .
 builddir: build
diff --git a/rv_formal.cabal b/rvFormal.cabal
similarity index 100%
rename from rv_formal.cabal
rename to rvFormal.cabal