mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 20:13:01 -04:00
2022-07-16 20:10:08 UTC
This commit is contained in:
@@ -12,5 +12,5 @@ RDEPEND=dev-libs/boost:= test? ( dev-cpp/catch:0 ) sci-mathematics/clasp sci-mat
|
||||
RESTRICT=!test? ( test )
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/potassco/aspcud/archive/refs/tags/v1.9.6.tar.gz -> aspcud-1.9.6.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d
|
||||
_md5_=ef12f935df283449380e033fb89bf8f9
|
||||
|
||||
@@ -7,5 +7,5 @@ KEYWORDS=~amd64 ~x86
|
||||
LICENSE=LGPL-2.1
|
||||
SLOT=0
|
||||
SRC_URI=https://www3.cs.stonybrook.edu/~algorith/implement/chaco/distrib/Chaco-2.2.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=acdde86860d9d436a5cb1c49a02921bd
|
||||
|
||||
@@ -12,5 +12,5 @@ RDEPEND=sci-libs/libpotassco:=
|
||||
RESTRICT=!test? ( test )
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/potassco/clasp/archive/refs/tags/v3.3.8.tar.gz -> clasp-3.3.8.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d edo c0eb9cbe6b0bd01fcb4918f12598a4d3
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d edo c0eb9cbe6b0bd01fcb4918f12598a4d3
|
||||
_md5_=37270a43cb4985fe907da3152847ef0f
|
||||
|
||||
@@ -13,5 +13,5 @@ REQUIRED_USE=lua? ( ^^ ( lua_single_target_lua5-3 lua_single_target_lua5-4 ) ) p
|
||||
RESTRICT=!test? ( test )
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/potassco/clingo/archive/refs/tags/v5.5.2.tar.gz -> clingo-5.5.2.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d lua-utils e69ff116248d78546ae1a234c086fe80 lua-single f2c2fb82c912dd65d53bdae3613a331f python-utils-r1 667174e2df1036a5520d3b3b3fb33e98 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d lua-utils e69ff116248d78546ae1a234c086fe80 lua-single f2c2fb82c912dd65d53bdae3613a331f python-utils-r1 667174e2df1036a5520d3b3b3fb33e98 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8
|
||||
_md5_=7921d09f40fd974e39af4ab9d29d0c3f
|
||||
|
||||
@@ -12,5 +12,5 @@ RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,oca
|
||||
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
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f
|
||||
_md5_=4e564c5d51b7b94c5ccecb5c1c334bb9
|
||||
|
||||
@@ -12,5 +12,5 @@ RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.8[gtk(-)?,oca
|
||||
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
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f
|
||||
_md5_=a1788eb0533fe129368158a46ebeefae
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=60b1251e6322407c6b7c7dde00be725a
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=7fa41ef87050bffd59d89b62bf989fde
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=e2fbdc623fa8d1808501a0737f12be34
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=0cd5203f2c617f1bb5a909e8e5aa73b6
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=97d76aa4f0f7852afe6dfdbb5457b58a
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=9dedafbdf10127892f0ea6711ebe9e97
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=82d6e787460611fef91424acf010dec8
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=e80c1e038c7cfcc33dfbcab484082def
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=67536e9b0fb50d64662b6c556f4240eb
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=d40816a2ad82878feff86082c24821dc
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=3fb2462e19c39dbeb8b18bfeba8b5645
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=794462c0cf0f5ffcd55f95547c34119d
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=096d978e60621ba9990a47dbf1d0e5d7
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=d8672872ee47e3e3883444f9be7ae1cb
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=990aaf73a46e1d3cdd063af96ac23c1e
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=68ed225bef9eb93b0b692a582ccf1d3c
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=9a50accf45b0d9aa73c0f90e24a378c0
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=2299a5e7515a66156a49ddf6a2469466
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=3edd9bdef9f980d1bf228af3d1024c06
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=94611d89934f45b08e938b4fb377c203
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=d8ff826dea2efcd7fad8d248f307cdbf
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=abc760813fa689b50ed538f21a69a3f6
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=b58665887ee322c207eb2746c8602128
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=ace806f8b18f8497b27addd02e5c1600
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=e56b71fc50df6ec67926929a0fba0bd1
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=5ca966bc7e3a2f7ba4a98f14477a9392
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=6bdcaf3558b02edc9bca20122b38f475
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=e4e3cabcf20de8198dbf0f9d0c53cb5b
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=4cb4d90d414a8bc89bcdf034335d74f2
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=0da9e5698170b9cb0205e77b5d8b9978
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=6955ff4ef3e7f40ffcecf4b293372243
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=fc51cc62af4dbab1d63e29a57df19824
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=4541ef30755f0ab18e6e1e119debec27
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=4aab26253bedf961f9c057d1d0e45964
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=657dbd0486b86de096e6d30efcc9bf27
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=27e5049e26dc2664f2d29ddc8fc32e5a
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=b538590e78e384d1c8ef83b7c41199fb
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=92ac71b2bc29cfae8cfba80044d23e33
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=d9fd3400bb509f4d54d60b904f548d04
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=31cae3780402b7f2262b1d942728f426
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=ea8b0443ecaf240b212718545853a9f7
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=30c4b3888bc6dfbe06e870c62a510719
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=52a015b22901b298ce6a55e0e53b2cde
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=fe2cd082921941c62b17bf02fc17f18d
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=c420213b9b3bf91b6313b7988a381d08
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=b28ac4c9f2b5b2b77969219d1c5118da
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=56cde4c39e4cd88d081616c51990cd39
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=5eca3d9d18255fb05b3f2e90a3af29fa
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=6eebae2a4ee9b2ed6797b61670a6b185
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=a9239643a27f3ff0f813caedacd1792b
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=488b2a02fe6104bea2ba5372d014c45f
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=f764aa15e52083a1f9af84450002f9e6
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=6b9aceebdc8a8db131612189bf78d408
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=a90aa556ec40b772089a57ca1c7c26da
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=5dccede47525733d3ebe4e5ec246ae58
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=f49b36ca2478b77361e9f6541a7b8416
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=b8e33758717b3ee45034b4390fa22945
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=e4dad3dd93bb7025e80c844e272ba197
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=62c316c6021136cb46b07b8cdce77885
|
||||
|
||||
@@ -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 d8fa93cf137156660d0b72144b1e31d9
|
||||
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 2fd69a56a527d12409ba43c733b7ac8f findlib d8fa93cf137156660d0b72144b1e31d9
|
||||
_md5_=f20745a055e77bfa814facd3efd0961c
|
||||
|
||||
@@ -11,5 +11,5 @@ LICENSE=BSD
|
||||
RDEPEND=glpk? ( sci-mathematics/glpk ) lpsolve? ( sci-mathematics/lpsolve ) sci-libs/coinor-cbc
|
||||
SLOT=0
|
||||
SRC_URI=https://www.i3s.unice.fr/~cpjm/misc/mccs-1.1-srcs.tgz http://deb.debian.org/debian/pool/main/m/mccs/mccs_1.1-9.debian.tar.xz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 edos2unix 33e347e171066657f91f8b0c72ec8773 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 wrapper 4a1902f969e5718126434fc35f3a0d9c eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a3abd6002fafb3022597be6b8d01f88b
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 edos2unix 33e347e171066657f91f8b0c72ec8773 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 wrapper 4a1902f969e5718126434fc35f3a0d9c eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a3abd6002fafb3022597be6b8d01f88b
|
||||
_md5_=452336f5ceb4e8e051505807273a17ca
|
||||
|
||||
@@ -11,5 +11,5 @@ LICENSE=MIT
|
||||
RDEPEND=bignum? ( dev-libs/gmp:= ) sys-libs/zlib:=
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/niklasso/minisat-webpage/raw/e9dcbabbf5399d16ed4b09250307d1165a341160/downloads/minisat+_2007-Jan-05.zip doc? ( https://github.com/niklasso/minisat-webpage/raw/e9dcbabbf5399d16ed4b09250307d1165a341160/downloads/MiniSat+.pdf )
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=0153bacc67fea19361d2cfe0fbac3a30
|
||||
|
||||
@@ -10,5 +10,5 @@ LICENSE=MIT
|
||||
RDEPEND=dev-libs/gmp sci-mathematics/minisat sys-libs/zlib
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/niklasso/minisatp/archive/d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2.tar.gz -> minisatp-0.1_p20121002.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d
|
||||
_md5_=105758928aca0c1581f42263af5e1b05
|
||||
|
||||
@@ -9,5 +9,5 @@ LICENSE=GPL-3+
|
||||
RDEPEND=dev-libs/gmp sys-libs/zlib sci-mathematics/minisat+
|
||||
SLOT=0
|
||||
SRC_URI=https://sat.inesc-id.pt/~mikolas/sw/packup/packup-0.6.tgz https://sat.inesc-id.pt/~mikolas/sw/packup/packup-0.6.1 https://sat.inesc-id.pt/~mikolas/sw/packup/packup-0.6.1.html
|
||||
_eclasses_=optfeature d524f291c80f9d21ad80fe978e3ca760 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_eclasses_=optfeature d524f291c80f9d21ad80fe978e3ca760 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85
|
||||
_md5_=953216ae6c91014ac197b10d88c531ab
|
||||
|
||||
@@ -10,5 +10,5 @@ LICENSE=MIT
|
||||
RDEPEND=media-libs/freeglut media-libs/glu media-libs/libglvnd sci-libs/saclib:= sys-libs/readline
|
||||
SLOT=0/1.72b_p20220502
|
||||
SRC_URI=https://github.com/Alessandro-Barbieri/qepcad/archive/f79047ad332ee378d876dcbdc8725c3b1f5f7bb7.tar.gz -> qepcad-1.72b_p20220502-r2.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d optfeature d524f291c80f9d21ad80fe978e3ca760
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 44afbf15c35884f7c840470f1cf05d0d optfeature d524f291c80f9d21ad80fe978e3ca760
|
||||
_md5_=d1714d992ba7fbb60b02411bddc1d688
|
||||
|
||||
@@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9
|
||||
RESTRICT=!test? ( test )
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/randy3k/radian/archive/refs/tags/v0.6.3.tar.gz -> radian-0.6.3-github.tar.gz
|
||||
_eclasses_=multibuild d26d81f242cb193d899a72bca423d0bd multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 python-utils-r1 667174e2df1036a5520d3b3b3fb33e98 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 distutils-r1 a012c7f8c0a9dddadb3a4f56364c8f62 optfeature d524f291c80f9d21ad80fe978e3ca760
|
||||
_eclasses_=multibuild d26d81f242cb193d899a72bca423d0bd multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 python-utils-r1 667174e2df1036a5520d3b3b3fb33e98 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 distutils-r1 a012c7f8c0a9dddadb3a4f56364c8f62 optfeature d524f291c80f9d21ad80fe978e3ca760
|
||||
_md5_=65859e0a1cf49670b4f7ae0a3aaa3657
|
||||
|
||||
@@ -11,5 +11,5 @@ LICENSE=BSD-2
|
||||
RDEPEND=petit? ( gui? ( x11-libs/motif ) )
|
||||
SLOT=0
|
||||
SRC_URI=https://github.com/davewathaverford/the-omega-project/archive/2e2890cacc1fe6e25f11255aecda063717f71f5b.tar.gz -> the-omega-project-2.1_p20131119.tar.gz
|
||||
_eclasses_=toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b
|
||||
_eclasses_=toolchain-funcs 3484f775017f532a8d1ae02c65defe13 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a3abd6002fafb3022597be6b8d01f88b
|
||||
_md5_=dbc986357c51118ca1688d20beee6569
|
||||
|
||||
Reference in New Issue
Block a user