Skip to content

Commit b84b24a

Browse files
Remove 'flags: light-uninstall'
1 parent 53aa68d commit b84b24a

File tree

1 file changed

+0
-1
lines changed
  • packages/ocaml-sat-solvers/ocaml-sat-solvers.0.7.1

1 file changed

+0
-1
lines changed

packages/ocaml-sat-solvers/ocaml-sat-solvers.0.7.1/opam

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,6 @@ depends: [
2424
]
2525
synopsis: "An abstraction layer for integrating SAT Solvers into OCaml"
2626
description: "An abstraction layer for integrating SAT Solvers into OCaml."
27-
flags: light-uninstall
2827
url {
2928
src: "https://github.com/tcsprojects/ocaml-sat-solvers/archive/refs/tags/v0.7.1.tar.gz"
3029
checksum: "md5=7e5ccb4b21397c04c579aecd3c618825"

0 commit comments

Comments
 (0)