simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-26 03:16:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: fix opam file

Browse source
This commit is contained in:
Simon Cruanes 2020-01-14 23:00:07 -06:00
parent 407a7e83f7
commit c4a4edde3a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
msat-bin.opam
View file

@ -7,7 +7,7 @@ author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [
["dune" "build" "@install" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
depends: [
"ocaml" { >= "4.03" }