diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:38:11 +0200 |
| commit | af76b11278204c25428c4f95ef51d4aa8f2a1e0e (patch) | |
| tree | 1fc0d014424481960c0064af87321096141badeb /bin/dune | |
| parent | 870e1cc1ea14fe43ae50e47828ac760e760ad93a (diff) | |
| download | chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.gz chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.tar.bz2 chadprover-af76b11278204c25428c4f95ef51d4aa8f2a1e0e.zip | |
set up dream
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ (executable (public_name power_prover) (name main) - (libraries power_prover)) + (libraries power_prover dream)) |