2023-03-26 11:49:38 UTC

This commit is contained in:
Repository mirror & CI
2023-03-26 11:49:38 +00:00
parent 64af8efa62
commit 84b1bd1ed6
2400 changed files with 2400 additions and 2400 deletions

View File

@@ -12,5 +12,5 @@ RDEPEND=~sci-mathematics/frama-c-25.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-25.0-Manganese.tar.gz
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b multilib 5ca4e49abed8e3a2f7b56920eadee157 libtool 9d3a9a889a6fa62ae794f817c156491b autotools b5529dc611971a61a30153916014f616 findlib cc1c14904708a0a28bcb256b342a808c
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e multilib d1408425c7c4a7669b9b17735404b693 libtool 9d3a9a889a6fa62ae794f817c156491b autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c
_md5_=ca44ebcf4d3dbc2985c70c968ddcfc15