Skip to content

Commit

Permalink
Reference to marlowe-agda
Browse files Browse the repository at this point in the history
  • Loading branch information
@yveshauser
yveshauser committed Apr 17, 2024
1 parent 0ce78a4 commit b745b60
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions cabal.project
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,3 +6,9 @@ packages: isabelle
write-ghc-environment-files: never
tests: true
test-show-details: streaming

source-repository-package
type: git
location: https://github.com/input-output-hk/marlowe-agda
tag: 84a66ee8919182d0a442fa6601d877ed9c28708c
--sha256: 0ymd5x7k7cklmxbhrgh3l20spgl1z78v6lq3y2rl6qrnlrv44f1j

0 comments on commit b745b60

Please sign in to comment.