summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1')
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.18.116
1 files changed, 0 insertions, 16 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1
deleted file mode 100644
index fedba2b90402..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.18.1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install postinst postrm test
-DEPEND=>=sci-mathematics/coq-8.18.0:= <sci-mathematics/coq-8.19.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/ejgallego/coq-serapi/
-INHERIT=elisp-common dune
-IUSE=emacs +ocamlopt test
-KEYWORDS=~amd64
-LICENSE=GPL-3+
-RDEPEND=>=sci-mathematics/coq-8.18.0:= <sci-mathematics/coq-8.19.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/0.18.1
-SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.18.0+0.18.1.tar.gz -> coq-serapi-0.18.1.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 2a0fa407d2e6363c663ccb299503b25c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
-_md5_=73f7e628ca7497b0ca274f264727b36a