DO NOT MERGE - ekg SRP

IntersectMBO · May 25, 2023 · 29fe600 · 29fe600
1 parent 04a427a
commit 29fe600
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cabal.project b/cabal.project
@@ -107,3 +107,8 @@ package snap-server
 -- Do NOT add more source-repository-package stanzas here unless they are strictly
 -- temporary! Please read the section in CONTRIBUTING about updating dependencies.
 
+source-repository-package
+  type: git
+  location: https://github.com/GaloisInc/ekg-forward
+  tag: 9c58cef6b476cbf6b86e656eb2fc8f96301f4df9
+  --sha256: caae341a02e1908454b2f0f5c86a07774550cd3912a0fd2e6f2bb64bfac46fa9