Skip to content

Commit c8055d9

Browse files
carlostomecarlostome
committed
Stub: update formal-ledger-specifications
1 parent 83c558c commit c8055d9

2 files changed

Lines changed: 4 additions & 4 deletions

File tree

‎cabal.project‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ source-repository-package
1616
subdir: hs
1717
-- !WARNING!:
1818
-- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
19-
tag: 5ed76f93a6c71ef7450d540d5a3ca836b67e5253
19+
tag: 2d1e9334f751c8ea86d24801da7d5553cfffd442
2020

2121
source-repository-package
2222
type: git

‎flake.lock‎

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)