diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 index 68367ae4f7f8..ecf70af0a955 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 @@ -11,5 +11,5 @@ RDEPEND=>=sci-mathematics/coq-8.15.0:= dev-ml/cmdliner:= dev-ml/ppx_deriving:= d RESTRICT=!test? ( test ) SLOT=0/0.15.0 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.15.0+0.15.0.tar.gz -> coq-serapi-0.15.0.tar.gz -_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 elisp-common cf4fd1b0835b9f3e638724840468064a multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_eclasses_=dune c8f275f00adf2380fe0a57d8a249885c elisp-common f9c72486dbcb18b633c9d0949211d86e multiprocessing 61c959fc55c15c00bbb1079d6a71370b _md5_=3a133f7d143b9d2c33c4486a85be4888 |