2023-02-19 19:48:59 UTC

This commit is contained in:
Repository mirror & CI
2023-02-19 19:48:59 +00:00
parent c7833cba16
commit 84dbf80cd4
2106 changed files with 2106 additions and 2106 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 cf009a3ed4e5bef503e7a9f215791a78 multilib 5ca4e49abed8e3a2f7b56920eadee157 libtool 241a8f577b9781a42a7421e53448a44e autotools 6dcd6b6a486e79928e1243ff9ba41fcc findlib d8fa93cf137156660d0b72144b1e31d9
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b multilib 5ca4e49abed8e3a2f7b56920eadee157 libtool 241a8f577b9781a42a7421e53448a44e autotools 6dcd6b6a486e79928e1243ff9ba41fcc findlib d8fa93cf137156660d0b72144b1e31d9
_md5_=ca44ebcf4d3dbc2985c70c968ddcfc15