mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-14 17:43:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-07-01 07:01:26 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-07-01 07:01:26 +00:00
parent 1a29280f50
commit 2bba71a5cd
73 changed files with 145 additions and 145 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
metadata/md5-cache/dev-ml/gapi-ocaml-0.4.2-r1
View File

@@ -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

4
metadata/md5-cache/dev-ml/js_of_ocaml-4.0.0
View File

@@ -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

4
metadata/md5-cache/dev-ml/pci-1.0.1
View File

@@ -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

4
metadata/md5-cache/dev-ml/ptime-1.0.0
View File

@@ -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

4
metadata/md5-cache/dev-ml/systemd-1.2
View File

@@ -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

4
metadata/md5-cache/dev-ml/xapi-backtrace-0.7
View File

@@ -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

4
metadata/md5-cache/dev-ml/xcp-inventory-1.2.2
View File

@@ -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

4
metadata/md5-cache/dev-ml/xenstore-clients-1.1.0
View File

@@ -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

4
metadata/md5-cache/dev-ml/xenstore-clients-1.3.0
View File

@@ -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

4
metadata/md5-cache/dev-ml/xmlm-1.4.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-dive-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-dive-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-eva-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-eva-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-from-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-from-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-impact-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-impact-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-inout-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-inout-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-qed-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-qed-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-report-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-report-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-scope-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-scope-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-server-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-server-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-studia-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-studia-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-users-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-users-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0
View File

@@ -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

4
metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
View File

@@ -1,6 +1,6 @@
BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.13.0 ) 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-qed-23.1:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.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 <sci-mathematics/why3-1.5.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

4
metadata/md5-cache/sci-mathematics/frama-c-wp-24.0
View File

@@ -1,6 +1,6 @@
BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.14.0 ) 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-qed-24.0:=[gtk=,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.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 <sci-mathematics/why3-1.5.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

4
metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.27
View File

@@ -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

4
metadata/md5-cache/sys-fs/google-drive-ocamlfuse-0.7.29
View File

@@ -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

2
metadata/timestamp.chk
View File

@@ -1 +1 @@
Thu, 30 Jun 2022 17:46:24 +0000
Fri, 01 Jul 2022 07:01:26 +0000