2025-09-26 06:03:44 UTC

This commit is contained in:
Repository mirror & CI
2025-09-26 06:03:44 +00:00
parent 769a0b2302
commit 51615256c7
26 changed files with 76 additions and 76 deletions

View File

@@ -1,6 +1,6 @@
BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Visual Studio Code Extension and Language Server Protocol for Coq
EAPI=8
HOMEPAGE=https://github.com/ejgallego/coq-lsp
@@ -8,9 +8,9 @@ INHERIT=dune
IUSE=ocamlopt test
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RDEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/ejgallego/coq-lsp/archive/0.1.9+8.19.tar.gz -> coq-lsp-0.1.9.tar.gz
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 21c2970666b517829dc7b963ca1f4a4a
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 4304f35da0fafecd98eb149d0b7ed4d4
_md5_=9c6b545cb1f5b638267fcceef2cb87c8

View File

@@ -1,6 +1,6 @@
BDEPEND=test? ( >=dev-ml/cmdliner-1.2.0:= ~dev-ml/ocamlformat-rpc-lib-0.26.2:= >=dev-ml/alcotest-1.3.0:= >=dev-util/ocp-indent-1.8.1:= ) dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Auto-formatter for OCaml code
EAPI=8
HOMEPAGE=https://github.com/ocaml-ppx/ocamlformat
@@ -8,9 +8,9 @@ INHERIT=dune
IUSE=ocamlopt test
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RDEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0/0.26.2
SRC_URI=https://github.com/ocaml-ppx/ocamlformat/archive/0.26.2.tar.gz -> ocamlformat-0.26.2.tar.gz
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 21c2970666b517829dc7b963ca1f4a4a
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 4304f35da0fafecd98eb149d0b7ed4d4
_md5_=202d8015ddd1163e89a842e2fba411ce

View File

@@ -1,6 +1,6 @@
BDEPEND=test? ( >=dev-ml/cmdliner-1.2.0:= ~dev-ml/ocamlformat-rpc-lib-0.26.2:= >=dev-ml/alcotest-1.3.0:= >=dev-util/ocp-indent-1.8.1:= ) dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install prepare test
DEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Auto-formatter for OCaml code
EAPI=8
HOMEPAGE=https://github.com/ocaml-ppx/ocamlformat
@@ -8,9 +8,9 @@ INHERIT=dune
IUSE=ocamlopt test
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RDEPEND=>=dev-ml/cmdliner-1.1.0:= ~dev-ml/ocamlformat-lib-0.26.2:= >=dev-ml/re-1.10.3:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0/0.26.2
SRC_URI=https://github.com/ocaml-ppx/ocamlformat/archive/0.26.2.tar.gz -> ocamlformat-0.26.2.tar.gz
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 21c2970666b517829dc7b963ca1f4a4a
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 4304f35da0fafecd98eb149d0b7ed4d4
_md5_=7cb97111e2f08d943efe53a6ce43c00e

View File

@@ -1,6 +1,6 @@
BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND=>=dev-ml/cmdliner-1.0.0:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DEPEND=>=dev-ml/cmdliner-1.0.0:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Indentation tool for OCaml, to be used from editors like Emacs and Vim.
EAPI=8
HOMEPAGE=http://www.typerex.org/ocp-indent.html https://github.com/OCamlPro/ocp-indent
@@ -8,9 +8,9 @@ INHERIT=dune
IUSE=ocamlopt test
KEYWORDS=~amd64
LICENSE=LGPL-2.1-with-linking-exception
RDEPEND=>=dev-ml/cmdliner-1.0.0:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RDEPEND=>=dev-ml/cmdliner-1.0.0:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0/1.8.2
SRC_URI=https://github.com/OCamlPro/ocp-indent/archive/refs/tags/1.8.2.tar.gz -> ocp-indent-1.8.2.tar.gz
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 21c2970666b517829dc7b963ca1f4a4a
_eclasses_=edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 1e32df7deee68372153dca65f4a7c21f dune 4304f35da0fafecd98eb149d0b7ed4d4
_md5_=dd877f69a1e9be11f95035093ff76da8