Skip to content

Commit 097a482

Browse files
carlostomelehins
carlostome
authored and
lehins
committed
Bump again fls
1 parent c4e3ab6 commit 097a482

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

‎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: f88cb0f643f1010b479b62b1fc05ec0a9086d184
19+
tag: da80e1780155482bc949605049ff0653edd4f2d2
2020

2121
-- NOTE: If you would like to update the above,
2222
-- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec

‎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)