2024-07-25 10:19:26 UTC

This commit is contained in:
Repository mirror & CI
2024-07-25 10:19:26 +00:00
parent a4f240cb4a
commit 4894bcfdc5
85 changed files with 368 additions and 267 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.0:= <sci-mathematics/coq-8.20.0:= 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-4:=[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.0:= <sci-mathematics/coq-8.20.0:= 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-4:=[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 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe dune 339df00cc31668d437589817d093748d
_md5_=ea9bac2087fe870dd5ed057a4fed60f0
_md5_=9c6b545cb1f5b638267fcceef2cb87c8

View File

@@ -11,4 +11,4 @@ PROPERTIES=live
RDEPEND=app-arch/bzip2 dev-libs/openssl sys-libs/zlib lzfse? ( dev-libs/lzfse )
SLOT=0
_eclasses_=git-r3 875eb471682d3e1f18da124be97dcc81 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0
_md5_=8da4bcaf8bcbebdd038c199b5fce6b89
_md5_=d45ae6fcc5fc15394b72e11134cce6ab

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@@ -0,0 +1,16 @@
BDEPEND=qt6? ( dev-qt/qttools:6[linguist] ) !qt6? ( dev-qt/linguist-tools:5 ) app-alternatives/ninja >=dev-build/cmake-3.20.5
DEFINED_PHASES=compile configure install postinst postrm preinst prepare test
DEPEND=app-arch/libarchive:= app-arch/xz-utils net-misc/curl sys-apps/util-linux sys-libs/zlib gnutls? ( net-libs/gnutls:= ) !gnutls? ( dev-libs/openssl:= ) qt6? ( dev-qt/qtbase:6[concurrent,dbus,gui,network,widgets] dev-qt/qtdeclarative:6[svg] ) !qt6? ( dev-qt/qtconcurrent:5 dev-qt/qtcore:5 dev-qt/qtdbus:5 dev-qt/qtdeclarative:5 dev-qt/qtgui:5 dev-qt/qtnetwork:5 dev-qt/qtquickcontrols2:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 )
DESCRIPTION=Raspberry Pi Imaging Utility
EAPI=8
HOMEPAGE=https://www.raspberrypi.com/software/ https://github.com/raspberrypi/rpi-imager
IDEPEND=dev-util/desktop-file-utils x11-misc/shared-mime-info
INHERIT=cmake optfeature xdg
IUSE=gnutls qt6 telemetry
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=app-arch/libarchive:= app-arch/xz-utils net-misc/curl sys-apps/util-linux sys-libs/zlib gnutls? ( net-libs/gnutls:= ) !gnutls? ( dev-libs/openssl:= ) qt6? ( dev-qt/qtbase:6[concurrent,dbus,gui,network,widgets] dev-qt/qtdeclarative:6[svg] ) !qt6? ( dev-qt/qtconcurrent:5 dev-qt/qtcore:5 dev-qt/qtdbus:5 dev-qt/qtdeclarative:5 dev-qt/qtgui:5 dev-qt/qtnetwork:5 dev-qt/qtquickcontrols2:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 )
SLOT=0
SRC_URI=https://github.com/raspberrypi/rpi-imager/archive/refs/tags/v1.8.5.tar.gz -> rpi-imager-1.8.5.tar.gz
_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic e503ea5acc20410237ba33ec3f7c857d multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake 258a4691fd43b8cd5814cb1acbb3c7df optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54 xdg 4a14c5c24f121e7da66e5aab4a168c6e
_md5_=0fc22b9040170848aabeaf588b1e65e9

File diff suppressed because one or more lines are too long