We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 14c5238 commit 9edcad0Copy full SHA for 9edcad0
1 file changed
cabal.project
@@ -30,6 +30,12 @@ source-repository-package
30
--sha256: sha256-piuEiELEq/XarQivlsrFwBwiWuMmc+PqIwOSGWR0euI=
31
tag: 922f93addade2bd2e7ba64b25770b8f8ea8f2eb5
32
33
+source-repository-package
34
+ type: git
35
+ location: https://github.com/IntersectMBO/cardano-base.git
36
+ --sha256: sha256-BAFejeplPYZdg1IUu3KyX4llgJsTiDvx7Qy6s4Bo2ms=
37
+ tag: 52b93c60f8394be8bb75018c444b5fa311b29498
38
+
39
-- NOTE: If you would like to update the above,
40
-- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
41
index-state:
0 commit comments