From 2bba71a5cd2ecc11950f9c120bfe3bc910ee3399 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 1 Jul 2022 07:01:26 +0000 Subject: [PATCH] 2022-07-01 07:01:26 UTC --- metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1 | 4 ++-- metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0 | 4 ++-- metadata/md5-cache/dev-ml/pci-1.0.1 | 4 ++-- metadata/md5-cache/dev-ml/ptime-1.0.0 | 4 ++-- metadata/md5-cache/dev-ml/systemd-1.2 | 4 ++-- metadata/md5-cache/dev-ml/xapi-backtrace-0.7 | 4 ++-- metadata/md5-cache/dev-ml/xcp-inventory-1.2.2 | 4 ++-- metadata/md5-cache/dev-ml/xenstore-clients-1.1.0 | 4 ++-- metadata/md5-cache/dev-ml/xenstore-clients-1.3.0 | 4 ++-- metadata/md5-cache/dev-ml/xmlm-1.4.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-constant-folding-23.1 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-constant-folding-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-dive-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-from-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-from-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-inout-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-postdominators-23.1 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-postdominators-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-report-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-report-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-security-slicing-23.1 | 4 ++-- .../md5-cache/sci-mathematics/frama-c-security-slicing-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-server-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-server-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-users-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-users-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 | 4 ++-- metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 | 4 ++-- metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27 | 4 ++-- metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29 | 4 ++-- metadata/timestamp.chk | 2 +- 73 files changed, 145 insertions(+), 145 deletions(-) diff --git a/metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1 b/metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1 index 25b836c715..b6a67f3f45 100644 --- a/metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1 +++ b/metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/ocurl:= >=dev-ml/ocamlnet-4.1.4:= dev-ml/cryptokit:= dev-ml/yojson:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/ocurl:= >=dev-ml/ocamlnet-4.1.4:= dev-ml/cryptokit:= dev-ml/yojson:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=A simple OCaml client for Google Services EAPI=7 HOMEPAGE=https://opam.ocaml.org/packages/gapi-ocaml/ https://github.com/astrada/gapi-ocaml @@ -12,5 +12,5 @@ RDEPEND=dev-ml/ocurl:= >=dev-ml/ocamlnet-4.1.4:= dev-ml/cryptokit:= dev-ml/yojso RESTRICT=!test? ( test ) SLOT=0/0.4.2 SRC_URI=https://github.com/astrada/gapi-ocaml/archive/v0.4.2.tar.gz -> gapi-ocaml-0.4.2.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=0b24f5cdde115ca65cd787db13323501 diff --git a/metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0 b/metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0 index c7c12adf71..677733610e 100644 --- a/metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0 +++ b/metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/cmdliner dev-ml/menhir dev-ml/ppxlib dev-ml/yojson lwt? ( dev-ml/lwt ) tyxml? ( dev-ml/react dev-ml/reactiveData dev-ml/tyxml ) test? ( dev-ml/re dev-ml/ppx_expect dev-ml/num dev-ml/ppxlib dev-ml/graphics dev-ml/cohttp[lwt-unix] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/cmdliner dev-ml/menhir dev-ml/ppxlib dev-ml/yojson lwt? ( dev-ml/lwt ) tyxml? ( dev-ml/react dev-ml/reactiveData dev-ml/tyxml ) test? ( dev-ml/re dev-ml/ppx_expect dev-ml/num dev-ml/ppxlib dev-ml/graphics dev-ml/cohttp[lwt-unix] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=A compiler from OCaml bytecode to javascript EAPI=7 HOMEPAGE=http://ocsigen.org/js_of_ocaml/ https://github.com/ocsigen/js_of_ocaml @@ -13,5 +13,5 @@ REQUIRED_USE=lwt? ( ppx ) test? ( lwt ppx ppx-deriving-json toplevel tyxml ) top RESTRICT=!test? ( test ) SLOT=0/4.0.0 SRC_URI=https://github.com/ocsigen/js_of_ocaml/archive/4.0.0.tar.gz -> js_of_ocaml-4.0.0.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=093fae7629f23cae844ad146c11c44b5 diff --git a/metadata/md5-cache/dev-ml/pci-1.0.1 b/metadata/md5-cache/dev-ml/pci-1.0.1 index 23d0341238..b26477c1a1 100644 --- a/metadata/md5-cache/dev-ml/pci-1.0.1 +++ b/metadata/md5-cache/dev-ml/pci-1.0.1 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/opam-installer dev-lang/ocaml DEFINED_PHASES=compile configure install test -DEPEND=sys-apps/pciutils dev-ml/ocaml-ctypes:= test? ( dev-ml/ounit2 ) >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-4:= +DEPEND=sys-apps/pciutils dev-ml/ocaml-ctypes:= test? ( dev-ml/ounit2 ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] >=dev-lang/ocaml-4:= DESCRIPTION=OCaml bindings to libpci using Ctypes EAPI=7 HOMEPAGE=https://github.com/simonjbeaumont/ocaml-pci https://opam.ocaml.org/packages/pci/ @@ -12,5 +12,5 @@ RDEPEND=sys-apps/pciutils dev-ml/ocaml-ctypes:= dev-lang/ocaml:=[ocamlopt?] >=de RESTRICT=!test? ( test ) SLOT=0/1.0.1 SRC_URI=https://github.com/simonjbeaumont/ocaml-pci/archive/refs/tags/v1.0.1.tar.gz -> pci-1.0.1.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d opam dc11e376d9abc263ca618c5741206216 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d opam dc11e376d9abc263ca618c5741206216 _md5_=c66311824f91c010128b89f4834f3914 diff --git a/metadata/md5-cache/dev-ml/ptime-1.0.0 b/metadata/md5-cache/dev-ml/ptime-1.0.0 index 3d43218989..6533c6d733 100644 --- a/metadata/md5-cache/dev-ml/ptime-1.0.0 +++ b/metadata/md5-cache/dev-ml/ptime-1.0.0 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/ocamlbuild dev-ml/opam-installer dev-lang/ocaml DEFINED_PHASES=compile install -DEPEND=dev-ml/topkg >=dev-lang/ocaml-4:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/topkg >=dev-lang/ocaml-4:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=POSIX time for OCaml EAPI=7 HOMEPAGE=https://erratique.ch/software/ptime https://github.com/dbuenzli/ptime https://opam.ocaml.org/packages/ptime/ @@ -11,5 +11,5 @@ LICENSE=ISC RDEPEND=>=dev-lang/ocaml-4:= dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.0.0 SRC_URI=https://erratique.ch/software/ptime/releases/ptime-1.0.0.tbz -_eclasses_=opam dc11e376d9abc263ca618c5741206216 findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=opam dc11e376d9abc263ca618c5741206216 findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=91b47c823611d2bec3ab3652bac54608 diff --git a/metadata/md5-cache/dev-ml/systemd-1.2 b/metadata/md5-cache/dev-ml/systemd-1.2 index 0c956b2d59..c678f3c15b 100644 --- a/metadata/md5-cache/dev-ml/systemd-1.2 +++ b/metadata/md5-cache/dev-ml/systemd-1.2 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/opam-installer dev-lang/ocaml DEFINED_PHASES=compile configure install -DEPEND=sys-apps/systemd dev-ml/ocamlbuild >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-4:= +DEPEND=sys-apps/systemd dev-ml/ocamlbuild >=dev-ml/findlib-1.0.4-r1[ocamlopt?] >=dev-lang/ocaml-4:= DESCRIPTION=OCaml module for native access to the systemd facilities EAPI=7 HOMEPAGE=https://github.com/juergenhoetzel/ocaml-systemd @@ -11,5 +11,5 @@ LICENSE=LGPL-3-with-linking-exception RDEPEND=sys-apps/systemd dev-lang/ocaml:=[ocamlopt?] >=dev-lang/ocaml-4:= SLOT=0/1.2 SRC_URI=https://github.com/juergenhoetzel/ocaml-systemd/archive/refs/tags/1.2.tar.gz -> systemd-1.2.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d opam dc11e376d9abc263ca618c5741206216 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d opam dc11e376d9abc263ca618c5741206216 _md5_=017ac806f29cc6a56b6e80406cbe792b diff --git a/metadata/md5-cache/dev-ml/xapi-backtrace-0.7 b/metadata/md5-cache/dev-ml/xapi-backtrace-0.7 index 4961d23665..25c31bd92c 100644 --- a/metadata/md5-cache/dev-ml/xapi-backtrace-0.7 +++ b/metadata/md5-cache/dev-ml/xapi-backtrace-0.7 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/ppx_sexp_conv dev-ml/rpc >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/ppx_sexp_conv dev-ml/rpc >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Helper functions to preserve and transport exception backtraces EAPI=7 HOMEPAGE=https://github.com/xapi-project/backtrace @@ -11,5 +11,5 @@ LICENSE=LGPL-2.1-with-linking-exception RDEPEND=dev-ml/ppx_sexp_conv dev-ml/rpc >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= dev-lang/ocaml:=[ocamlopt?] SLOT=0/0.7 SRC_URI=https://github.com/xapi-project/backtrace/archive/refs/tags/v0.7.tar.gz -> xapi-backtrace-0.7.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=b7e0ddd9753d5c7fb47d54fc71604e7a diff --git a/metadata/md5-cache/dev-ml/xcp-inventory-1.2.2 b/metadata/md5-cache/dev-ml/xcp-inventory-1.2.2 index cce7bdcede..be09a6fd87 100644 --- a/metadata/md5-cache/dev-ml/xcp-inventory-1.2.2 +++ b/metadata/md5-cache/dev-ml/xcp-inventory-1.2.2 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/astring dev-ml/cmdliner dev-ml/uuidm dev-ml/xapi-stdext >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/astring dev-ml/cmdliner dev-ml/uuidm dev-ml/xapi-stdext >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=The XCP inventory library EAPI=7 HOMEPAGE=https://github.com/xapi-project/xcp-inventory @@ -11,5 +11,5 @@ LICENSE=LGPL-2.1-with-linking-exception RDEPEND=dev-ml/astring dev-ml/cmdliner dev-ml/uuidm dev-ml/xapi-stdext >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.2.2 SRC_URI=https://github.com/xapi-project/xcp-inventory/archive/refs/tags/v1.2.2.tar.gz -> xcp-inventory-1.2.2.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=0884941f7f1bf04cc784d81ead53ce16 diff --git a/metadata/md5-cache/dev-ml/xenstore-clients-1.1.0 b/metadata/md5-cache/dev-ml/xenstore-clients-1.1.0 index bb4cb2db5c..00be19268d 100644 --- a/metadata/md5-cache/dev-ml/xenstore-clients-1.1.0 +++ b/metadata/md5-cache/dev-ml/xenstore-clients-1.1.0 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/lwt:= dev-ml/xenstore:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/lwt:= dev-ml/xenstore:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Unix client tools for accessing xenstore EAPI=7 HOMEPAGE=https://github.com/xapi-project/ocaml-xenstore-clients https://opam.ocaml.org/packages/xenstore_transport/ @@ -12,5 +12,5 @@ RDEPEND=dev-ml/lwt:= dev-ml/xenstore:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml- RESTRICT=!test? ( test ) SLOT=0/1.1.0 SRC_URI=https://github.com/xapi-project/ocaml-xenstore-clients/archive/refs/tags/v1.1.0.tar.gz -> xenstore-clients-1.1.0.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=587be4cbf6b5644901822833e34c2c61 diff --git a/metadata/md5-cache/dev-ml/xenstore-clients-1.3.0 b/metadata/md5-cache/dev-ml/xenstore-clients-1.3.0 index d8ddd54a72..14105c3045 100644 --- a/metadata/md5-cache/dev-ml/xenstore-clients-1.3.0 +++ b/metadata/md5-cache/dev-ml/xenstore-clients-1.3.0 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/lwt:= dev-ml/xenstore:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=dev-ml/lwt:= dev-ml/xenstore:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Unix client tools for accessing xenstore EAPI=7 HOMEPAGE=https://github.com/xapi-project/ocaml-xenstore-clients https://opam.ocaml.org/packages/xenstore_transport/ @@ -12,5 +12,5 @@ RDEPEND=dev-ml/lwt:= dev-ml/xenstore:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml- RESTRICT=!test? ( test ) SLOT=0/1.3.0 SRC_URI=https://github.com/xapi-project/ocaml-xenstore-clients/archive/refs/tags/v1.3.0.tar.gz -> xenstore-clients-1.3.0.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=ec0c7dcfdc65dde55f5317fe44b26f6d diff --git a/metadata/md5-cache/dev-ml/xmlm-1.4.0 b/metadata/md5-cache/dev-ml/xmlm-1.4.0 index 39e29075b3..a9859b68c0 100644 --- a/metadata/md5-cache/dev-ml/xmlm-1.4.0 +++ b/metadata/md5-cache/dev-ml/xmlm-1.4.0 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/ocamlbuild dev-ml/opam-installer dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=dev-ml/topkg >=dev-ml/findlib-1.0.4-r1 >=dev-lang/ocaml-4:= +DEPEND=dev-ml/topkg >=dev-ml/findlib-1.0.4-r1[ocamlopt?] >=dev-lang/ocaml-4:= DESCRIPTION=Ocaml XML manipulation module EAPI=7 HOMEPAGE=https://erratique.ch/software/xmlm https://github.com/dbuenzli/xmlm @@ -12,5 +12,5 @@ RDEPEND=dev-lang/ocaml:=[ocamlopt?] >=dev-lang/ocaml-4:= RESTRICT=!test? ( test ) SLOT=0/1.4.0 SRC_URI=https://erratique.ch/software/xmlm/releases/xmlm-1.4.0.tbz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d opam dc11e376d9abc263ca618c5741206216 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d opam dc11e376d9abc263ca618c5741206216 _md5_=26eb7e04751d4ec4d77a6c84bc3c65ee diff --git a/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1 index e56a219945..7d83849ec4 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Aorai (automaton annotations) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=60b1251e6322407c6b7c7dde00be725a diff --git a/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 index 1224823cd0..e471bf9f2f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Aorai (automaton annotations) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=7fa41ef87050bffd59d89b62bf989fde diff --git a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 index 2e3eb8c9fc..81a6e27acb 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Callgraph plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] dev-lang/ocaml:=[ocamlop RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=e2fbdc623fa8d1808501a0737f12be34 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 index 25e46105e6..02cc9a03d3 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Callgraph plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] dev-lang/ocaml:=[ocamlop RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=0cd5203f2c617f1bb5a909e8e5aa73b6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1 index cb6fb4f0cf..501189ac16 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Constant folding plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=97d76aa4f0f7852afe6dfdbb5457b58a diff --git a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 index d8a80763a2..1db4c1e05f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Constant folding plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=9dedafbdf10127892f0ea6711ebe9e97 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1 index 6c7b67fdad..155554782d 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-studia-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-studia-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Dive plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=82d6e787460611fef91424acf010dec8 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 index 53a38eae4c..10e03f34dc 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Dive plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=e80c1e038c7cfcc33dfbcab484082def diff --git a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1 index 740a00d2d5..cd77b9d1be 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Runtime verification of ACSL (E-ACSL) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rteg RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=67536e9b0fb50d64662b6c556f4240eb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 index 76aeab593d..b508dd53d3 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Runtime verification of ACSL (E-ACSL) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rteg RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=d40816a2ad82878feff86082c24821dc diff --git a/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 index 788dc478e8..2ce84bf85d 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Value analysis (EVA) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=3fb2462e19c39dbeb8b18bfeba8b5645 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 index 2566ae99a1..2f8304d15e 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Value analysis (EVA) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=794462c0cf0f5ffcd55f95547c34119d diff --git a/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 index 4db9e22417..1073d02fb1 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-postdominators-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-postdominators-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=From analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=096d978e60621ba9990a47dbf1d0e5d7 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 index b9e759bf0e..54a7afc593 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=From analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=d8672872ee47e3e3883444f9be7ae1cb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 index cb1fd025a8..c5f81141b6 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Impact plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=990aaf73a46e1d3cdd063af96ac23c1e diff --git a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 index 4a28c2bdab..e5c2b11406 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Impact plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=68ed225bef9eb93b0b692a582ccf1d3c diff --git a/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1 index e3d309f5cb..60c18005d7 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=In/out analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=9a50accf45b0d9aa73c0f90e24a378c0 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 index 2d3fa7ee42..7368331b32 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=In/out analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=2299a5e7515a66156a49ddf6a2469466 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1 index 82a74ee584..49995b2f92 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Instantiate analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=3edd9bdef9f980d1bf228af3d1024c06 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 index b09ff3e5db..e6426a64ae 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Instantiate analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=94611d89934f45b08e938b4fb377c203 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1 index 89d7a25793..c0c04389a3 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Loop analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=d8ff826dea2efcd7fad8d248f307cdbf diff --git a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 index 78beee5a7a..10c0ab7bc2 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Loop analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=abc760813fa689b50ed538f21a69a3f6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 index 5814acfb85..4f50491e6d 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Metrics plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=b58665887ee322c207eb2746c8602128 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 index bc5123ddec..91b17f2d85 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Metrics plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=ace806f8b18f8497b27addd02e5c1600 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1 index 471881de7e..cf538bd5b0 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Nonterm plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=e56b71fc50df6ec67926929a0fba0bd1 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 index 048d11eb3c..83f34ef766 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Nonterm plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=5ca966bc7e3a2f7ba4a98f14477a9392 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1 index 02ddf4a277..54d9e5aedc 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Obfuscator plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=6bdcaf3558b02edc9bca20122b38f475 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 index 64d44b121f..9073781f26 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Obfuscator plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=e4e3cabcf20de8198dbf0f9d0c53cb5b diff --git a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 index d1895b9aa8..2f3a60269a 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Occurrence analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=4cb4d90d414a8bc89bcdf034335d74f2 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 index 0e8a374871..043efa17c7 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Occurrence analysis plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=0da9e5698170b9cb0205e77b5d8b9978 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1 index 99f739e076..41359712e9 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Program dependence graph plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=6955ff4ef3e7f40ffcecf4b293372243 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 index 26b59cfff4..740854c9ef 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Program dependence graph plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=fc51cc62af4dbab1d63e29a57df19824 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1 index 8dcff7ea01..bbd5307d14 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Postdominators plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=4541ef30755f0ab18e6e1e119debec27 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 index 0dbb9595ee..a94b679ea3 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Postdominators plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=4aab26253bedf961f9c057d1d0e45964 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1 index fb2b38e940..ab6f25612e 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Plugin generating .mli interface files for plugin APIs for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -11,5 +11,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 _md5_=657dbd0486b86de096e6d30efcc9bf27 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 index d1bf759e0c..5c9d442027 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Plugin generating .mli interface files for plugin APIs for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -11,5 +11,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 _md5_=27e5049e26dc2664f2d29ddc8fc32e5a diff --git a/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 index 3e29a22b76..8e26bd7b2d 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Qed plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -11,5 +11,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] dev-lang/ocaml:=[ocamlop RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 _md5_=b538590e78e384d1c8ef83b7c41199fb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 index f7152c45f6..1ff3244ddb 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Qed plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -11,5 +11,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] dev-lang/ocaml:=[ocamlop RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 +_eclasses_=findlib 6afd368dc89c3b53f6686e5752caf50d toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 _md5_=92ac71b2bc29cfae8cfba80044d23e33 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-report-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-report-23.1 index 2932c741ac..97e59186f9 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-report-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-report-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Report plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=d9fd3400bb509f4d54d60b904f548d04 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 index 1fb54abb51..033f1522d6 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Report plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=31cae3780402b7f2262b1d942728f426 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1 index 6d8e67f677..3fc8056c8f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Runtime error annotation (RTE) generation plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=ea8b0443ecaf240b212718545853a9f7 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 index c168139486..57d4c9bd46 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Runtime error annotation (RTE) generation plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=30c4b3888bc6dfbe06e870c62a510719 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 index 63f4690145..f50c5d7f68 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Scope plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=52a015b22901b298ce6a55e0e53b2cde diff --git a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 index ebe6f1dbf3..5f4ce0556c 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Scope plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=fe2cd082921941c62b17bf02fc17f18d diff --git a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1 index 0948407d61..5277ceec79 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Security slicing plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=c420213b9b3bf91b6313b7988a381d08 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 index 8a62ab1432..2bf9d05926 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Security slicing plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=b28ac4c9f2b5b2b77969219d1c5118da diff --git a/metadata/md5-cache/sci-mathematics/frama-c-server-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-server-23.1 index d98047911a..65e3877124 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-server-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-server-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Server plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=56cde4c39e4cd88d081616c51990cd39 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 index 5ab79e46f8..8835819cca 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Server plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=5eca3d9d18255fb05b3f2e90a3af29fa diff --git a/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 index c8db4cdd26..e7d1790dcd 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Slicing plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=6eebae2a4ee9b2ed6797b61670a6b185 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 index ae8882e026..094716a7e9 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Slicing plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=a9239643a27f3ff0f813caedacd1792b diff --git a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1 index 5a790ac958..2bc300da9e 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-users-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-users-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Spare code plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=488b2a02fe6104bea2ba5372d014c45f diff --git a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 index 91cb0ad3ea..df1a32b882 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Spare code plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg- RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=f764aa15e52083a1f9af84450002f9e6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 index c24b113121..0721500fc8 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Studia plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=6b9aceebdc8a8db131612189bf78d408 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 index e4140a9738..855da7f89b 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Studia plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=a90aa556ec40b772089a57ca1c7c26da diff --git a/metadata/md5-cache/sci-mathematics/frama-c-users-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-users-23.1 index d616603c18..61cdd7f0fb 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-users-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-users-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Users plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=5dccede47525733d3ebe4e5ec246ae58 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 index c758e12438..bb35ecb3c1 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Users plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-call RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=f49b36ca2478b77361e9f6541a7b8416 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1 index eab1e646f7..6813ca94a1 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Variadic function transformation plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=b8e33758717b3ee45034b4390fa22945 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 index 9025f448e3..bac8000a33 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Variadic function transformation plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=e4dad3dd93bb7025e80c844e272ba197 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 index 50a935b227..8d549f7085 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 @@ -1,6 +1,6 @@ BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 =app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 =dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 =dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=62c316c6021136cb46b07b8cdce77885 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 index c706956b3d..23e9b0e500 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 @@ -1,6 +1,6 @@ BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 =app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install prepare -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 =dev-ml/findlib-1.0.4-r1 +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 =dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c EAPI=7 HOMEPAGE=https://frama-c.com @@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=f20745a055e77bfa814facd3efd0961c diff --git a/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27 b/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27 index 2fd941d6b7..19f2116044 100644 --- a/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27 +++ b/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit:= dev-ml/extlib:= dev-ml/ocaml-sqlite3:= dev-ml/tiny_httpd:= dev-ml/camlidl:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit:= dev-ml/extlib:= dev-ml/ocaml-sqlite3:= dev-ml/tiny_httpd:= dev-ml/camlidl:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=FUSE filesystem over Google Drive EAPI=7 HOMEPAGE=https://github.com/astrada/google-drive-ocamlfuse https://opam.ocaml.org/packages/google-drive-ocamlfuse/ @@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit: RESTRICT=!test? ( test ) SLOT=0/0.7.27 SRC_URI=https://github.com/astrada/google-drive-ocamlfuse/archive/v0.7.27.tar.gz -> google-drive-ocamlfuse-0.7.27.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=8e33b3e468be647a341560bd669a1b18 diff --git a/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29 b/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29 index 4a78bd1f4e..f29d3918fb 100644 --- a/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29 +++ b/metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29 @@ -1,6 +1,6 @@ BDEPEND=dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install test -DEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit:= dev-ml/extlib:= dev-ml/ocaml-sqlite3:= >=dev-ml/tiny_httpd-0.6:= dev-ml/camlidl:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1 +DEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit:= dev-ml/extlib:= dev-ml/ocaml-sqlite3:= >=dev-ml/tiny_httpd-0.6:= dev-ml/camlidl:= test? ( dev-ml/ounit2 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=FUSE filesystem over Google Drive EAPI=7 HOMEPAGE=https://github.com/astrada/google-drive-ocamlfuse https://opam.ocaml.org/packages/google-drive-ocamlfuse/ @@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/gapi-ocaml-0.4.2:= >=dev-ml/ocamlfuse-2.7.1:= dev-ml/cryptokit: RESTRICT=!test? ( test ) SLOT=0/0.7.29 SRC_URI=https://github.com/astrada/google-drive-ocamlfuse/archive/v0.7.29.tar.gz -> google-drive-ocamlfuse-0.7.29.gh.tar.gz -_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib e6df6108c2d753998b1206f4d5ea4a2d +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c findlib 6afd368dc89c3b53f6686e5752caf50d _md5_=0da587b468bdd28d7724bea5c6e74122 diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 6794698e9d..1854eb413d 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Thu, 30 Jun 2022 17:46:24 +0000 +Fri, 01 Jul 2022 07:01:26 +0000